Dino Distefano

MaRDI QIDQ2852077zbMATH OpenDBLPWikidataFDO

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
Compositional shape analysis by means of bi-abduction Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-07-03	Paper
Variance analyses from invariance analyses Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-09-12	Paper
Compositional shape analysis by means of bi-abduction Journal of the ACM	2014-02-17	Paper
Abstract graph transformation	2013-10-07	Paper
Runtime verification based on register automata Tools and Algorithms for the Construction and Analysis of Systems	2013-08-05	Paper
Automated cyclic entailment proofs in separation logic Lecture Notes in Computer Science	2011-07-29	Paper
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic Static Analysis	2009-03-12	Paper
Scalable Shape Analysis for Systems Code Computer Aided Verification	2008-07-15	Paper
Shape Analysis for Composite Data Structures Computer Aided Verification	2007-11-29	Paper
Safety and Liveness in Concurrent Pointer Programs Formal Methods for Components and Objects	2007-09-11	Paper
Automatic Termination Proofs for Programs with Shape-Shifting Heaps Computer Aided Verification	2007-09-05	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2007-05-02	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2006-10-20	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science Lecture Notes in Computer Science	2005-08-12	Paper
scientific article; zbMATH DE number 1569132 (Why is no real title available?)	2001-02-22	Paper

Research outcomes over time

This page was built for person: Dino Distefano