Anvesh Komuravelli

Artificial Intelligence · 2015

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

Subfields

• Artificial Intelligence — 5 citations into it
• Computational Theory and Mathematics — 5 citations into it
• Software — 5 citations into it

Whom Anvesh Komuravelli trusts overall

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

1. Dirk Beyer
2. Chris Lattner

Papers from Anvesh Komuravelli's perspective

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

1. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (International Conference on Compiler Construction)
2. A Tool for Checking ANSI-C Programs (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
3. LLVM: a compilation framework for lifelong program analysis & transformation
4. The octagon abstract domain (Proceedings Eighth Working Conference on Reverse Engineering)
5. VCC: A Practical System for Verifying Concurrent C (International Conference on Theorem Proving in Higher Order Logics)
6. CPAchecker: A Tool for Configurable Software Verification (International Conference on Computer Aided Verification)
7. Lazy abstraction
8. The SLAM project: debugging system software via static analysis
9. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
10. Symbolic execution and program testing

Their papers

• The SeaHorn Verification Framework (2015) — 350 citations