Dino Distefano

Artificial Intelligence · 2006–2015

A researcher in the Science corpus: 3 papers; trusts 4 researchers and is trusted by 2 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 19 citations into it; #28,787 of 35,345 by trust here, #31,361 by citations
• Computational Theory and Mathematics — 15 citations into it; #9,829 of 12,182 by trust here, #8,294 by citations
• Computer Networks and Communications — 9 citations into it
• Software — 9 citations into it; #941 of 1,227 by trust here, #870 by citations
• Program Analysis & Verification — 8 citations into it

Whom Dino Distefano trusts overall

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

1. Peter W. O'Hearn
2. Ranjit Jhala
3. Thomas Ball
4. John C. Reynolds
5. Cristiano Calcagno
6. Josh Berdine
7. Rupak Majumdar
8. Thomas A. Henzinger

Who trusts Dino Distefano overall

1. Viktor Vafeiadis
2. Bart P. F. Jacobs
3. Matthew J. Parkinson
4. Cristiano Calcagno

Papers from Dino Distefano's perspective

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

1. Lazy abstraction
2. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
3. The ASTREÉ Analyzer
4. Thorough static analysis of device drivers (European Conference on Computer Systems)
5. Software model checking (CSUR)
6. BI as an assertion language for mutable data structures (SIGP)
7. Compositional shape analysis by means of bi-abduction (ACM-SIGACT Symposium on Principles of Programming Languages)
8. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
9. Resources, Concurrency and Local Reasoning (International Conference on Concurrency Theory)
10. The SLAM project: debugging system software via static analysis

Their papers

• Compositional shape analysis by means of bi-abduction (2009) — 469 citations
• A Local Shape Analysis Based on Separation Logic (2006) — 354 citations
• Moving Fast with Software Verification (2015) — 336 citations