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/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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Fausto Spoto