Yoonsik Cheon

Software · 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 Yoonsik Cheon trusts overall

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

  1. Lilian Burdy
  2. Greg Nelson
  3. Sudheendra Hangal
  4. Yuriy Brun
  5. Michael D. Ernst
  6. Mike Barnett

Who trusts Yoonsik Cheon overall

  1. Christoph Csallner
  2. Chandrasekhar Boyapati
  3. Tao Xie
  4. Darko Marinov
  5. Yannis Smaragdakis
  6. Sarfraz Khurshid
  7. Cormac Flanagan
  8. Mike Barnett
  9. Wolfram Schulte
  10. Jean-Christophe Filliâtre

Papers from Yoonsik Cheon's perspective

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

  1. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
  3. High Integrity Software - The SPARK Approach to Safety and Security
  4. Verification of Object-Oriented Programs with Invariants (Journal of Object Technology)
  5. Bug isolation via remote program sampling (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Simplify: a theorem prover for program checking (JACM)
  7. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
  8. The unified modeling language reference manual
  9. Finding latent code errors via machine learning over program executions
  10. An overview of JML tools and applications (International Journal on Software Tools for Technology Transfer (STTT))

Their papers