ask others

Fausto Spoto

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c43]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cade/PayetS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/PayetS18
Étienne Payet, Fausto Spoto:
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions. IJCAR 2018: 706-722
[c42]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cf/MandalCFPS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cf/MandalCFPS18
Amit Kr Mandal, Agostino Cortesi, Pietro Ferrara, Federica Panarotto, Fausto Spoto:
Vulnerability analysis of Android auto infotainment apps. CF 2018: 183-190
[c41]
- view
  - electronic edition via DOI
  - electronic edition @ ieee.org
- export record
  dblp key:
  - conf/icse/FerraraCS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/FerraraCS18
Pietro Ferrara, Agostino Cortesi, Fausto Spoto:
CIL to Java-bytecode translation for static analysis leveraging. FormaliSE@ICSE 2018: 40-49
[c40]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/itasec/FerraraS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/itasec/FerraraS18
Pietro Ferrara, Fausto Spoto:
Static Analysis for GDPR Compliance. ITASEC 2018
[c39]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/smartcom/PanarottoCFMS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/smartcom/PanarottoCFMS18
Federica Panarotto, Agostino Cortesi, Pietro Ferrara, Amit Kr Mandal, Fausto Spoto:
Static Analysis of Android Apps Interaction with Automotive CAN. SmartCom 2018: 114-123
[c38]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/trustcom/SalviaFSC18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/trustcom/SalviaFSC18
Rocco Salvia, Pietro Ferrara, Fausto Spoto, Agostino Cortesi:
SDLI: Static Detection of Leaks Across Intents. TrustCom/BigDataSE 2018: 1002-1007
2017
[c37]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/itasec/FerraraBS17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/itasec/FerraraBS17
Pietro Ferrara, Elisa Burato, Fausto Spoto:
Security Analysis of the OWASP Benchmark with Julia. ITASEC 2017: 242-247
2016
[c36]
- view
  - electronic edition via DOI
  - electronic edition @ ieee.org
