Kenneth L. McMillan

Computational Theory and Mathematics · 2001–2006

A researcher in the Science corpus: 6 papers; trusts 19 researchers and is trusted by 37 researchers here, as inferred from the citation graph.

Subfields

• Computational Theory and Mathematics — 14 citations into it; #509 of 12,182 by trust here, #2,298 by citations
• Software — 9 citations into it; #44 of 1,227 by trust here, #256 by citations
• Electrical and Electronic Engineering — 5 citations into it
• Hardware and Architecture — 5 citations into it

Whom Kenneth L. McMillan trusts overall

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

1. Thomas A. Henzinger
2. Matthew W. Moskewicz
3. Thomas Ball
4. Ranjit Jhala
5. Edmund M. Clarke
6. E. Goldberg
7. Sriram K. Rajamani
8. Lintao Zhang
9. Rupak Majumdar
10. Sagar Chaki

Who trusts Kenneth L. McMillan overall

1. Aaron R. Bradley
2. Armin Biere
3. Clark W. Barrett
4. Edmund M. Clarke
5. Thomas A. Henzinger
6. Ranjit Jhala
7. Niklas Eén
8. Roberto Sebastiani
9. Dirk Beyer
10. William Klieber

Papers from Kenneth L. McMillan's perspective

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

1. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
2. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
3. Lazy abstraction
4. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
5. Boolean and Cartesian abstraction for model checking C programs (International Journal on Software Tools for Technology Transfer (STTT))
6. The SLAM project: debugging system software via static analysis
7. Abstractions from proofs (ACM-SIGACT Symposium on Principles of Programming Languages)
8. Automatically validating temporal safety properties of interfaces (SPIN)
9. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
10. Interpolation and SAT-Based Model Checking (International Conference on Computer Aided Verification)

Their papers

• Lazy Abstraction with Interpolants (2006) — 494 citations
• Interpolation and SAT-Based Model Checking (2003) — 1,038 citations
• Abstractions from proofs (2004) — 465 citations
• An interpolating theorem prover (2005) — 306 citations
• Applying SAT Methods in Unbounded Symbolic Model Checking (2002) — 401 citations
• Theory of latency-insensitive design (2001) — 447 citations