BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Japan
1 × Poland
1 × South Africa
1 × Spain
2 × United Kingdom
3 × France
4 × Italy
5 × USA
Collaborated with:
É.Payet P.M.Hill D.Nikolic G.Levi M.D.Ernst S.Rossignoli S.Secci S.Genaim G.Amato T.P.Jensen A.Lovato D.Macedonio
Talks about:
analysi (11) program (6) abstract (4) refin (4) share (3) interpret (2) freeness (2) bytecod (2) boolean (2) android (2)

Person: Fausto Spoto

DBLP DBLP: Spoto:Fausto

Contributed to:

PEPM 20142014
SEFM 20142014
IJCAR 20122012
LATA 20122012
CADE 20112011
ICSE 20112011
SEFM 20082008
SAS 20072007
VMCAI 20062006
SAS 20052005
VMCAI 20052005
PADL 20032003
VMCAI 20022002
FLOPS 20012001
FoSSaCS 20012001
SAS 20012001
PEPM 20002000
SAS 19991999
ALP/PLILP 19981998
IJCAR 20182018

Wrote 20 papers:

PEPM-2014-PayetS #android #process #semantics
An operational semantics for android activities (ÉP, FS), pp. 121–132.
SEFM-2014-LovatoMS #diagrams #library #thread
A Thread-Safe Library for Binary Decision Diagrams (AL, DM, FS), pp. 35–49.
IJCAR-2012-NikolicS #analysis #reachability
Reachability Analysis of Program Variables (DN, FS), pp. 423–438.
LATA-2012-NikolicS #analysis #array
Automaton-Based Array Initialization Analysis (DN, FS), pp. 420–432.
CADE-2011-PayetS #android #source code #static analysis
Static Analysis of Android Programs (ÉP, FS), pp. 439–445.
ICSE-2011-SpotoE
Inference of field initialization (FS, MDE), pp. 231–240.
SEFM-2008-Spoto #analysis
Nullness Analysis in Boolean Form (FS), pp. 21–30.
SAS-2007-PayetS #analysis #bytecode #java
Magic-Sets Transformation for the Analysis of Java Bytecode (ÉP, FS), pp. 452–467.
VMCAI-2006-RossignoliS #compilation #detection
Detecting Non-cyclicity by Abstract Compilation into Boolean Functions (SR, FS), pp. 95–110.
SAS-2005-SecciS #analysis #object-oriented #source code
Pair-Sharing Analysis of Object-Oriented Programs (SS, FS), pp. 320–335.
VMCAI-2005-GenaimS #analysis #bytecode #data flow #java
Information Flow Analysis for Java Bytecode (SG, FS), pp. 346–362.
PADL-2003-HillS #logic programming #source code
Logic Programs as Compact Denotations (PMH, FS), pp. 339–356.
VMCAI-2002-HillS #refinement
A Refinement of the Escape Property (PMH, FS), pp. 154–166.
FLOPS-2001-AmatoS #analysis #compilation
Abstract Compilation for Sharing Analysis (GA, FS), pp. 311–325.
FoSSaCS-2001-JensenS #abstract interpretation #analysis #object-oriented #source code
Class Analysis of Object-Oriented Programs through Abstract Interpretation (TPJ, FS), pp. 261–275.
SAS-2001-Spoto #analysis #composition #semantics
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses (FS), pp. 127–145.
PEPM-2000-LeviS #analysis #linear #refinement
Non Pair-Sharing and Freeness Analysis Through Linear Refinement (GL, FS), pp. 52–61.
SAS-1999-HillS #analysis #linear #refinement
Freeness Analysis Through Linear Refinement (PMH, FS), pp. 85–100.
ALP-PLILP-1998-LeviS #empirical #logic programming #refinement #source code
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs (GL, FS), pp. 152–169.
IJCAR-2018-PayetS #abstract interpretation #array #bound
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions (ÉP, FS), pp. 706–722.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.