Cristiano Calcagno

Artificial Intelligence · 2005–2015

A researcher in the Science corpus: 6 papers; trusts 13 researchers and is trusted by 5 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 31 citations into it; #16,403 of 35,345 by trust here, #19,873 by citations
• Computational Theory and Mathematics — 26 citations into it; #6,819 of 12,182 by trust here, #5,954 by citations
• Program Analysis & Verification — 14 citations into it
• Computer Networks and Communications — 13 citations into it; #6,718 of 9,886 by trust here, #6,788 by citations
• Software — 12 citations into it; #696 of 1,227 by trust here, #906 by citations
• Hardware and Architecture — 10 citations into it; #1,120 of 1,551 by trust here, #1,153 by citations
• Natural Language Processing — 6 citations into it

Whom Cristiano Calcagno trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Peter W. O'Hearn
2. John C. Reynolds
3. S. Brookes
4. Ranjit Jhala
5. Matthew J. Parkinson
6. Thomas Ball
7. Josh Berdine
8. Hongseok Yang
9. John Tang Boyland
10. Rupak Majumdar

Who trusts Cristiano Calcagno overall

1. Viktor Vafeiadis
2. Matthew J. Parkinson
3. Yu Wang
4. Peter W. O'Hearn
5. Josh Berdine
6. Andrew C. Scott
7. Dino Distefano
8. Fengjuan Gao

Papers from Cristiano Calcagno's perspective

Ordered by how strongly the researchers Cristiano Calcagno trusts endorse each paper. Same corpus, a different order for every researcher.

1. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
2. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
3. Lazy abstraction
4. The ASTREÉ Analyzer
5. Thorough static analysis of device drivers (European Conference on Computer Systems)
6. Verification of Object-Oriented Programs with Invariants (Journal of Object Technology)
7. Influence of cultivation temperature on the ligninolytic activity of selected fungal strains
8. Cooperating sequential processes
9. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
10. Permission accounting in separation logic (ACM-SIGACT Symposium on Principles of Programming Languages)

Their papers

• Symbolic Execution with Separation Logic (2005) — 370 citations
• Permission accounting in separation logic (2005) — 454 citations
• Compositional shape analysis by means of bi-abduction (2009) — 469 citations
• Moving Fast with Software Verification (2015) — 336 citations
• Local Action and Abstract Separation Logic (2007) — 296 citations
• Smallfoot: Modular Automatic Assertion Checking with Separation Logic (2005) — 424 citations