Yulei Sui

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 Yulei Sui trusts overall

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

  1. Thomas Ball
  2. Chris Lattner
  3. Sriram K. Rajamani
  4. Gregory Tassey
  5. Eric Bodden
  6. Ondřej Lhoták

Papers from Yulei Sui's perspective

Ordered by how strongly the researchers Yulei Sui 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