Jong-Deok Choi

Artificial Intelligence · 2002–2003

A researcher in the Science corpus: 2 papers; trusts 2 researchers and is trusted by 9 researchers here, as inferred from the citation graph.

Subfields

Whom Jong-Deok Choi trusts overall

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

  1. Friedemann Mattern
  2. Cormac Flanagan
  3. Stephen N. Freund
  4. Chandrasekhar Boyapati

Who trusts Jong-Deok Choi overall

  1. Cormac Flanagan
  2. Koushik Sen
  3. Shaz Qadeer
  4. Stephen N. Freund
  5. Dawson R. Engler
  6. David Hovemeyer
  7. Chandrasekhar Boyapati
  8. Jan Wen Voung
  9. Zhenmin Li
  10. Shan Lu

Papers from Jong-Deok Choi's perspective

Ordered by how strongly the researchers Jong-Deok Choi 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. Virtual Time and Global States of Distributed Systems
  3. A parameterized type system for race-free Java programs (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  4. Object race detection (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  5. Language support for lightweight transactions (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  6. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. Efficient and precise datarace detection for multithreaded object-oriented programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. Where are your Manners? Sharing Best Community Practices in the Web 2.0
  10. Forum

Their papers