Weiwei Xiong

Information Systems · 2010

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

Subfields

Whom Weiwei Xiong trusts overall

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

  1. Andreas Zeller

Papers from Weiwei Xiong's perspective

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

  1. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  2. Isolating cause-effect chains from computer programs (SIGSOFT '02/FSE-10)
  3. From symptom to cause: localizing errors in counterexample traces
  4. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
  5. Kendo: efficient deterministic multithreading in software (International Conference on Architectural Support for Programming Languages and Operating Systems)
  6. CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
  7. Automatically validating temporal safety properties of interfaces (SPIN)
  8. ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers