Fausto Spoto

Available identifiers

zbMath Open spoto.faustoMaRDI QIDQ383355

List of research outcomes

Publication	Date of Publication	Type
\textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results	2020-08-05	Paper
Checking array bounds by abstract interpretation and symbolic expressions	2018-10-18	Paper
Boolean Formulas for the Static Identification of Injection Attacks in Java	2016-01-12	Paper
Inferring complete initialization of arrays	2013-12-04	Paper
Definite Expression Aliasing Analysis for Java Bytecode	2012-09-21	Paper
Reachability Analysis of Program Variables	2012-09-05	Paper
Automaton-Based Array Initialization Analysis	2012-06-08	Paper
Magic-sets for localised analysis of Java bytecode	2012-01-13	Paper
A Foundation of Escape Analysis*	2011-05-06	Paper
Optimality and condensing of information flow through linear refinement	2007-12-18	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
Deriving escape analysis by abstract interpretation	2007-01-05	Paper
Theoretical Aspects of Computing – ICTAC 2005	2006-11-01	Paper
Static Analysis	2006-10-31	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4736994	2004-08-11	Paper
Logic programs as compact denotations.	2004-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4415118	2003-07-28	Paper
Pair-independence and freeness analysis through linear refinement.	2003-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4778699	2002-11-19	Paper
Generalizing Def and Pos to Type Analysis	2002-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q2769434	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2767173	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2763646	2002-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4494375	2001-03-25	Paper
Operational and goal-independent denotational semantics for Prolog with cut	2000-11-22	Paper

Research outcomes over time

This page was built for person: Fausto Spoto