Jan Wen Voung

Hardware and Architecture · 2007

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

Subfields

Whom Jan Wen Voung trusts overall

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

  1. Cormac Flanagan
  2. Shaz Qadeer
  3. Stephen N. Freund
  4. Jong-Deok Choi
  5. Dinghao Wu
  6. Dawson R. Engler

Who trusts Jan Wen Voung overall

  1. Cormac Flanagan

Papers from Jan Wen Voung's perspective

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

  1. Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Efficient and precise datarace detection for multithreaded object-oriented programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. RacerX: effective, static detection of race conditions and deadlocks (Symposium on Operating Systems Principles)
  4. Atomizer: a dynamic atomicity checker for multithreaded programs (18th International Parallel and Distributed Processing Symposium, 2004. Proceedings.)
  5. ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Effective static race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. KISS: keep it simple and sequential (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. A parameterized type system for race-free Java programs (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  9. Object race detection (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  10. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers