Jorge A. Navas

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 Jorge A. Navas trusts

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

  1. Dirk Beyer (in Software)
  2. Chris Lattner (in Artificial Intelligence)
  3. M. Erkan Keremoglu (in Computational Theory and Mathematics)

Papers from Jorge A. Navas's perspective

Ordered by how strongly the researchers Jorge A. Navas 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