Fausto Spoto

	2012
43		Durica Nikolic, Fausto Spoto: Automaton-Based Array Initialization Analysis. LATA 2012: 420-432
	2011
42		Étienne Payet, Fausto Spoto: Static Analysis of Android Programs. CADE 2011: 439-445
41		Fausto Spoto, Michael D. Ernst: Inference of field initialization. ICSE 2011: 231-240
40		Fausto Spoto: Precise null-pointer analysis. Software and System Modeling 10(2): 219-252 (2011)
	2010
39		Fausto Spoto: The Nullness Analyser of julia. LPAR (Dakar) 2010: 405-424
38		Fausto Spoto, Fred Mesnard, Étienne Payet: A termination analyzer for Java bytecode based on path-length. ACM Trans. Program. Lang. Syst. 32(3): (2010)
37		Fausto Spoto, Étienne Payet: Magic-sets for localised analysis of Java bytecode. Higher-Order and Symbolic Computation 23(1): 29-86 (2010)
	2009
36		Fausto Spoto, Lunjin Lu, Fred Mesnard: Using CLP Simplifications to Improve Java Bytecode Termination Analysis. Electr. Notes Theor. Comput. Sci. 253(5): 129-144 (2009)
35		Étienne Payet, Fausto Spoto: Experiments with Non-Termination Analysis for Java Bytecode. Electr. Notes Theor. Comput. Sci. 253(5): 83-96 (2009)
	2008
34		Fausto Spoto: Special track on Software Verification: editorial message. SAC 2008: 326
33		Fausto Spoto: Nullness Analysis in Boolean Form. SEFM 2008: 21-30
	2007
32		Étienne Payet, Fausto Spoto: Magic-Sets Transformation for the Analysis of Java Bytecode. SAS 2007: 452-467
31		Marieke Huisman, Fausto Spoto: Preface. Electr. Notes Theor. Comput. Sci. 190(1): 1 (2007)
30		Fausto Spoto: Optimality and condensing of information flow through linear refinement. Theor. Comput. Sci. 388(1-3): 53-82 (2007)
	2006
29		Stefano Rossignoli, Fausto Spoto: Detecting Non-cyclicity by Abstract Compilation into Boolean Functions. VMCAI 2006: 95-110
28		Patricia M. Hill, Fausto Spoto: Deriving Escape Analysis by Abstract Interpretation: Proofs of results CoRR abs/cs/0607101: (2006)
27		Patricia M. Hill, Fausto Spoto: Deriving escape analysis by abstract interpretation. Higher-Order and Symbolic Computation 19(4): 415-463 (2006)
	2005
26		Fausto Spoto: Information Flow Is Linear Refinement of Constancy. ICTAC 2005: 351-365
25		Stefano Secci, Fausto Spoto: Pair-Sharing Analysis of Object-Oriented Programs. SAS 2005: 320-335
24		Samir Genaim, Fausto Spoto: Information Flow Analysis for Java Bytecode. VMCAI 2005: 346-362
23		Fausto Spoto: Preface. Electr. Notes Theor. Comput. Sci. 141(1): 1 (2005)
	2003
22		S. Bozzoli, Fausto Spoto, Agostino Dovier: Approximate Protein Folding in Oz through Frequency Analysis. APPIA-GULP-PRODE 2003: 123-134
21		Patricia M. Hill, Fausto Spoto: Logic Programs as Compact Denotations. PADL 2003: 339-356
20		Fausto Spoto, Thomas P. Jensen: Class analyses as abstract interpretations of trace semantics. ACM Trans. Program. Lang. Syst. 25(5): 578-630 (2003)
19		Patricia M. Hill, Fausto Spoto: Logic programs as compact denotations. Computer Languages, Systems & Structures 29(3): 45-73 (2003)
18		Giorgio Levi, Fausto Spoto: Pair-independence and freeness analysis through linear refinement. Inf. Comput. 182(1): 14-52 (2003)
	2002
17		Patricia M. Hill, Fausto Spoto: A Foundation of Escape Analysis. AMAST 2002: 380-395
16		Patricia M. Hill, Fausto Spoto: A Refinement of the Escape Property. VMCAI 2002: 154-166
15		Patricia M. Hill, Fausto Spoto: Generalizing Def and Pos to Type Analysis. J. Log. Comput. 12(3): 497-542 (2002)
	2001
14		Gianluca Amato, Fausto Spoto: Abstract Compilation for Sharing Analysis. FLOPS 2001: 311-325
13		Thomas P. Jensen, Fausto Spoto: Class Analysis of Object-Oriented Programs through Abstract Interpretation. FoSSaCS 2001: 261-275
12		Fausto Spoto: Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses. SAS 2001: 127-145
	2000
11		Patricia M. Hill, Fausto Spoto: Analysis of Downward Closed Properties of Logic Programs. AMAST 2000: 181-196
10		Giorgio Levi, Fausto Spoto: Non Pair-Sharing and Freeness Analysis Through Linear Refinement. PEPM 2000: 52-61
9		Fausto Spoto: Operational and Goal-Independent Denotational Semantics for Prolog with Cut. J. Log. Program. 42(1): 1-46 (2000)
	1999
8		Patricia M. Hill, Fausto Spoto: Freeness Analysis through Linear Refinement. APPIA-GULP-PRODE 1999: 321-337
7		Patricia M. Hill, Fausto Spoto: Freeness Analysis Through Linear Refinement. SAS 1999: 85-100
	1998
6		Fausto Spoto, Giorgio Levi: Abstract Interpretation of Prolog Programs. AMAST 1998: 455-470
5		Fausto Spoto, Giorgio Levi: An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. APPIA-GULP-PRODE 1998: 269-282
4		Roberta Gori, E. Lastres, R. Moreno, Fausto Spoto: Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation. APPIA-GULP-PRODE 1998: 433-442
3		Giorgio Levi, Fausto Spoto: An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. PLILP/ALP 1998: 152-169
	1997
2		Fausto Spoto, Giorgio Levi: A Denotational Semantics for Prolog. APPIA-GULP-PRODE 1997: 201-212
	1996
1		Giorgio Levi, Fausto Spoto: Accurate Analysis of Prolog with cut. APPIA-GULP-PRODE 1996: 481-492

Coauthor Index

1	Gianluca Amato	[14]
2	S. Bozzoli	[22]
3	Agostino Dovier	[22]
4	Michael D. Ernst	[41]
5	Samir Genaim	[24]
6	Roberta Gori	[4]
7	Patricia M. Hill	[7] [8] [11] [15] [16] [17] [19] [21] [27] [28]
8	Marieke Huisman	[31]
9	Thomas P. Jensen	[13] [20]
10	E. Lastres	[4]
11	Giorgio Levi	[1] [2] [3] [5] [6] [10] [18]
12	Lunjin Lu	[36]
13	Frédéric Mesnard (Fred Mesnard)	[36] [38]
14	R. Moreno	[4]
15	Durica Nikolic	[43]
16	Étienne Payet	[32] [35] [37] [38] [42]
17	Stefano Rossignoli	[29]
18	Stefano Secci	[25]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page