Arie Gurfinkel

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

Whom Arie Gurfinkel trusts overall

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

  1. Dirk Beyer
  2. Chris Lattner
  3. George C. Necula
  4. M. Erkan Keremoglu
  5. Antoine Miné
  6. Scott McPeak

Who trusts Arie Gurfinkel overall

  1. Ivica Nikolic
  2. Aashish Kolluri

Papers from Arie Gurfinkel's perspective

Ordered by how strongly the researchers Arie Gurfinkel 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