Jingling Xue

International Conference on Compiler Construction · 2016

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

Whom Jingling Xue trusts overall

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

  1. Thomas Ball
  2. Chris Lattner
  3. Sriram K. Rajamani

Papers from Jingling Xue's perspective

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

  1. The SLAM project: debugging system software via static analysis
  2. LLVM: a compilation framework for lifelong program analysis & transformation
  3. Program Analysis and Specialization for the C Programming Language
  4. The Soot framework for Java program analysis: a retrospective
  5. The economic impacts of inadequate infrastructure for software testing
  6. A few billion lines of code later
  7. Automatically validating temporal safety properties of interfaces (SPIN)
  8. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. Unification-based pointer analysis with directional assignments (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)

Their papers