Fausto Spoto Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Durica Nikolic, Fausto Spoto: Inferring complete initialization of arrays. Theor. Comput. Sci. 484: 16-40 (2013)
2012
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Étienne Payet, Fausto Spoto: Static analysis of Android programs. Information & Software Technology 54(11): 1192-1201 (2012)
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Durica Nikolic, Fausto Spoto: Reachability Analysis of Program Variables. IJCAR 2012: 423-438
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Durica Nikolic, Fausto Spoto: Definite Expression Aliasing Analysis for Java Bytecode. ICTAC 2012: 74-89
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Durica Nikolic, Fausto Spoto: Automaton-Based Array Initialization Analysis. LATA 2012: 420-432
2011
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fausto Spoto: Precise null-pointer analysis. Software and System Modeling 10(2): 219-252 (2011)
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Étienne Payet, Fausto Spoto: Static Analysis of Android Programs. CADE 2011: 439-445
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fausto Spoto, Michael D. Ernst: Inference of field initialization. ICSE 2011: 231-240
2010
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fausto Spoto, Étienne Payet: Magic-sets for localised analysis of Java bytecode. Higher-Order and Symbolic Computation 23(1): 29-86 (2010)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fausto Spoto, Fred Mesnard, Étienne Payet: A termination analyzer for Java bytecode based on path-length. ACM Trans. Program. Lang. Syst. 32(3) (2010)
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fausto Spoto: The Nullness Analyser of julia. LPAR (Dakar) 2010: 405-424
2009
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Étienne Payet, Fausto Spoto: Experiments with Non-Termination Analysis for Java Bytecode. Electr. Notes Theor. Comput. Sci. 253(5): 83-96 (2009)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
2008
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fausto Spoto: Special track on Software Verification: editorial message. SAC 2008: 326
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fausto Spoto: Nullness Analysis in Boolean Form. SEFM 2008: 21-30
2007
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marieke Huisman, Fausto Spoto: Preface. Electr. Notes Theor. Comput. Sci. 190(1): 1 (2007)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fausto Spoto: Optimality and condensing of information flow through linear refinement. Theor. Comput. Sci. 388(1-3): 53-82 (2007)
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Étienne Payet, Fausto Spoto: Magic-Sets Transformation for the Analysis of Java Bytecode. SAS 2007: 452-467
2006
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patricia M. Hill, Fausto Spoto: Deriving escape analysis by abstract interpretation. Higher-Order and Symbolic Computation 19(4): 415-463 (2006)
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefano Rossignoli, Fausto Spoto: Detecting Non-cyclicity by Abstract Compilation into Boolean Functions. VMCAI 2006: 95-110
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patricia M. Hill, Fausto Spoto: Deriving Escape Analysis by Abstract Interpretation: Proofs of results. CoRR abs/cs/0607101 (2006)
2005
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fausto Spoto: Preface. Electr. Notes Theor. Comput. Sci. 141(1): 1 (2005)
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fausto Spoto: Information Flow Is Linear Refinement of Constancy. ICTAC 2005: 351-365
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefano Secci, Fausto Spoto: Pair-Sharing Analysis of Object-Oriented Programs. SAS 2005: 320-335
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Samir Genaim, Fausto Spoto: Information Flow Analysis for Java Bytecode. VMCAI 2005: 346-362
2003
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patricia M. Hill, Fausto Spoto: Logic programs as compact denotations. Computer Languages, Systems & Structures 29(3): 45-73 (2003)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giorgio Levi, Fausto Spoto: Pair-independence and freeness analysis through linear refinement. Inf. Comput. 182(1): 14-52 (2003)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fausto Spoto, Thomas P. Jensen: Class analyses as abstract interpretations of trace semantics. ACM Trans. Program. Lang. Syst. 25(5): 578-630 (2003)
c17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
S. Bozzoli, Fausto Spoto, Agostino Dovier: Approximate Protein Folding in Oz through Frequency Analysis. APPIA-GULP-PRODE 2003: 123-134
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patricia M. Hill, Fausto Spoto: Logic Programs as Compact Denotations. PADL 2003: 339-356
2002
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patricia M. Hill, Fausto Spoto: Generalizing Def and Pos to Type Analysis. J. Log. Comput. 12(3): 497-542 (2002)
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patricia M. Hill, Fausto Spoto: A Foundation of Escape Analysis. AMAST 2002: 380-395
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patricia M. Hill, Fausto Spoto: A Refinement of the Escape Property. VMCAI 2002: 154-166
2001
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gianluca Amato, Fausto Spoto: Abstract Compilation for Sharing Analysis. FLOPS 2001: 311-325
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas P. Jensen, Fausto Spoto: Class Analysis of Object-Oriented Programs through Abstract Interpretation. FoSSaCS 2001: 261-275
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fausto Spoto: Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses. SAS 2001: 127-145
2000
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fausto Spoto: Operational and Goal-Independent Denotational Semantics for Prolog with Cut. J. Log. Program. 42(1): 1-46 (2000)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patricia M. Hill, Fausto Spoto: Analysis of Downward Closed Properties of Logic Programs. AMAST 2000: 181-196
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giorgio Levi, Fausto Spoto: Non Pair-Sharing and Freeness Analysis Through Linear Refinement. PEPM 2000: 52-61
1999
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patricia M. Hill, Fausto Spoto: Freeness Analysis through Linear Refinement. APPIA-GULP-PRODE 1999: 321-337
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patricia M. Hill, Fausto Spoto: Freeness Analysis Through Linear Refinement. SAS 1999: 85-100
1998
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fausto Spoto, Giorgio Levi: An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. APPIA-GULP-PRODE 1998: 269-282
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fausto Spoto, Giorgio Levi: Abstract Interpretation of Prolog Programs. AMAST 1998: 455-470
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giorgio Levi, Fausto Spoto: An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. PLILP/ALP 1998: 152-169
1997
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fausto Spoto, Giorgio Levi: A Denotational Semantics for Prolog. APPIA-GULP-PRODE 1997: 201-212
1996
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giorgio Levi, Fausto Spoto: Accurate Analysis of Prolog with cut. APPIA-GULP-PRODE 1996: 481-492

Coauthor Index

1Gianluca Amato
[c13]
2S. Bozzoli
[c17]
3Agostino Dovier
[c17]
4Michael D. Ernst
[c26]
5Samir Genaim
[c18]
6Roberta Gori
[c5]
7Patricia M. Hill
[j7] [i1] [j5] [c16] [j2] [c15] [c14] [c10] [c8] [c7]
8Marieke Huisman
[j9]
9Thomas P. Jensen
[j3] [c12]
10E. Lastres
[c5]
11Giorgio Levi
[j4] [c9] [c6] [c4] [c3] [c2] [c1]
12Lunjin Lu
[j10]
13Frédéric Mesnard (Fred Mesnard)
[j12] [j10]
14R. Moreno
[c5]
15Durica Nikolic
[j16] [c30] [c29] [c28]
16Étienne Payet
[j15] [c27] [j13] [j12] [j11] [c22]
17Stefano Rossignoli
[c21]
18Stefano Secci
[c19]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 21 16:37:46 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page