![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Francesco Logozzo
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2004
- [b1]Francesco Logozzo:
Analyse statique modulaire des langages à objet. (Modular static analysis of object-oriented languages). École Polytechnique, Palaiseau, France, 2004
Journal Articles
- 2019
- [j7]Dino Distefano, Manuel Fähndrich, Francesco Logozzo, Peter W. O'Hearn:
Scaling static analyses at Facebook. Commun. ACM 62(8): 62-70 (2019) - 2017
- [j6]Scott A. Carr, Francesco Logozzo, Mathias Payer:
Automatic Contract Insertion with CCBot. IEEE Trans. Software Eng. 43(8): 701-714 (2017) - 2016
- [j5]Stefano Dissegna, Francesco Logozzo, Francesco Ranzato:
An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation. ACM Trans. Program. Lang. Syst. 38(2): 7:1-7:50 (2016) - 2014
- [j4]Manuel Fähndrich, Francesco Logozzo:
SAS2013 artifact submission experience report. ACM SIGPLAN Notices 49(4S): 39-40 (2014) - 2011
- [j3]Vincent Laviron, Francesco Logozzo:
SubPolyhedra: a family of numerical abstract domains for the (more) scalable inference of linear inequalities. Int. J. Softw. Tools Technol. Transf. 13(6): 585-601 (2011) - 2010
- [j2]Francesco Logozzo, Manuel Fähndrich:
Pentagons: A weakly relational abstract domain for the efficient validation of array accesses. Sci. Comput. Program. 75(9): 796-807 (2010) - 2009
- [j1]Francesco Logozzo:
Class invariants as abstract interpretation of trace semantics. Comput. Lang. Syst. Struct. 35(2): 100-142 (2009)
Conference and Workshop Papers
- 2015
- [c41]Roberto Giacobazzi, Francesco Logozzo, Francesco Ranzato:
Analyzing Program Analyses. POPL 2015: 261-273 - 2014
- [c40]Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fähndrich, Sam Blackshear:
Verification modulo versions: towards usable verification. PLDI 2014: 294-304 - [c39]Stefano Dissegna, Francesco Logozzo, Francesco Ranzato:
Tracing compilation by abstract interpretation. POPL 2014: 47-60 - 2013
- [c38]Francesco Logozzo:
Practical specification and verification with code contracts. HILT 2013: 7-8 - [c37]Francesco Logozzo:
Technology for inferring contracts from code. HILT 2013: 13-14 - [c36]Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo:
Automatic Inference of Necessary Preconditions. VMCAI 2013: 128-148 - [c35]Francesco Logozzo, Matthieu Martel:
Automatic Repair of Overflowing Expressions with Abstract Interpretation. Festschrift for Dave Schmidt 2013: 341-357 - 2012
- [c34]Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich:
Inference of Necessary Field Conditions with Abstract Interpretation. APLAS 2012: 173-189 - [c33]Manuel Fähndrich, Michael Barnett, Daan Leijen, Francesco Logozzo:
Integrating a set of contract checking tools into visual studio. TOPI@ICSE 2012: 43-48 - [c32]Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot:
A semantic integrated development environment. SPLASH 2012: 15-16 - [c31]Francesco Logozzo, Thomas Ball:
Modular and verified automatic program repair. OOPSLA 2012: 133-146 - [c30]Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett:
An abstract interpretation framework for refactoring with application to extract methods with contracts. OOPSLA 2012: 213-232 - [c29]Francesco Logozzo:
Our Experience with the CodeContracts Static Checker - (Invited Tutorial). VSTTE 2012: 241-242 - 2011
- [c28]Patrick Cousot, Radhia Cousot, Francesco Logozzo:
A parametric segmentation functor for fully automatic and scalable array content analysis. POPL 2011: 105-118 - [c27]Francesco Logozzo:
Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation - (Invited Talk). VMCAI 2011: 19-22 - [c26]Patrick Cousot, Radhia Cousot, Francesco Logozzo:
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections. VMCAI 2011: 150-168 - [c25]Manuel Fähndrich, Francesco Logozzo:
Checking Compatibility of Bit Sizes in Floating Point Comparison Operations. NSAD@SAS 2011: 15-23 - 2010
- [c24]Francesco Logozzo, Herman Venter:
RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization. CC 2010: 66-83 - [c23]Manuel Fähndrich, Francesco Logozzo:
Static Contract Checking with Abstract Interpretation. FoVeOOS 2010: 10-30 - [c22]Michael Bebenita, Florian Brandner
, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter:
SPUR: a trace-based JIT compiler for CIL. OOPSLA 2010: 708-725 - [c21]Manuel Fähndrich, Michael Barnett, Francesco Logozzo:
Embedded contract languages. SAC 2010: 2103-2110 - 2009
- [c20]Vincent Laviron, Francesco Logozzo:
Refining Abstract Interpretation-Based Static Analyses with Hints. APLAS 2009: 343-358 - [c19]Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann:
Exploiting the synergy between automated-test-generation and programming-by-contract. ICSE Companion 2009: 401-402 - [c18]Songtao Xia, Manuel Fähndrich, Francesco Logozzo:
Inferring Dataflow Properties of User Defined Table Processors. SAS 2009: 19-35 - [c17]Vincent Laviron, Francesco Logozzo:
SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities. VMCAI 2009: 229-244 - 2008
- [c16]Francesco Logozzo, Manuel Fähndrich:
On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. CC 2008: 197-212 - [c15]Pietro Ferrara
, Francesco Logozzo, Manuel Fähndrich:
Safer unsafe code for .NET. OOPSLA 2008: 329-346 - [c14]Francesco Logozzo, Manuel Fähndrich:
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. SAC 2008: 184-188 - 2007
- [c13]John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter:
Formal Techniques for Java-Like Programs. ECOOP Workshops 2007: 99-107 - [c12]Francesco Logozzo:
Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes. VMCAI 2007: 283-298 - 2006
- [c11]Marco Pistoia, Francesco Logozzo:
Program Analysis for Security and Privacy. ECOOP Workshops 2006: 59-68 - [c10]Francesco Logozzo, Agostino Cortesi
:
Semantic Hierarchy Refactoring by Abstract Interpretation. VMCAI 2006: 313-331 - 2005
- [c9]K. Rustan M. Leino, Francesco Logozzo:
Loop Invariants on Demand. APLAS 2005: 119-134 - [c8]Agostino Cortesi
, Francesco Logozzo:
Abstract Interpretation-Based Verification of Non-functional Requirements. COORDINATION 2005: 49-62 - [c7]Agostino Cortesi
, Francesco Logozzo:
Preface. AIOOL@VMCAI 2005: 1-2 - [c6]Francesco Logozzo, Agostino Cortesi
:
Abstract Interpretation and Object-oriented Programming: Quo Vadis? AIOOL@VMCAI 2005: 75-84 - 2004
- [c5]Francesco Logozzo:
Separate Compositional Analysis of Class-Based Object-Oriented Languages. AMAST 2004: 334-348 - [c4]Francesco Logozzo:
Approximating module semantics with constraints. SAC 2004: 1490-1495 - [c3]Francesco Logozzo:
Automatic Inference of Class Invariants. VMCAI 2004: 211-222 - [c2]Francesco Logozzo:
An Approach to Behavioral Subtyping Based on Static Analysis. TACoS 2004: 157-170 - 2003
- [c1]Francesco Logozzo:
Class-Level Modular Analysis for Object Oriented Languages. SAS 2003: 37-54
Editorship
- 2013
- [e3]Francesco Logozzo, Manuel Fähndrich:
Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings. Lecture Notes in Computer Science 7935, Springer 2013, ISBN 978-3-642-38855-2 [contents] - 2008
- [e2]Francesco Logozzo, Doron A. Peled, Lenore D. Zuck:
Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings. Lecture Notes in Computer Science 4905, Springer 2008, ISBN 978-3-540-78162-2 [contents] - 2005
- [e1]Agostino Cortesi, Francesco Logozzo:
Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005. Electronic Notes in Theoretical Computer Science 131, Elsevier 2005 [contents]
Informal and Other Publications
- 2023
- [i2]Flavio Ascari, Roberto Bruni, Roberta Gori, Francesco Logozzo:
Sufficient Incorrectness Logic: SIL and Separation SIL. CoRR abs/2310.18156 (2023) - 2014
- [i1]Stefano Dissegna, Francesco Logozzo, Francesco Ranzato:
An Abstract Interpretation-based Model of Tracing Just-In-Time Compilation. CoRR abs/1411.7839 (2014)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-10 21:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint