Karen Yorav

Computational Theory and Mathematics · 2003–2005

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

Subfields

• Computational Theory and Mathematics — 6 citations into it; #3,689 of 12,182 by trust here, #6,798 by citations
• Software — 5 citations into it; #719 of 1,227 by trust here, #1,147 by citations

Whom Karen Yorav trusts overall

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

1. Edmund M. Clarke
2. David A. Patterson

Who trusts Karen Yorav overall

1. Armando Solar-Lezama
2. Rastislav Bodík
3. Dirk Beyer
4. Kenneth L. McMillan

Papers from Karen Yorav's perspective

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

1. Lazy abstraction
2. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
3. Simplify: a theorem prover for program checking (JACM)
4. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
5. A Tool for Checking ANSI-C Programs (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
6. Computer Architecture: A Quantitative Approach
7. Cha : Engineering an e cient SAT solver (Design Automation Conference)
8. Boolean and Cartesian abstraction for model checking C programs (International Journal on Software Tools for Technology Transfer (STTT))
9. Automatically validating temporal safety properties of interfaces (SPIN)
10. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)

Their papers

• SATABS: SAT-Based Predicate Abstraction for ANSI-C (2005) — 307 citations
• Behavioral consistency of C and Verilog programs using bounded model checking (2003) — 314 citations