Francesco Logozzo

56 papers A* 4A 4B 16C 1Misc 3Journal 10Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Revealing Sources of (Memory) Errors via Backward Analysis. Proc. ACM Program. Lang. Flavio Ascari, Roberto Bruni, Roberta Gori, Francesco Logozzo
2023	—	`ch.`	How to Make Taint Analysis Precise. Challenges of Software Verification Francesco Logozzo, Ibrahim Mohamed
2023	J	`jnl`	Sufficient Incorrectness Logic: SIL and Separation SIL. CoRR Flavio Ascari, Roberto Bruni, Roberta Gori, Francesco Logozzo
2019	J	`jnl`	Scaling static analyses at Facebook. Commun. ACM Dino Distefano, Manuel Fähndrich, Francesco Logozzo, Peter W. O'Hearn
2017	J	`jnl`	Automatic Contract Insertion with CCBot. IEEE Trans. Software Eng. Scott A. Carr, Francesco Logozzo, Mathias Payer
2016	J	`jnl`	An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation. ACM Trans. Program. Lang. Syst. Stefano Dissegna, Francesco Logozzo, Francesco Ranzato
2015	A*	`conf`	Analyzing Program Analyses. POPL Roberto Giacobazzi, Francesco Logozzo, Francesco Ranzato
2014	J	`jnl`	An Abstract Interpretation-based Model of Tracing Just-In-Time Compilation. CoRR Stefano Dissegna, Francesco Logozzo, Francesco Ranzato
2014	J	`jnl`	SAS2013 artifact submission experience report. ACM SIGPLAN Notices Manuel Fähndrich, Francesco Logozzo
2014	A*	`conf`	Tracing compilation by abstract interpretation. POPL Stefano Dissegna, Francesco Logozzo, Francesco Ranzato
2014	A*	`conf`	Verification modulo versions: towards usable verification. PLDI Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fähndrich, Sam Blackshear
2013	B	`conf`	Automatic Inference of Necessary Preconditions. VMCAI Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo
2013	—	`conf`	Automatic Repair of Overflowing Expressions with Abstract Interpretation. Festschrift for Dave Schmidt Francesco Logozzo, Matthieu Martel
2013	—	`conf`	Practical specification and verification with code contracts. HILT Francesco Logozzo
2013	B	`ed.`	Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings SAS Francesco Logozzo, Manuel Fähndrich
2013	—	`conf`	Technology for inferring contracts from code. HILT Francesco Logozzo
2012	—	`conf`	A semantic integrated development environment. SPLASH Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot
2012	A	`conf`	An abstract interpretation framework for refactoring with application to extract methods with contracts. OOPSLA Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett
2012	B	`conf`	Inference of Necessary Field Conditions with Abstract Interpretation. APLAS Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich
2012	—	`conf`	Integrating a set of contract checking tools into visual studio. TOPI@ICSE Manuel Fähndrich, Michael Barnett, Daan Leijen, Francesco Logozzo
2012	A	`conf`	Modular and verified automatic program repair. OOPSLA Francesco Logozzo, Thomas Ball
2012	—	`conf`	Our Experience with the CodeContracts Static Checker - (Invited Tutorial). VSTTE Francesco Logozzo
2011	A*	`conf`	A parametric segmentation functor for fully automatic and scalable array content analysis. POPL Patrick Cousot, Radhia Cousot, Francesco Logozzo
2011	—	`conf`	Checking Compatibility of Bit Sizes in Floating Point Comparison Operations. NSAD@SAS Manuel Fähndrich, Francesco Logozzo
2011	B	`conf`	Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation - (Invited Talk). VMCAI Francesco Logozzo
2011	B	`conf`	Precondition Inference from Intermittent Assertions and Application to Contracts on Collections. VMCAI Patrick Cousot, Radhia Cousot, Francesco Logozzo
2011	J	`jnl`	SubPolyhedra: a family of numerical abstract domains for the (more) scalable inference of linear inequalities. Int. J. Softw. Tools Technol. Transf. Vincent Laviron, Francesco Logozzo
2010	Misc	`conf`	Embedded contract languages. SAC Manuel Fähndrich, Michael Barnett, Francesco Logozzo
2010	J	`jnl`	Pentagons: A weakly relational abstract domain for the efficient validation of array accesses. Sci. Comput. Program. Francesco Logozzo, Manuel Fähndrich
2010	B	`conf`	RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization. CC Francesco Logozzo, Herman Venter
2010	A	`conf`	SPUR: a trace-based JIT compiler for CIL. OOPSLA Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter
2010	—	`conf`	Static Contract Checking with Abstract Interpretation. FoVeOOS Manuel Fähndrich, Francesco Logozzo
2009	J	`jnl`	Class invariants as abstract interpretation of trace semantics. Comput. Lang. Syst. Struct. Francesco Logozzo
2009	—	`conf`	Exploiting the synergy between automated-test-generation and programming-by-contract. ICSE Companion Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann
2009	B	`conf`	Inferring Dataflow Properties of User Defined Table Processors. SAS Songtao Xia, Manuel Fähndrich, Francesco Logozzo
2009	B	`conf`	Refining Abstract Interpretation-Based Static Analyses with Hints. APLAS Vincent Laviron, Francesco Logozzo
2009	B	`conf`	SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities. VMCAI Vincent Laviron, Francesco Logozzo
2008	B	`conf`	On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. CC Francesco Logozzo, Manuel Fähndrich
2008	Misc	`conf`	Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. SAC Francesco Logozzo, Manuel Fähndrich
2008	A	`conf`	Safer unsafe code for .NET. OOPSLA Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich
2008	B	`ed.`	Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings VMCAI Francesco Logozzo, Doron A. Peled, Lenore D. Zuck
2007	B	`conf`	Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes. VMCAI Francesco Logozzo
2007	—	`conf`	Formal Techniques for Java-Like Programs. ECOOP Workshops John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter
2006	—	`conf`	Program Analysis for Security and Privacy. ECOOP Workshops Marco Pistoia, Francesco Logozzo
2006	B	`conf`	Semantic Hierarchy Refactoring by Abstract Interpretation. VMCAI Francesco Logozzo, Agostino Cortesi
2005	—	`conf`	Abstract Interpretation and Object-oriented Programming: Quo Vadis? AIOOL@VMCAI Francesco Logozzo, Agostino Cortesi
2005	C	`conf`	Abstract Interpretation-Based Verification of Non-functional Requirements. COORDINATION Agostino Cortesi, Francesco Logozzo
2005	B	`conf`	Loop Invariants on Demand. APLAS K. Rustan M. Leino, Francesco Logozzo
2005	—	`conf`	Preface. AIOOL@VMCAI Agostino Cortesi, Francesco Logozzo
2005	—	`ed.`	Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005 AIOOL@VMCAI Agostino Cortesi, Francesco Logozzo
2004	—	`conf`	An Approach to Behavioral Subtyping Based on Static Analysis. TACoS Francesco Logozzo
2004	—	`—`	Analyse statique modulaire des langages à objet. (Modular static analysis of object-oriented languages). Francesco Logozzo
2004	Misc	`conf`	Approximating module semantics with constraints. SAC Francesco Logozzo
2004	B	`conf`	Automatic Inference of Class Invariants. VMCAI Francesco Logozzo
2004	—	`conf`	Separate Compositional Analysis of Class-Based Object-Oriented Languages. AMAST Francesco Logozzo
2003	B	`conf`	Class-Level Modular Analysis for Object Oriented Languages. SAS Francesco Logozzo