Cormac Flanagan

Artificial Intelligence · 1997–2009

A researcher in the Science corpus: 10 papers; trusts 29 researchers and is trusted by 58 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 27 citations into it; #3,389 of 35,345 by trust here, #10,566 by citations
• Hardware and Architecture — 24 citations into it; #41 of 1,551 by trust here, #331 by citations
• Software — 15 citations into it; #152 of 1,227 by trust here, #345 by citations
• Computer Networks and Communications — 14 citations into it; #3,009 of 9,886 by trust here, #6,498 by citations
• Computational Theory and Mathematics — 9 citations into it; #727 of 12,182 by trust here, #3,117 by citations
• Information Systems — 7 citations into it; #724 of 8,771 by trust here, #2,361 by citations

Whom Cormac Flanagan trusts overall

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

1. Greg Nelson
2. Robert O'Callahan
3. Christoph von Praun
4. Jong-Deok Choi
5. Thomas R. Gross
6. Thomas Ball
7. Chandrasekhar Boyapati
8. David Detlefs
9. Stephen N. Freund
10. Lilian Burdy

Who trusts Cormac Flanagan overall

1. Jeremy G. Siek
2. Shaz Qadeer
3. Patrick Maxim Rondon
4. Koushik Sen
5. M. Musuvathi
6. Greg Nelson
7. Dawson R. Engler
8. Chandrasekhar Boyapati
9. Shan Lu
10. Walid Taha

Papers from Cormac Flanagan's perspective

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

1. Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
2. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
3. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
4. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
5. Simplify: a theorem prover for program checking (JACM)
6. Bandera: extracting finite-state models from Java source code (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)
7. Lazy abstraction
8. Automatic predicate abstraction of C programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
9. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
10. Efficient and precise datarace detection for multithreaded object-oriented programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers

• Houdini, an Annotation Assistant for ESC/Java (2001) — 498 citations
• Hybrid type checking (2006) — 316 citations
• Predicate abstraction for software verification (2002) — 332 citations
• Dynamic partial-order reduction for model checking software (2005) — 755 citations
• FastTrack: efficient and precise dynamic race detection (2009) — 805 citations
• Atomizer: a dynamic atomicity checker for multithreaded programs (2004) — 497 citations
• A type and effect system for atomicity (2003) — 404 citations
• DrScheme: a programming environment for Scheme (2002) — 344 citations
• Type-based race detection for Java (2000) — 433 citations
• Effective Static Debugging via Compential Set-Based Analysis (1997)