David R. Cok

Software · 2003–2004

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

Subfields

• Software — 11 citations into it; #1,155 of 1,227 by trust here, #512 by citations
• Computational Theory and Mathematics — 7 citations into it; #8,663 of 12,182 by trust here, #10,349 by citations
• Information Systems — 6 citations into it

Whom David R. Cok trusts overall

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

1. Greg Nelson
2. Cormac Flanagan
3. K. Rustan M. Leino

Who trusts David R. Cok overall

1. K. Rustan
2. M. Leino
3. Jean-Christophe Filliâtre
4. Cormac Flanagan
5. François Bobot
6. Mike Barnett

Papers from David R. Cok's perspective

Ordered by how strongly the researchers David R. Cok 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. Simplify: a theorem prover for program checking (JACM)
3. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
4. Houdini, an Annotation Assistant for ESC/Java (FME)
5. High Integrity Software - The SPARK Approach to Safety and Security
6. Verification of Object-Oriented Programs with Invariants (Journal of Object Technology)
7. Bug isolation via remote program sampling (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
8. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
9. The unified modeling language reference manual
10. Finding latent code errors via machine learning over program executions

Their papers

• ESC/Java2: Uniting ESC/Java and JML (2004) — 295 citations
• An overview of JML tools and applications (2003) — 944 citations