Joseph R. Kiniry

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,156 of 1,227 by trust here, #512 by citations
• Computational Theory and Mathematics — 7 citations into it; #8,664 of 12,182 by trust here, #10,349 by citations
• Information Systems — 6 citations into it

Whom Joseph R. Kiniry 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 Joseph R. Kiniry overall

1. K. Rustan
2. M. Leino

Papers from Joseph R. Kiniry's perspective

Ordered by how strongly the researchers Joseph R. Kiniry 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. Houdini, an Annotation Assistant for ESC/Java (FME)
4. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
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