Xi Wang

ACM-SIGPLAN Symposium on Programming Language Design and Implementation · with Anderson · 2015

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

Whom Xi Wang trusts

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

  1. Xavier Leroy (in Computational Theory and Mathematics)
  2. Seif Haridi (in Algorithms & Complexity)
  3. Daniel Jackson (in Artificial Intelligence)

Who trusts Xi Wang

  1. Ethan Buchman (in Computer Networks and Communications)

Papers from Xi Wang's perspective

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

  1. Finding and understanding bugs in C compilers
  2. Paxos made live: an engineering perspective (ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing)
  3. Formal verification of a realistic compiler
  4. In Search of an Understandable Consensus Algorithm (USENIX Annual Technical Conference)
  5. Compiler validation via equivalence modulo inputs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Software Abstractions - Logic, Language, and Analysis
  7. The Pi-Calculus - a theory of mobile processes
  8. Risk-Based Approach to Mission-Critical Software Testing (Computer)
  9. Distributed Algorithms
  10. seL4: Formal Verification of an OS Kernel

Their papers