Cristiano Calcagno

Available identifiers

zbMath Open calcagno.cristianoMaRDI QIDQ964497

List of research outcomes

Publication	Date of Publication	Type
A polymorphic modal type system for lisp-like multi-staged languages	2017-08-21	Paper
Permission accounting in separation logic	2017-07-14	Paper
Context logic and tree update	2017-07-14	Paper
Certificates and Separation Logic	2016-11-09	Paper
Freefinement	2015-09-11	Paper
Compositional shape analysis by means of bi-abduction	2015-07-03	Paper
Classical BI	2015-07-03	Paper
Stratified operational semantics for safety and correctness of the region calculus	2015-03-17	Paper
Context logic as modal logic	2014-09-12	Paper
Cyclic proofs of program termination in separation logic	2014-09-12	Paper
Compositional Shape Analysis by Means of Bi-Abduction	2014-02-17	Paper
Local Reasoning about Data Update	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2852352	2013-10-08	Paper
Classical BI: Its Semantics and Proof Theory	2010-07-27	Paper
Adjunct elimination in context logic for trees	2010-04-22	Paper
Automatic Parallelization with Separation Logic	2009-03-31	Paper
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic	2009-03-12	Paper
Modular Safety Checking for Fine-Grained Concurrency	2009-03-03	Paper
Scalable Shape Analysis for Systems Code	2008-07-15	Paper
Adjunct Elimination in Context Logic for Trees	2008-05-15	Paper
Shape Analysis for Composite Data Structures	2007-11-29	Paper
Programming Languages and Systems	2007-09-28	Paper
Programming Languages and Systems	2006-10-20	Paper
Deciding validity in a spatial logic for trees	2006-01-25	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science	2005-08-12	Paper
Two-level languages for program optimization	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4472540	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4474211	2004-08-04	Paper
Program logic and equivalence in the presence of garbage collection.	2003-05-25	Paper
Syntactic type soundness results for the region calculus	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q2769428	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2754131	2001-11-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Cristiano Calcagno