Francesco Logozzo

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Automatic repair of overflowing expressions with abstract interpretation	2021-06-21	Paper
Automatic repair of overflowing expressions with abstract interpretation (available as arXiv preprint)	2021-06-21	Paper
Class invariants as abstract interpretation of trace semantics Computer Languages, Systems & Structures	2018-05-16	Paper
Analyzing program analyses Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-09-29	Paper
Checking compatibility of bit sizes in floating point comparison operations Electronic Notes in Theoretical Computer Science	2014-07-22	Paper
A parametric segmentation functor for fully automatic and scalable array content analysis Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-04-10	Paper
Tracing compilation by abstract interpretation Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2014-04-10	Paper
Precondition inference from intermittent assertions and application to contracts on collections Lecture Notes in Computer Science	2011-02-15	Paper
Static contract checking with abstract interpretation Formal Verification of Object-Oriented Software	2011-01-21	Paper
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses Science of Computer Programming	2010-08-18	Paper
Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science	2009-05-15	Paper
SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities Lecture Notes in Computer Science	2009-02-10	Paper
Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes Lecture Notes in Computer Science	2008-04-04	Paper
Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science	2007-02-12	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2006-10-20	Paper
Algebraic Methodology and Software Technology Lecture Notes in Computer Science	2005-08-25	Paper
scientific article; zbMATH DE number 2090839 (Why is no real title available?)	2004-08-13	Paper

Research outcomes over time

This page was built for person: Francesco Logozzo