2025
R. Giacobazzi and F. Ranzato. The best of abstract interpretations. POPL2025, To appear, Denver USA, Jan. 22—24, 2024.
Available soon!!
2024
R. Giacobazzi, I. Mastroeni, and E. Perantoni. Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation (TOPLAS). ACM Transactions on Programming Languages and Systems 46(2) Article No.: 5, Pages 1 - 31, 2024.
Available from the ACM DL
Marco Campion, M. Dalla Preda, R. Giacobazzi, and C. Urban. Monotonicity and the Precision of Program Analysis. POPL2024, Volume 8, Issue POPL, Article No.: 55, Pages 1629 - 1662, London Jan. 16—20, 2024.
Available from the ACM DL
2023
M. Campion, C. Urban, M. Dalla Preda, R. Giacobazzi. A Formal Framework to Measure the Incompleteness of Abstract Interpretations. SAS 2023, LNCS 14284:114-138,. Cascais October 22-24, 2023.
Available from Springer
R. Giacobazzi, I. Mastroeni, and E. Perantoni. How Fitting is Your Abstract Domain? SAS 2023, LNCS 14284: 286-309. Cascais October 22-24, 2023.
Available from Springer
R. Bruni, R. Giacobazzi, R. Gori, F. Ranzato. A Correctness/Incorrectness Program Logic. Journal of the ACM 70(2): 15:1-15:45 (2023).
Available from the ACM DL
R. Bruni, R. Giacobazzi, R. Gori, F. Ranzato. Local Completeness in Abstract Interpretation. Challenges of Software Verification. Intelligent Systems Reference Library, vol 238. Springer, 2023.
Available from Springer
P. López-García, J. P. Gallagher, R. Giacobazzi. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13160, Springer 2023, ISBN 978-3-031-31475-9.
Available from Springer
2022
R. Giacobazzi and I. Mastroeni. Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation. The Static Analysis - 29th International Symposium, SAS 2022, Lecture Notes in Computer Science 13790, pp. 247-271. Auckland, New Zealand, December 5-7, 2022.
Available: PDF
R. Bruni, R. Giacobazzi, R. Gori, F. Ranzato. Abstract Interpretation Repair. 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022). Mon 13 - Fri 17 June 2022. San Diego, California, United States.
Available in Open Access: PDF.
R. Giacobazzi and F. Ranzato. History of Abstract Interpretation. IEEE Annals of the History of Computing. IEEE Computer Society. To appear 2022.
Available: from IEEE
M. Campion, M. Dalla Preda and R. Giacobazzi. Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis. The 49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022), Sun 16 - Sat 22 January 2022, Philadelphia, Pennsylvania, United States.. Proc. ACM Program. Lang. 6, POPL, Article 59 (January 2022), 31 pages.
Available: PDF and DOI
2021
R. Bruni, R. Giacobazzi, R. Gori, and F. Ranzato. A Logic for Locally Complete Abstract Interpretations. The 36th Annual Symposium on Logic in Computer Science. (LICS2021). Distinguished Paper Award. Rome, 29 June – 02 July, 2021.
Available preprint in PDF.
M. Dalla Preda, R. Giacobazzi, N. Marastoni. Data Augmentation and Transfer Learning to Classify Malware Images in a Deep Learning Context. Journal of Computer Virology and Hacking Techniques. 17, pages 279–297 (2021).
Available from Springer in PDF.
M. Campion, M. Dalla Preda, R. Giacobazzi. Learning Metamorphic Malware Signatures from Samples. Journal of Computer Virology and Hacking Techniques. volume 17, pages 167–183 (2021).
Available from Springer in PDF.
2020
M. Dalla Preda, R. Giacobazzi, N. Marastoni. Formal Framework for Reasoning About the Precision of Dynamic Analysis. SAS 2020. LNCS, volume 12389, pages 178-199. 2020.
Available from Springer and preprint from IRIS in PDF.
A. Dovier and R. Giacobazzi. Fondamenti dell’Informatica: Linguaggi Formali, Calcolabilità e Complessità. Bollati Boringhieri 2020, 320pp. ISBN 9788833933795. (In Italian).
Available in shops.
R. Bruni, R. Giacobazzi, R. Gori, D. Pavlovic, I. Garcia. Abstract Extensionality — On the properties of incomplete abstract interpretations. The 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020), Sun 19 - Sat 25 January 2020, New Orleans, Louisiana, United States.
Available in PDF from the ACM DL, DOI, Video!
2019
M. Campion, M. Dalla Preda, and R. Giacobazzi. Abstract Interpretation of Indexed Grammars. The 26th Static Analysis Symposium (SAS2019). Porto Portugal, October 8-11, 2019.
Available from Springer in PDF.
I. Casso, J. F. Morales, P. López, R. Giacobazzi and M. Hermenegildo. Computing Abstract Distances in Logic Programs. The 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2019) . Porto Portugal, October 8-10, 2019.
Available in LNCS!
P. Cousot, R. Giacobazzi and F. Ranzato. A^2 I: Abstract^2 Interpretation. The 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal. Distinguished Paper award. Proceedings of the ACM on Programming Languages Journal, Volume 3 Issue POPL, January 2019, Article No. 42, ACM.
Available: ACM DL and PDF !!
2018
N. Marastoni, R. Giacobazzi and M. Dalla Preda. A Deep Learning Approach to Program Similarity. The 1st International Workshop on Machine Learning and Software Engineering in Symbiosis, Montpellier, France, September 3, 2018. pp. 26-35. ACM Press.
Available from ACM DL!!
R. Bruni, R. Giacobazzi, and R. Gori. Code Obfuscation Against Abstraction Refinement Attacks. Formal Aspects of Computing (2018) 30:685-711. DOI 10.1007/s00165-018-0462-6.
Available from Springer!!
P. Cousot, R. Giacobazzi and F. Ranzato. Program Analysis is Harder than Verification: A Computability Perspective. 30th International Conference on Computer Aided Verification (CAV 2018), July 14-17, 2018 Oxford (UK).
Available from EasyChair.
F. Bonchi, P. Ganty, R. Giacobazzi and D. Pavlovic. Sound up-to techniques and Complete abstract domains. Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 9–12 July 2018 Oxford (UK).
Available from ACM and arXiv.
R. Giacobazzi and I. Mastroeni. Abstract Non-Interference: A unifying framework for weakening information-flow. ACM Transactions on Privacy and Security (TOPS). Volume 21 Issue 2, Article No. 9, February 2018.
Available from ACM DL.
R. Bruni, R. Giacobazzi, and R. Gori. Code Obfuscation Against Abstract Model Checking Attacks. 19th International Conference on Verification, Model Checking, and Abstract Interpretation. VMCAI 2018. Los Angeles Sun 7 - Sat 9 January 2018. USA.
Available from Springer
2017
R. Giacobazzi, I. Mastroeni and M. Dalla Preda. Maximal incompleteness as obfuscation potency. Formal Aspects of Computing, 29(1):3-31, Springer-Verlag. 2017.
Available on line from Springer
2016
R. Sartea, M. Dalla Preda, A. Farinelli, R. Giacobazzi, I. Mastroeni. Active Android malware analysis: an approach based on stochastic games. SSPREW at ACSAC 2016: 5:1-5:10.
Available from ACM.
I. Mastroeni and R. Giacobazzi. Weakening Additivity in Adjoining Closures. Order, 33:503–516. DOI 10.1007/s11083-015-9381-9, Springer Verlag 2016.
Available from Order.
Mila Dalla Preda, Roberto Giacobazzi,, and Isabella Mastroeni. Completeness in Approximate Transduction. 23rd Static Analysis Symposium (SAS 2016). LNCS 9837, pp. 126-146. Springer-Verlag. September 8--10, 2016, Edinburgh, UK.
Available from LNCS
R. Giacobazzi and I. Mastroeni. Making abstract models complete. Mathematical Structures in Computer Science. 26(4): 658-701 (2016).
Available from Cambridge U. Press
2015
M. Dalla Preda, R. Giacobazzi, S. Debray. Unveiling Metamorphism by Abstract Interpretation of Code Properties. Theoretical Computer Science. Elsevier. Volume 577(27), Pages 74–97, 2015.
Available in PDF and from Elsevier.
R. Giacobazzi, F. Logozzo and F. Ranzato. Analyzing Program Analyses. The 42th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '15, Mumbai, India - January 15 - 17, 2015. ACM 2015.
Available in PDF and from ACM DL.
M. Dalla Preda, R. Giacobazzi, I. Mastroeni and A. Lakhotia. Abstract Symbolic Automata. The 42th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '15, Mumbai, India - January 15 - 17, 2015. ACM 2015.
Available in PDF and from ACM DL.
2014
R. Giacobazzi. Obscuring Code - Unveiling and Veiling Information in Programs. 16th Int. Symp. on Principles and Practice of Declarative Programming (PPDP 2014) and 24th Int. Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2014). Canterbury, UK. September 8-11, 2014. (Invited lecture).
Available in PDF and Slides
R. Giacobazzi and F. Ranzato. Correctness Kernels of Abstract Interpretations. Information and Computation. Volume 237, Pages 187–203, October 2014.
Available from the Elsevier web site.
2013
D. Dreyer, J. Field, R. Giacobazzi, M. Hicks, S. Jagannathan, M. Sagiv, P. Sewell, and P. Wadler. Principles of POPL. ACM SIGPLAN Notices - Volume 48 Issue 4S, April 2013. Pages 12-16. ACM New York, NY, USA. Doi>10.1145/2502508.2502517.
Available as: PDF, BibTex Entry.
M. Dalla Preda, I. Mastroeni and R. Giacobazzi. Formal Framework for Property-driven Obfuscations. In Proc. of the 19th Int. Symp. on Fundamentals of Computer Theory, FCT 2013, Volume 8070 of Lecture Notes in Computer Science, pages 133-144, Springer. August 19-21 Liverpool, UK.
Available from Springer and BibTex Entry
R. Cousot and R. Giacobazzi, (Eds.): The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013. ACM 2013, ISBN 978-1-4503-1832-7.
J. Berdine, R. Giacobazzi and I. Mastroeni (Eds.): Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings. Lecture Notes in Computer Science 7737, Springer 2013, ISBN 978-3-642-35872-2.
2012
R. Giacobazzi and I. Mastroeni. Making abstract interpretation incomplete: Modeling the potency of obfuscation. The 19th International Static Analysis Symposium SAS'12, volume 7460 of Lecture Notes in Computer Science, pages 129-145, Springer-Verlag. 11-13 September 2012, Deauville, France.
Available as: PDF, Slides.
R. Giacobazzi, I. Mastroeni, and D. Nikolic. Strong Preservation by Model Deformation. In The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE2012, pages 33-40. IEEE Press. Beijing, China, July 4-6, 2012.
Available as: PDF.
R. Giacobazzi. Software Security by Obscurity - A Programming Language Perspective. (Position Paper). In 6th International Conference on Information Systems, Technology and Management. In Communications in Computer and Information Science, 285, pp. 427-432, 2012. Grenoble, March 28-30, 2012.
Available as: PDF.
M. Dalla Preda, W. Feng, R. Giacobazzi, R. Greechie, and A. Lakhotia. Twisting Additivity in Program Obfuscation. In Workshop on Program Protection and Reverse Engineering (PPREW), Communications in Computer and Information Science, 285, pp. 336-347, 2012. Grenoble, March 28-30, 2012.
Available from Springer.
R. Giacobazzi, N. D. Jones, and I. Mastroeni. Obfuscation by Partial Evaluation of Distorted Interpreters. ACM SIGPLAN Partial Evaluation and Program Manipulation (PEPM'12), pp. 63-72. Philadelphia USA, January 23-24, 2012.
Available as: PDF, BibTeX Entry.
2011
D. Clark, R. Giacobazzi, and C. Mu (editors). Foreword: programming language interference and dependence. Special Issue of PLID2007 in Mathematical Structures in Computer Science, volume 21, issue 06, pp. 1109-1110, 2011.
C. Collberg, J. Davidson, R. Giacobazzi, Y. Gu, A. Herzberg, and F. Wang. Towards Digital Asset Protection. IEEE Intelligent Systems. 26(6):8-13, 2011.
Available in PDF.
A. Fortunato, M. Passuello and R. Giacobazzi. Relock-based vulnerability in Windows 7. Virus Bulletin, pp.16-20, VB August 2011. ISSN 1749-7027.
I. Mastroeni. and R. Giacobazzi. An Abstract Interpretation-based Model for Safety Semantics. International Journal of Computer Mathematics, 88 (4): 665–694. March 2011, DOI: 10.1080/00207161003703205.
Available from Taylor & Francis.
2010
M. Dalla Preda, R. Giacobazzi, S. Debray, K. Coogan, and G. Townsend. Modelling Metamorphism by Abstract Interpretation. The 17th International Static Analysis Symposium SAS'10, volume 6337 of Lecture Notes in Computer Science, pages 218-235, Springer-Verlag. Perpignan, France, Sept. 14-16, 2010.
Available as: PDF, Slides, BibTex Entry.
R. Giacobazzi and F. Ranzato. Example-Guided Abstraction Simplification. 37th International Colloquium on Automata, Languages and Programming, ICALP’10. Volume 6199 of Lecture Notes in Computer Science, pages 211-222, Springer-Verlag. July 5-10, 2010, Bordeaux, France.
Available as: PDF, Slides, BibTex Entry.
R. Giacobazzi and I. Mastroeni. Adjoining classified and unclassified information by abstract interpretation. Journal of Computer Security. 18(5):751-797. 2010.
Available from IOS. .
R. Giacobazzi and I. Mastroeni. A Proof System for Abstract Non-Interference. Journal of Logic and Computation, 20: 449-479. 2010; doi:10.1093/logcom/exp053.
Available: PDF from JLC, BibTeX Entry.
G. Delzanno, R. Giacobazzi, F. Ranzato. Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming. In A 25 years Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, volume 6125 of Lecture Notes in Computer Science, pages 136-158. Spinger Verlag 2010.
Available: PDF, BibTeX Entry.
R. Giacobazzi. Abstract Interpretation-Based Protection. In Verification, Model Checking, and Abstract Interpretation - Invited Talk. In 11th International Conference, VMCAI 2010, volume 5944, pages 23-24 Springer-Verlag. Madrid, Spain, January 17-19, 2010.
Available as: PDF, BibTeX Entry.
2009
P. Cousot, R. Cousot and R. Giacobazzi. Abstract Interpretation of Resolution-Based Semantics. Theoretical Computer Science. 410(46) 4724-4746. 2009; doi: 10.1016/j.tcs.2009.07.040. Available: PDF, PDF from TCS, BibTex Entry.
M. Dalla Preda and R. Giacobazzi. Semantic-based Code Obfuscation by Abstract Interpretation. Journal of Computer Security, 17(6):855-908, 2009. Available: PDF, BibTex Entry.
2008
R. Giacobazzi. Hiding Information in Completeness Holes - New perspectives in code obfuscation and watermarking (Invited Lecture). The 6th IEEE International Conferences on Software Engineering and Formal Methods, SEFM'08, pages 7-20, IEEE Press. Cape Town (South Africa), 10-14 November 2008. Available: IEEE digital library, PDF (with fixed typos), BibTeX Entry, Slides.
M. Dalla Preda, R. Giacobazzi, and E. Visentini. Hiding software watermarks in loop structures. The 15th International Static Analysis Symposium SAS'08, volume 5079 of Lecture Notes in Computer Science, pages 174-188, Springer-Verlag. Valencia, Spain, 16-18 July, 2008. Available: PDF, BibTeX Entry.
R. Giacobazzi and I Mastroeni. Transforming abstract interpretations by abstract interpretation (Invited Lecture). The 15th International Static Analysis Symposium SAS'08, volume 5079 of Lecture Notes in Computer Science, pages 1-17, Springer-Verlag. Valencia, Spain, 16-18 July, 2008. Available: PDF, BibTeX Entry, Slides.
2007
F. Banterle and R. Giacobazzi. A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware. The 14th International Static Analysis Symposium SAS'07, volume 4634 of Lecture Notes in Computer Science, pages 315-335, Springer-Verlag. Kongens Lyngby, Denmark, 22-24 August, 2007. Available: PDF, BibTeX Entry.
A. Banerjee, R. Giacobazzi and I. Mastroeni. What you lose is what you leak: Information Leakage in Declassification Policies. Twenty-third Conference on the Mathematical Foundations of Programming Semantics (MFPS'07). Electronic Notes in Theoretical Computer Science. Tulane University New Orleans, LA, USA April 11 - April 14, 2007 Available: PDF and Bibtex.
R. Giacobazzi (Editor). Special Issue on the 11th Static Analysis Symposium - SAS 2004. Science of Computer Programming Volume 64, Issue 1, Pages 1-184 (1 January 2007) Available: from ScienceDirect Elsevier.
2006
M. Dalla Preda, M. Madou, K. De Bosschere and R. Giacobazzi. Opaque Predicate Detection by Abstract Interpretation. In Proceedings of the 11th International Conference on Algebriac Methodology and Software Technology (AMAST'06). Volume 4019 of Lecture Notes in Computer Science, pages 81-95, Springer-Verlag. July 2-8, 2006, Kuressaare, Estonia. Available: from Springer.
R. Giacobazzi and F. Ranzato. Incompleteness of States w.r.t. Traces in Model Checking. Information and Computation, 204(3):376-407, 2006. Available: PDF from ScienceDirect Elsevier.
2005
R. Giacobazzi and I. Mastroeni. Timed Abstract Non-Interference. In the International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05). Volume 3829 of Lecture Notes in Computer Science, pages 289-303, Springer-Verlag. September 26-28, 2005, Uppsala, Sweden. Available from Springer.
R. Giacobazzi and I. Mastroeni. Generalized Abstract Non-Interference - Abstract Secure Information-flow Analysis for Automata . In Third International Workshop on "Mathematical Methods, Models and Architectures for Computer Networks Security (MMM-ACNS'05). Volume 3685 of Lecture Notes in Computer Science, pages 221-234, Springer-Verlag. September 24-28, 2005, St. Petersburg, Russia. Available: from Springer.
M. Dalla Preda and R. Giacobazzi. Control Code Obfuscation by Abstract Interpretation. In Proceedings of the 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM'05). pages 301-310, IEEE Computer Society Press. September 7-9, 2005, Koblenz, Germany. Available: PDF from IEEE.
M. Dalla Preda and R. Giacobazzi. Semantic-based Code Obfuscation by Abstract Interpretation. In Proceedings of the 32nd International Colloquium on Automata, Languages and Programming (ICALP'05 - Track B). Volume 3580 of Lecture Notes in Computer Science, pages 1325-1336, Springer-Verlag. July 11-15, 2005, Lisboa, Portugal. Available: PDF.
R. Giacobazzi, F. Ranzato, and F. Scozzari. Making Abstract Domains Condensing. ACM Transactions on Computational Logic (TOCL). 6(1):33--60, 2005. Available: PS, PDF, BibTeX Entry.
R. Giacobazzi and I. Mastroeni. Transforming Semantics by Abstract Interpretation. Theoretical Computer Science. 337(1-3):1-50, 2005. Available: from TCS.
R. Giacobazzi and I. Mastroeni. Adjoining Declassification and Attack Models by Abstract Interpretation. In M. Sagiv Editor, European Symposium on Programming (ESOP'05). Volume 3444 of Lecture Notes in Computer Science, pages 295-310, Springer-Verlag. Edinburgh, Scotland, April 2-10, 2005 Available: PDF from Springer.
2004
R. Giacobazzi and I. Mastroeni. Proving abstract non-interference. In the Annual Conference of the European Association for Computer Science Logic (CSL'04). Volume 3210 of Lecture Notes in Computer Science, pages 280-294, Springer-Verlag. Karpacz, September 20-24, 2004. Available: from Springer.
S. Genaim, R. Giacobazzi, and I. Mastroeni. Modeling Information Flow Dependencies with Boolean Functions. In the 2004 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security (WITS'04). April 3 - 4, 2004, Barcelona, Spain. Available: PDF.
R. Giacobazzi and I. Mastroeni. Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation. In The 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'04). pages 186-197. ACM press. Venice, Italy, January 14-16, 2004. Available from ACM DL, Slides.
2003
R. Giacobazzi and I. Mastroeni. Non-standard semantics for program slicing. Higher-Order and Symbolic Computation (formely LISP and Symbolic Computation). 16(4):297-339 Available: from Springer..
R. Giacobazzi and I. Mastroeni. Domain Compression for Complete Abstractions. In Fourth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'03). volume 2575 of Lecture Notes in Computer Science, pages 146-160, Springer-Verlag. New York University, New York, USA January 9-11, 2003. Available from Springer.
2002
R. Giacobazzi and F. Ranzato. States vs. Traces in Model Checking by Abstract Interpretation. In M. Hermeneghildo and G. Puebla Eds. The 9th International Static Analysis Symposium SAS'02, volume 2477 of Lecture Notes in Computer Science, pages 461-476, Springer-Verlag. Madrid, 17-20 September, 2002. Available: PDF, BibTeX Entry.
R. Giacobazzi. Systematic design of complete abstractions: from semantics to program analysis via model-checking. (Invited lecture) In Eighteenth Workshop on the Mathematical Foundations of Programming Semantics MFPS XVIII, Tulane University, New Orleans, LA USA. March 23 - March 26, 2002.
R. Giacobazzi and I. Mastroeni. Compositionality in the puzzle of semantics. In Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program ManipulationPEPM'02, pages 87-97. ACM press. Portland, Oregon, USA, January 14-15, 2002. Available: DVI, PDF, BibTeX Entry.
2001
R. Giacobazzi and E. Quintarelli. Incompleteness, counterexamples and refinements in abstract model-checking . In P. Cousot Ed. The 8th International Static Analysis Symposium SAS'01, volume 2126 of Lecture Notes in Computer Science, pages 356-373, Springer-Verlag. La Sorbonne, Paris, 16-18 July, 2001. Available: in PDF and from Springer.
A. Dovier, R. Giacobazzi, and E. Quintarelli. Refining and Compressing Abstract Model Checking. Electronic Notes in Theoretical Computer Science ENTCS 48, Elsevier 2001. Available: ENTCS-source
2000
R. Giacobazzi and I. Mastroeni. A characterization of symmetric semantics by domain complementation. In Proc. of the 2nd ACM International Conference on Principles and Practice of Declarative Programming PPDP'00, pages 115-126. ACM Press. Montreal, Canada, September 20-22, 2000. Available: DVI, PostScript, BibTeX Entry.
R. Giacobazzi, F. Ranzato, and F. Scozzari. Making abstract interpretations complete. Journal of the ACM. 47(2):361-416, 2000. Available from the JACM page, PDF, BibTeX Entry.
1999
R. Giacobazzi and F. Ranzato. The reduced relative power operation on abstract domains. Theoretical Computer Science 216:159-211, 1999. Available: DVI, PostScript, BibTeX Entry.
1998
R. Giacobazzi and F. Scozzari. A logical model for relational abstract domains. ACM Transactions on Programming Languages and Systems 20(5):1067-1109, 1998. Available: DVI, PostScript, BibTeX Entry.
R. Giacobazzi, F. Ranzato, and F. Scozzari. Building complete abstract interpretations in a linear logic-based setting. In G. Levi Editor Fifth International Static Analysis Symposium (SAS'98), volume 1503 Lecture Notes in Computer Science, pages 215-229, Springer-Verlag, 1998. Pisa, Italy, Sept. 14-18. Available: DVI, PostScript, BibTeX Entry.
R. Giacobazzi, F. Ranzato, and F. Scozzari. Complete abstract interpretations made constructive. In L. Brim, J. Gruska, and J. Zlatuska Editors, The 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS'98), volume 1450 Lecture Notes in Computer Science, pages 366-377, Springer-Verlag, Berlin, 1998. Brno, Czech Republic, August 24-28, 1998. Available: DVI, PostScript, BibTeX Entry.
R. Giacobazzi and F. Ranzato. Some properties of complete congruence lattices. Algebra Universalis 40:189-200, 1998. Math. Classification 06B10 (06A15, 06A23, 06D15). Available: DVI, PostScript, BibTeX Entry.
R. Giacobazzi and F. Ranzato. Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements. Information and Computation 145(2):153-190, 1998. Available: DVI, PostScript, BibTeX Entry.
R. Giacobazzi and F. Ranzato. Optimal domains for disjunctive abstract interpretation. Science of Computer Programming 32(1-3):177-210, 1998. Available: DVI, PostScript, BibTeX Entry.
R. Giacobazzi. Abductive analysis of modular logic programs. Journal of Logic and Computation 8(4):457-484, 1998. Available: DVI, PostScript, BibTeX Entry.
1997
R. Giacobazzi and F. Ranzato. On the least complete extension of complete sub-semilattices. Algebra Universalis 38(3):235-237, 1997. Math. Classification 06A12, 06A15, 06A23. Available: DVI, PostScript, BibTeX Entry.
R. Giacobazzi and F. Ranzato. Completeness in abstract interpretation: A domain perspective. In M. Johnson editor, Proc. of the 6th International Conference on Algebraic Methodology and Software Technology ( AMAST'97). volume 1349 of Lecture Notes in Computer Science, pages 231-245. Springer-Verlag, Berlin, 1997. Sydney, Australia, Dec. 13-17, 1997. Available: DVI, PostScript, BibTeX Entry.
R. Giacobazzi and F. Scozzari. Intuitionistic implication in abstract interpretation. In H. Glaser, P. Hartel, and H. Kuchen Eds. Proc. of the 9th International Symposium on Programming Languages, Implementations, Logics, and Programs ( PLILP'97), volume 1292 of Lecture Notes in Computer Science, pages 175-189. Springer-Verlag, Berlin, 1997. Available: DVI, PostScript, BibTeX Entry.
R. Giacobazzi and F. Ranzato. Refining and compressing abstract domains. In P. Degano, R. Gorrieri, and A. Marchetti-Spaccamela editors, Proc. of the 24th International Colloquium on Automata, Languages, and Programming ( ICALP'97), Bologna I, volume 1256 of Lecture Notes in Computer Science, pages 771-781. Springer-Verlag, Berlin, 1997. Available: DVI, PostScript, BibTeX Entry.
A. Cortesi, G. File', R. Giacobazzi, C. Palamidessi and F. Ranzato. Complementation in Abstract Interpretation. ACM Transactions on Programming Languages and Systems 19(1):7-47, 1997. Available: DVI, PostScript, PDF(300), PDF(600), PDF interactive, BibTeX Entry.
E. Zaffanella, R. Giacobazzi and G. Levi. Abstracting Synchronization in Concurrent Constraint Programming. Journal of Functional and Logic Programming, 1997(6), 1997. Available from source.
1996
R. Giacobazzi and F. Ranzato. Complementing Logic Program Semantics. In M. Hanus and M. Rodriguez Artalejo Editors, Proc. of the Fifth International Conference on Algebraic and Logic Programming, ALP'96, volume 1139 of Lecture Notes in Computer Science, pages 238-253, Springer-Verlag, 1996. Available: DVI, PostScript, BibTeX Entry.
R. Giacobazzi, C. Palamidessi and F. Ranzato. Weak Relative Pseudo-Complements of Closure Operators. Algebra Universalis 36 (1996), no. 3, 405-412. Math. Classification 06A15 (06A12). Available: DVI, PostScript, BibTeX Entry, Technical Report LIX/95/04 (file PostScript).
G. File' and R. Giacobazzi and F. Ranzato. A Unifying View on Abstract Domain Design. ACM Computing Surveys 28(2): 333-336, 1996. Available: DVI, PostScript, BibTeX Entry.
R. Giacobazzi and F. Ranzato. Compositional Optimization of Disjunctive Abstract Interpretations. In H.R. Nielson editor, Proc. of the 1996 European Symposium on Programming, ESOP'96, volume 1058 of Lecture Notes in Computer Science, pages 141-155, Springer-Verlag 1996. Available: DVI, PostScript, BibTeX Entry.
R. Giacobazzi. ``Optimal'' Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics. In C. Puech and R. Reischuk editors, Proc. of the 13th International Symposium on Theoretical Aspects of Computer Science STACS'96, volume 1046 of Lecture Notes in Computer Science, pages 503-514, Springer-Verlag 1996. Available: DVI, PostScript, BibTeX Entry.
1995
R. Giacobazzi and F. Ranzato. Functional dependencies and Moore-set completions of abstract interpretations and semantics. In J. Lloyd editor, Proc. 1995 Int'l Symposium on Logic Programming, ILPS'95, pages 321-335. The MIT Press 1995. Available: DVI, PostScript, BibTeX Entry.
A. Cortesi and G. File' and R. Giacobazzi and C. Palamidessi and F. Ranzato. Complementation in Abstract Interpretation. In A. Mycroft editor, Proc. of Int. Static Analysis Symposium SAS'95, volume 983 of Lecture Notes in Computer Science, pages 100--117. Springer-Verlag, Glasgow 25-27 Sept. 1995. Available: DVI, PostScript, BibTeX Entry.
R. Barbuti and M. Codish and R. Giacobazzi and M. Maher. Oracle Semantics for PROLOG. Information and Computation. 122(2):178-200, 1995. Extended version. Available: DVI, PostScript, BibTeX Entry.
R. Giacobazzi and S.K. Debray and G. Levi. Generalized Semantics and Abstract Interpretation for Constraint Logic Programs. Journal of Logic Programming. 25(3):191-248, 1995. Extended version. Available: DVI, PostScript, BibTeX Entry.
Paris
1994
B.M. Chang, K.M. Choe and R. Giacobazzi. Abstract Filters: Improving Bottom-up Executions of Logic Programs by Two-phase Abstract Interpretation. In Proceedings of the Ninth ACM Symposium on Applied Computing, pages 388--393, ACM Press. 1994.
Available: DVI, PostScript, BibTeX Entry.
M. Gabbrielli and R. Giacobazzi. Goal independency and call patterns in the analysis of logic programs. In Proceedings of the Ninth ACM Symposium on Applied Computing, pages 394--399, ACM Press. 1994.
Available: DVI, PostScript, BibTeX Entry.
R. Giacobazzi. Abductive analysis of modular logic programs. In M. Bruynooghe Editor, Proc. 1994 Int'l Symposium on Logic Programming, pages 377--391, The MIT Press. 1994.
Available: DVI, PostScript, BibTeX Entry.
E. Zaffanella and R. Giacobazzi and G. Levi. Abstracting Synchronization in Concurrent Constraint Programming. In M. Hermenegildo and J. Penjam Editors, Proc. of the Sixth International Symposium on Programming Language Implementation and Logic Programming, PLILP'94, volume 844 of Lecture Notes in Computer Science, pages 57--72, Springer-Verlag, 1994.
Available: from Springer.
1993
R. Bagnara and R. Giacobazzi and G. Levi. An Application of Constraint Propagation to Data-Flow Analysis. In Proceedings of IEEE Ninth Conference on Artificial Intelligence for Applications, pages 270--276, IEEE Computer Society Press, 1993.
Available: DVI, PostScript, BibTeX Entry.
R. Barbuti and R. Giacobazzi and G. Levi. A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs. ACM Transactions on Programming Languages and Systems, 15(1):133-181, 1993.
Available: DVI, PostScript, BibTeX Entry.
R. Barbuti and M. Codish and R. Giacobazzi and G. Levi. Modelling Prolog Control. Journal of Logic and Computation, 3(6):579-603, 1993.
Available: DVI, PostScript, BibTeX Entry.
M. Codish and S. K. Debray and R. Giacobazzi. Compositional Analysis of Modular Logic Programs. In Proc. Twentieth Annual ACM SIGACT/SIGPLAN Symp. on Principles of Programming Languages, pages 451-464, ACM Press, 1993.
Available: DVI, PostScript, BibTeX Entry.
M. Gabbrielli and R. Giacobazzi and D. Montesi. Modular Logic Programs over Finite Domains. In D. Sacca' Editor, Proc. Eight Italian Conference on Logic Programming, pages 663-678, 1993.
Available: DVI, PostScript, BibTeX Entry.
R. Giacobazzi and S. K. Debray and G. Levi. Joining Abstract and Concrete Computations in Constraint Logic Programming. In M. Nivat, C. Rattray, T. Rus and G. Scollo Editors, Proc. of Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93, Workshops in Computing, pages 111-130, Springer-Verlag, 1993.
Available: DVI, PostScript, BibTeX Entry.
Pisa
1992 and older
R. Barbuti and R. Giacobazzi. A Bottom-up Polymorphic Type Inference in Logic Programming. Science of Computer Programming, 19(3):281-313, 1992.
Available: DVI, PostScript, BibTeX Entry.
R. Barbuti and M. Codish and R. Giacobazzi and G. Levi. Modelling Prolog Control. In Proc. Twentieth Annual ACM SIGACT/SIGPLAN Symp. on Principles of Programming Languages, pages 95-104, ACM Press, 1992.
Available: DVI, PostScript, BibTeX Entry.
R. Barbuti and M. Codish and R. Giacobazzi and M. Maher. Oracle Semantics for PROLOG. In H. Kirchner and G. Levi Editors, Algebraic and Logic Programming, Proceedings of the Third International Conference, volume 632 of Lecture Notes in Computer Science, pages 100-114, Springer-Verlag, 1992.
Available: DVI, PostScript, BibTeX Entry.
R. Giacobazzi and L. Ricci. Detecting Determinate Computations by a Bottom-up Abstract Interpretation. In Proc. of the European Symp. on Programming, ESOP'92, volume 582 of Lecture Notes in Computer Science, pages 167-181, Springer-Verlag, 1992.
Available: DVI, PostScript, BibTeX Entry.
R. Giacobazzi and S. K. Debray and G. Levi. A Generalized Semantics for Constraint Logic Programs. In Proceedings of the International Conference on Fifth Generation Computer Systems 1992, pages 581-591, 1992.
Available: DVI, PostScript, BibTeX Entry.
R. Giacobazzi. The Unfolding Semantics for Constraint Logic Programs. In P. Asirelli Editor, Proc. Sixth Italian Conference on Logic Programming, pages 425-436, 1991.
Available: DVI, PostScript, BibTeX Entry.
Ph.D. Thesis
R. Giacobazzi. Semantic Aspects of Logic Program Analysis. Dipartimento di Informatica, Univ. di Pisa, TD-18/93, 1993.
Available: DVI, BibTeX Entry.
Copyright Notice
The documents distributed have been provided by the contributing authors as a means to ensure timely dissemination of technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.