- export record
  dblp key:
  - conf/icse/ErnstLMST16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/ErnstLMST16
Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Fausto Spoto, Javier Thaine:
Locking discipline inference and checking. ICSE 2016: 1133-1144
[c35]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/nfm/ErnstMMS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/nfm/ErnstMMS16
Michael D. Ernst, Damiano Macedonio, Massimo Merro, Fausto Spoto:
Semantics for Locking Specifications. NFM 2016: 355-372
[c34]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Spoto16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Spoto16
Fausto Spoto:
The Julia Static Analyzer for Java. SAS 2016: 39-57
2015
[c33]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/ErnstLMSS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpar/ErnstLMSS15
Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, Fausto Spoto:
Boolean Formulas for the Static Identification of Injection Attacks in Java. LPAR 2015: 130-145
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/ErnstMMS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/ErnstMMS15
Michael D. Ernst, Damiano Macedonio, Massimo Merro, Fausto Spoto:
Semantics for Locking Specifications. CoRR abs/1501.05338 (2015)
2014
[j18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/ScapinS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/ScapinS14
Enrico Scapin, Fausto Spoto:
Field-sensitive unreachability and non-cyclicity analysis. Sci. Comput. Program. 95: 359-375 (2014)
[c32]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/pepm/PayetS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pepm/PayetS14
Étienne Payet, Fausto Spoto:
An operational semantics for android activities. PEPM 2014: 121-132
[c31]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/LovatoMS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/LovatoMS14
Alberto Lovato, Damiano Macedonio, Fausto Spoto:
A Thread-Safe Library for Binary Decision Diagrams. SEFM 2014: 35-49
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/PayetMS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/PayetMS14
Étienne Payet, Fred Mesnard, Fausto Spoto:
Non-Termination Analysis of Java Bytecode. CoRR abs/1401.5292 (2014)
2013
[j17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/NikolicS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/NikolicS13
Durica Nikolic, Fausto Spoto:
Inferring complete initialization of arrays. Theor. Comput. Sci. 484: 16-40 (2013)
[j16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/NikolicS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/NikolicS13
Durica Nikolic, Fausto Spoto:
Reachability analysis of program variables. ACM Trans. Program. Lang. Syst. 35(4): 14:1-14:68 (2013)
2012
[j15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/infsof/PayetS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/infsof/PayetS12
Étienne Payet, Fausto Spoto:
Static analysis of Android programs. Information & Software Technology 54(11): 1192-1201 (2012)
[c30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cade/NikolicS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/NikolicS12
Durica Nikolic, Fausto Spoto:
Reachability Analysis of Program Variables. IJCAR 2012: 423-438
[c29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ictac/NikolicS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ictac/NikolicS12
Durica Nikolic, Fausto Spoto:
Definite Expression Aliasing Analysis for Java Bytecode. ICTAC 2012: 74-89
[c28]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lata/NikolicS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lata/NikolicS12
Durica Nikolic, Fausto Spoto:
Automaton-Based Array Initialization Analysis. LATA 2012: 420-432
2011
[j14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sosym/Spoto11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sosym/Spoto11
Fausto Spoto:
Precise null-pointer analysis. Software and System Modeling 10(2): 219-252 (2011)
[c27]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cade/PayetS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/PayetS11
Étienne Payet, Fausto Spoto:
Static Analysis of Android Programs. CADE 2011: 439-445
[c26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icse/SpotoE11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/SpotoE11
Fausto Spoto, Michael D. Ernst:
Inference of field initialization. ICSE 2011: 231-240
2010
[j13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lisp/SpotoP10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lisp/SpotoP10
Fausto Spoto, Étienne Payet:
Magic-sets for localised analysis of Java bytecode. Higher-Order and Symbolic Computation 23(1): 29-86 (2010)
[j12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/SpotoMP10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/SpotoMP10
Fausto Spoto, Fred Mesnard, Étienne Payet:
A termination analyzer for Java bytecode based on path-length. ACM Trans. Program. Lang. Syst. 32(3): 8:1-8:70 (2010)
[c25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/Spoto10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpar/Spoto10
Fausto Spoto:
The Nullness Analyser of julia. LPAR (Dakar) 2010: 405-424

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/PayetS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/PayetS09
Étienne Payet, Fausto Spoto:
Experiments with Non-Termination Analysis for Java Bytecode. Electr. Notes Theor. Comput. Sci. 253(5): 83-96 (2009)
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/SpotoLM09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/SpotoLM09
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
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sac/Spoto08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sac/Spoto08
Fausto Spoto:
Special track on Software Verification: editorial message. SAC 2008: 326
[c23]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sefm/Spoto08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/Spoto08
Fausto Spoto:
Nullness Analysis in Boolean Form. SEFM 2008: 21-30
2007
[j9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/HuismanS07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/HuismanS07
Marieke Huisman, Fausto Spoto:
Preface. Electr. Notes Theor. Comput. Sci. 190(1): 1 (2007)
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Spoto07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Spoto07
Fausto Spoto:
Optimality and condensing of information flow through linear refinement. Theor. Comput. Sci. 388(1-3): 53-82 (2007)
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/PayetS07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/PayetS07
Étienne Payet, Fausto Spoto:
Magic-Sets Transformation for the Analysis of Java Bytecode. SAS 2007: 452-467
2006
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lisp/HillS06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lisp/HillS06
Patricia M. Hill, Fausto Spoto:
Deriving escape analysis by abstract interpretation. Higher-Order and Symbolic Computation 19(4): 415-463 (2006)
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vmcai/RossignoliS06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/vmcai/RossignoliS06
Stefano Rossignoli, Fausto Spoto:
Detecting Non-cyclicity by Abstract Compilation into Boolean Functions. VMCAI 2006: 95-110
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0607101
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0607101
Patricia M. Hill, Fausto Spoto:
Deriving Escape Analysis by Abstract Interpretation: Proofs of results. CoRR abs/cs/0607101 (2006)
2005
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Spoto05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/Spoto05
Fausto Spoto:
Preface. Electr. Notes Theor. Comput. Sci. 141(1): 1 (2005)
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ictac/Spoto05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ictac/Spoto05
Fausto Spoto:
Information Flow Is Linear Refinement of Constancy. ICTAC 2005: 351-365
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/SecciS05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/SecciS05
Stefano Secci, Fausto Spoto:
Pair-Sharing Analysis of Object-Oriented Programs. SAS 2005: 320-335
[c18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vmcai/GenaimS05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/vmcai/GenaimS05
Samir Genaim, Fausto Spoto:
Information Flow Analysis for Java Bytecode. VMCAI 2005: 346-362
2003
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/cl/HillS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/cl/HillS03
Patricia M. Hill, Fausto Spoto:
Logic programs as compact denotations. Computer Languages, Systems & Structures 29(3): 45-73 (2003)
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/LeviS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/LeviS03
Giorgio Levi, Fausto Spoto:
Pair-independence and freeness analysis through linear refinement. Inf. Comput. 182(1): 14-52 (2003)
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/SpotoJ03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/SpotoJ03
Fausto Spoto, Thomas P. Jensen:
Class analyses as abstract interpretations of trace semantics. ACM Trans. Program. Lang. Syst. 25(5): 578-630 (2003)
[c17]
- no documents available
- export record
  dblp key:
  - conf/agp/BozzoliSD03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/agp/BozzoliSD03
S. Bozzoli, Fausto Spoto, Agostino Dovier:
Approximate Protein Folding in Oz through Frequency Analysis. APPIA-GULP-PRODE 2003: 123-134
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/padl/HillS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/padl/HillS03
Patricia M. Hill, Fausto Spoto:
Logic Programs as Compact Denotations. PADL 2003: 339-356
2002
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/logcom/HillS02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/logcom/HillS02
Patricia M. Hill, Fausto Spoto:
Generalizing Def and Pos to Type Analysis. J. Log. Comput. 12(3): 497-542 (2002)
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/HillS02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/HillS02
Patricia M. Hill, Fausto Spoto:
A Foundation of Escape Analysis. AMAST 2002: 380-395
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vmcai/HillS02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/vmcai/HillS02
Patricia M. Hill, Fausto Spoto:
A Refinement of the Escape Property. VMCAI 2002: 154-166
2001
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/flops/AmatoS01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/flops/AmatoS01
Gianluca Amato, Fausto Spoto:
Abstract Compilation for Sharing Analysis. FLOPS 2001: 311-325
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/JensenS01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/JensenS01
Thomas P. Jensen, Fausto Spoto:
Class Analysis of Object-Oriented Programs through Abstract Interpretation. FoSSaCS 2001: 261-275
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Spoto01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Spoto01
Fausto Spoto:
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses. SAS 2001: 127-145
2000
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jlp/Spoto00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jlp/Spoto00
Fausto Spoto:
Operational and Goal-Independent Denotational Semantics for Prolog with Cut. J. Log. Program. 42(1): 1-46 (2000)
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/HillS00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/HillS00
Patricia M. Hill, Fausto Spoto:
Analysis of Downward Closed Properties of Logic Programs. AMAST 2000: 181-196
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/pepm/LeviS00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pepm/LeviS00
Giorgio Levi, Fausto Spoto:
Non Pair-Sharing and Freeness Analysis Through Linear Refinement. PEPM 2000: 52-61

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c8]
- no documents available
- export record
  dblp key:
  - conf/agp/HillS99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/agp/HillS99
Patricia M. Hill, Fausto Spoto:
Freeness Analysis through Linear Refinement. APPIA-GULP-PRODE 1999: 321-337
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/HillS99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/HillS99
Patricia M. Hill, Fausto Spoto:
Freeness Analysis Through Linear Refinement. SAS 1999: 85-100
1998
[c6]
- no documents available
- export record
  dblp key:
  - conf/agp/SpotoL98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/agp/SpotoL98
Fausto Spoto, Giorgio Levi:
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. APPIA-GULP-PRODE 1998: 269-282
[c5]
- no documents available
- export record
  dblp key:
  - conf/agp/GoriLMS98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/agp/GoriLMS98
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
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/SpotoL98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/SpotoL98
Fausto Spoto, Giorgio Levi:
Abstract Interpretation of Prolog Programs. AMAST 1998: 455-470
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/plilp/LeviS98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/plilp/LeviS98
Giorgio Levi, Fausto Spoto:
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. PLILP/ALP 1998: 152-169
1997
[c2]
- no documents available
- export record
  dblp key:
  - conf/agp/SpotoL97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/agp/SpotoL97
Fausto Spoto, Giorgio Levi:
A Denotational Semantics for Prolog. APPIA-GULP-PRODE 1997: 201-212
1996
[c1]
- no documents available
- export record
  dblp key:
  - conf/agp/LeviS96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/agp/LeviS96
Giorgio Levi, Fausto Spoto:
Accurate Analysis of Prolog with cut. APPIA-GULP-PRODE 1996: 481-492

Coauthor Index

see FAQ

maintained by

at