John Whaley

Hardware and Architecture · 2000–2006

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

Subfields

• Hardware and Architecture — 17 citations into it
• Artificial Intelligence — 14 citations into it; #6,544 of 35,345 by trust here, #12,580 by citations
• Computer Networks and Communications — 8 citations into it
• Software — 6 citations into it; #95 of 1,227 by trust here, #236 by citations

Whom John Whaley trusts overall

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

1. Ondřej Lhoták
2. Thomas Ball
3. R. Deline
4. Dawson R. Engler
5. Glenn Ammons
6. Sriram K. Rajamani
7. Laurie J. Hendren
8. Manuvir Das
9. Manuel Fähndrich
10. Rastislav Bodík

Who trusts John Whaley overall

1. Martin Bravenboer
2. Zhendong Su
3. Yannis Smaragdakis
4. Gary Wassermann
5. Benjamin Livshits
6. Yichen Xie
7. Ravi Mangal
8. Nenad Jovanovic
9. Raymond P. L. Buse
10. Varot Premtoon

Papers from John Whaley's perspective

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

1. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
2. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
3. Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
4. Unification-based pointer analysis with directional assignments (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
5. Automatically validating temporal safety properties of interfaces (SPIN)
6. Ownership types for safe programming: preventing data races and deadlocks (Conference on Object-Oriented Programming Systems, Languages, and Applications)
7. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
8. KISS: keep it simple and sequential (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
9. Efficient and precise datarace detection for multithreaded object-oriented programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
10. A parameterized type system for race-free Java programs (Conference on Object-Oriented Programming Systems, Languages, and Applications)

Their papers

• The Jalapeño virtual machine (2000) — 600 citations
• Cloning-based context-sensitive pointer alias analysis using binary decision diagrams (2004) — 662 citations
• Effective static race detection for Java (2006) — 602 citations
• Automatic extraction of object-oriented component interfaces (2002) — 304 citations