Patrick Maxim Rondon

Computational Theory and Mathematics · 2008

A researcher in the Science corpus: 1 paper; trusts 9 researchers and is trusted by 16 researchers here, as inferred from the citation graph.

Subfields

Whom Patrick Maxim Rondon trusts overall

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

  1. Cormac Flanagan
  2. Thomas Ball
  3. Thomas A. Henzinger
  4. Sriram K. Rajamani
  5. Ranjit Jhala
  6. Rupak Majumdar
  7. Antoine Miné
  8. Edmund M. Clarke
  9. Kenneth L. McMillan
  10. Shaz Qadeer

Who trusts Patrick Maxim Rondon overall

  1. Panagiotis Vekris
  2. Irene Vlassi Pandi
  3. Avik Chaudhuri
  4. Niki Vazou
  5. Ranjit Jhala
  6. Nikhil Swamy
  7. Benjamin Cosman
  8. Earl T. Barr
  9. Eric L. Seidel
  10. A. Gordon

Papers from Patrick Maxim Rondon's perspective

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

  1. The SLAM project: debugging system software via static analysis
  2. Abstractions from proofs (ACM-SIGACT Symposium on Principles of Programming Languages)
  3. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  4. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  5. Simplify: a theorem prover for program checking (JACM)
  6. Lazy abstraction
  7. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. Automatic predicate abstraction of C programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION

Their papers