|
Papers of Fausto Spoto
[Page last updated on 29/10/2005.]
"La peste, comme l'abstraction, était monotone"
(Albert Camus, La Peste, 1947)
Submitted for Publication
[BessonJS04]Frédéric Besson, Thomas Jensen and Fausto Spoto.
Modular Class Analysis with DATALOG.
Submitted for publication on December 2004.
(Gzipped
PDF, 26 pages, 225559 bytes),
(Abstract,
1127 bytes)
[HillS05]Patricia M. Hill and Fausto Spoto.
Deriving Escape Analysis by Abstract Interpretation.
Submitted for publication on April 2005.
(Gzipped
Postscript, 88 pages, 409517 bytes)
(Gzipped
PDF, 88 pages, 488027 bytes)
(Abstract,
1612 bytes)
(BibTeX, 273 bytes)
To appear
[RossignoliS05]Stefano Rossignoli and Fausto Spoto.
Detecting Non-Cyclicity by Abstract Compilation into Boolean Functions.
To appear in Proceedings of the
Seventh International Conference on
Verification, Model Checking and Abstract Interpretation (VMCAI'06),
January 8-10, 2006. Charleston, South Carolina, USA.
Lecture Notes in Computer Science.
(Gzipped
postscript, 17 pages, 202916 bytes),
(Abstract,
1547 bytes)
2005
[Bytecode05]Fausto Spoto (ed.).
Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode'05).
Volume 141, Issue 1
of Electronic Notes in Theoretical Computer Science,
pages 1-274 (5 December 2005). Edinburgh, UK, April 2005.
[Spoto05b]Fausto Spoto.
Information Flow is Linear Refinement of Constancy.
Proceedings of
International Colloquium on Theoretical Aspects of Computing, ICTAC'05.
Volume 3722 of Lecture Notes in Computer Science, pages 351-365,
Hanoi, Vietnam, October 17-21, 2005.
(Gzipped
postscript, 15 pages, 200665 bytes),
(Gzipped
PDF, 15 pages, 154317 bytes),
(Abstract,
1246 bytes),
(BibTeX, 455 bytes)
(Slides in PDF)
[Spoto05]Fausto Spoto.
Julia: A Generic Static Analyser for the Java Bytecode,
in the proceedings of the
7th Workshop on Formal Techniques for Java-like Programs, FTfJP'2005,
Glasgow, Scotland, July 2005.
(Gzipped
Postscript, 25 pages, 190684 bytes)
(Gzipped
PDF, 25 pages, 169136 bytes)
(Abstract,
1247 bytes)
(BibTeX, 397 bytes)
[SecciS05]Stefano Secci and Fausto Spoto.
Pair-Sharing Analysis of Object-Oriented Programs.
In proceedings of Static Analysis Symposium (SAS'2005).
Volume 3672 of Lecture Notes in Computer Science, pages
320-335. London, UK, September 2005.
(Gzipped
postscript, 16 pages, 205383 bytes),
(Gzipped
PDF, 16 pages, 166642 bytes),
(Gzipped
postscript of the extended version, 29 pages, 252211 bytes),
(Gzipped
PDF of the extended version, 29 pages, 227848 bytes),
(Abstract, 977 bytes),
(BibTeX, 460 bytes)
[GenaimS05]Samir Genaim and Fausto Spoto.
Information Flow Analysis for Java Bytecode.
In Radhia Cousot editor, Proc. of the Sixth International Conference on
Verification, Model Checking and Abstract Interpretation (VMCAI'05),
Paris, France. January 2005. Volume 3385 of Lecture Notes in Computer
Science, pages 346-362.
(Gzipped
Postscript, 17 pages, 156242 bytes)
(Abstract,
1066 bytes)
(BibTeX, 503 bytes)
2003
[HillS03b]Patricia M. Hill and Fausto Spoto.
Logic Programs as Compact Denotations
(Extended version). In Elsevier Computer
Languages, Systems and Structures, volume 29,
issue 3, pages 45-73, October 2003.
(Gzipped
Postscript, 23 pages, 243146 bytes)
(Abstract,
1112 bytes)
(BibTeX, 311 bytes)
[BozzoliDS03]Sandro Bozzoli, Agostino Dovier and Fausto Spoto.
Approximate Protein Folding in Oz through Frequency Analysis. In
Proc. of APPIA-GULP-PRODE'03, Reggio Calabria, Italy, September 2003.
(Gzipped
Postscript, 12 pages, 74802 bytes)
(Abstract,
1482 bytes)
(BibTeX, 265 bytes)
[SpotoJ03]Fausto Spoto and Thomas Jensen.
Class Analyses as Abstract Interpretations of Trace Semantics.
In ACM Transactions on Programming Languages and Systems (TOPLAS),
volume 25, September 2003, pages 578-630.
(Abstract,
1872 bytes)
(BibTeX, 335 bytes)
[LeviS03]Giorgio Levi and Fausto Spoto.
Pair-Independence and Freeness Analysis through Linear Refinement.
In Information and Computation, 182(1), pages 14-52, 2003.
(Abstract, 1915 bytes)
(Code of the analyser, 30692 bytes)
(BibTeX, 238 bytes)
[HillS03]Patricia M. Hill and Fausto Spoto.
Logic Programs as Compact Denotations. In G. Gupta editor,
Proc. of Practical Aspects of Declarative Languages, New Orleans,
Louisiana, USA, January 2003. Volume 2562 of
Lecture Notes in Computer Science, pages 339-356.
Springer-Verlag.
(Gzipped Postscript, 18 pages, 110180 bytes)
(Abstract, 1086 bytes)
(Gzipped pdf Presentation, 32 slides, 162957 bytes)
(BibTeX, 463 bytes)
[SpotoP03]Fausto Spoto and Erik Poll.
Static Analysis for JML's assignable Clauses.
In G. Ghelli editor,
Proc. of FOOL-10, the 10th International Workshop on Foundations of
Object-Oriented Languages, New Orleans, Louisiana, USA, January 2003.
(Gzipped Postscript, 16 pages, 98368 bytes)
(Gzipped Postscript,
extended version, 24 pages, 134278 bytes)
(Abstract, 1110 bytes)
(Gzipped pdf Presentation, 28 slides, 168222 bytes)
(BibTeX, 478 bytes)
2002
[HillS02a]Patricia M. Hill and Fausto Spoto.
A Foundation of Escape Analysis. In H. Kirchner and C. Ringeissen
editors, Proc. of
AMAST 2002, volume 2422 of Lecture Notes in Computer Science,
pages 380-395, St. Gilles les Bains,
La Réunion island, France, September 2002.
Copyright Springer-Verlag.
(Gzipped Postscript, 112792 bytes)
(Gzipped Postscript with proofs, 152780 bytes)
(Abstract, 1385 bytes)
(BibTeX, 430 bytes)
[HillS02]Patricia M. Hill and Fausto Spoto.
Generalising Def and Pos to Type Analysis. In
Journal of Logic and Computation, 12(3), June 2002, pages 497-542.
(Gzipped Postscript, 206803 bytes)
(Abstract, 1744 bytes)
(BibTeX, 285 bytes)
[HillS02b]Patricia M. Hill and Fausto Spoto.
A Refinement of the Escape Property. In A. Cortesi, editor,
Proceedings of the VMCAI'02 workshop on Verification, Model Checking and Abstract Interpretation, volume 2294 of Lecture Notes in Computer Science, pages 154-166, Venice, Italy, January 2002. Copyright Springer-Verlag.
(Gzipped Postscript, 86534 bytes)
(Abstract, 1287 bytes)
(BibTeX, 472 bytes)
2001
[AS01]Gianluca Amato and Fausto Spoto.
Abstract Compilation for Sharing Analysis.
In H. Kuchen and K. Ueda, editors, Proceedings of the FLOPS 2001
Conference, volume 2024 of Lecture Notes in Computer Science, pages
311-325, Tokyo, Japan, March
2001. Springer-Verlag.
(PostScript, 15 pages, 263443 bytes)
(Abstract, 1552 bytes)
(BibTeX, 452 bytes)
(Source code of
the analyser, 30927 bytes)
[JS01]Thomas Jensen and Fausto Spoto.
Class Analysis of Object-Oriented Programs through Abstract
Interpretation. In
F. Honsell and M. Miculan, editors, Proceedings of the
FOSSACS 2001
Conference, volume 2030 of Lecture Notes in Computer Science, pages 261-275. Genova, Italy, April
2001. Springer-Verlag.
(Gzipped
Postscript,
109171 bytes)
(Abstract, 1203
bytes)
(BibTeX, 495 bytes)
[Spoto01]Fausto Spoto.
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses. In P. Cousot, editor,
Proceedings of the Static Analysis Symposium 2001, volume 2126 of Lecture Notes in Computer Science, pages
127-145. Paris, France, July 2001. Springer-Verlag.
(Gzipped Postscript, 133253 bytes)
(Abstract, 978 bytes)
(BibTeX, 455 bytes)
[Spoto01b]Fausto Spoto.
Logic Programs as Abstract Domains. In L. M. Pereira and
P. Quaresma, editors,
Proceedings of the APPIA-GULP-PRODE 2001 Conference,
pages 197-211.
Evora, Portugal, September 2001.
(Gzipped Postscript,
121677 bytes)
(Abstract,
975 bytes)
(BibTex, 457 bytes)
2000
[Spo00]Fausto Spoto.
Operational and
Goal-Independent Denotational Semantics for Prolog with Cut.
Journal of Logic Programming, 42(1):1-46, January 2000.
(Gzipped PostScript, 54 pages, 216462 bytes)
(Abstract, 1146 bytes)
(BibTeX, 336 bytes)
[LS00]G. Levi and F. Spoto.
Non Pair-Sharing and Freeness
Analysis through Linear Refinement.
In Proc. of the ACM SIGPLAN Workshop on Partial Evaluation and
Semantics-Based Program Manipulation (PEPM'00). The ACM Press, January
2000, pages 52-61, Boston, Ma.
(Gzipped PostScript, 10 pages, 101144 bytes)
(Abstract, 1094 bytes)
(BibTeX, 386 bytes)
[HS00]Patricia Hill and Fausto Spoto.
Analysis of Downward Closed Properties of Logic Programs.
In Proc. of the International Conference
on Algebraic Methodology and Software Technology, AMAST 2000,
volume 1816 of Lecture Notes in Computer Science, pages 181-196,
Iowa City, USA, May 2000.
Springer-Verlag. Copyright Springer-Verlag.
(Gzipped PostScript, 15 pages, 96136 bytes)
(Abstract, 1214 bytes)
(BibTeX, 424 bytes)
[Spo00a]Fausto Spoto.
Analysis of Logic Programs through Linear Refinement.
PhD thesis, Dipartimento di Informatica, Università di Pisa, Italy, 2000. Available as Technical Report TD-7/00.
(Gzipped PostScript, 164 pages, 484890 bytes)
(Abstract, 1491 bytes)
(BibTeX, 271 bytes)
1999
[SL99]Fausto Spoto and Giorgio Levi.
Abstract Interpretation of
Prolog Programs.
In A.M. Haeberer, editor, Proceedings of the 7th International Conference
on Algebraic Methodology and Software Technology, AMAST'98, volume
1548 of Lecture Notes in Computer Science, pages 455-470,
Amazonia, Manaus, Brazil, January 1999. Copyright Springer-Verlag.
(Gzipped PostScript, 15 pages,
86778 bytes)
(Abstract, 856 bytes)
(BibTeX, 584 bytes)
[HS99]Patricia Hill and Fausto Spoto.
Freeness Analysis through
Linear Refinement.
In Proc. of the SAS'99 Conference, volume 1694 of Lecture
Notes in Computer Science, pages 85-100, Venice, Italy, September
1999. Springer-Verlag.
Copyright Springer-Verlag.
(Gzipped PostScript, 16 pages, 102268 bytes)
(Abstract, 1163 bytes)
(BibTeX, 482 bytes)
1998
[GLMSo98]Roberta Gori, Ernesto Lastres, René
Moreno, and Fausto Spot o.
Approximation of the Well-Founded Semantics for Normal Logic
Programs using Abstract Interpretation.
In José Luis Freire-Nistal, Moreno Falaschi, and Manuel Villares-F erro,
editors, Proceedings of the APPIA-GULP-PRODE '98 Conference,
pages 433-441, July 1998.
(Gzipped PostScript)
(Abstract)
(BibTeX)
[LS98]Giorgio Levi and Fausto Spoto.
An Experiment in Domain
Refinement: Type Domains and Type Representations for Logic
Programs.
In Catuscia Palamidessi, Hugh Glaser, and Karl Meinke, editors,
Principles of Declarative Programming, volume 1490 of
Lecture Notes in Computer Science, pages 152-169, Pisa, Italy,
September 1998. Copyright Springer-Verlag.
(Gzipped PostScript, 18 pages,
100831 bytes)
(Abstract, 1083 bytes)
(BibTeX, 575 bytes)
1997
[SL97]Fausto Spoto and Giorgio Levi.
A Denotational Semantics for Prolog.
In M. Falaschi, M. Navarro, and A. Policriti, editors, Proceedings of
APPIA-GULP-PRODE '97 Conference, pages 201-212, Grado, Italy, 1997.
(Gzipped PostScript)
(Abstract)
(BibTeX)
Unpublished
[JS00]Thomas Jensen and Fausto Spoto.
An Overview of Class Analyses of Object-oriented Languages.
August 2000. Unpublished.
(Gzipped PostScript, 4 pages, 41681 bytes)
(Abstract, 1057 bytes)
(BibTeX, 302 bytes)
[Spoto04b]Fausto Spoto.
Focused Static Analyses for the Java Bytecode (extended version).
Unpublished. September 2004.
(Gzipped
Postscript, 24 pages, 197491 bytes)
(Gzipped
PDF, 24 pages, 176750 bytes)
(Abstract,
1311 bytes)
(BibTeX, 234 bytes)
[LagoonMSPS03]Vitaly Lagoon, Fred Mesnard, Peter J. Stuckey, Etienne Payet and Fausto Spoto.
Termination Analysis of Typed Logic Programs.
Unpublished. December 2003.
(Gzipped
Postscript, 30 pages, 146800 bytes)
(Abstract,
1760 bytes)
(BibTeX, 305 bytes)
[Spoto04c]Fausto Spoto.
Class Analysis in an Open World.
Unpublished. January 2004.
(Gzipped
Postscript, 15 pages, 91924 bytes)
(Abstract,
1170 bytes)
(BibTeX, 185 bytes)
[Spo95]Fausto Spoto.
Semantica Concreta e Astratta di Prolog con Cut.
Master's thesis, Dipartimento di Informatica, Università di Pisa, July 1995. In Italian.
(Gzipped PostScript, 144 pages, 529786 bytes)
[SP95]Fausto Spoto and Giacomo Piccinelli.
Introduzione alla Logica Matematica.
In Italian, 1995. Unpublished.
(Gzipped PostScript, 77 pages, 185433 bytes)
|