Wonchan Lee (이원찬/李源璨) Research Associate, ROSAEC(Research On Software Analysis for Error-free Computing) Center Seoul National University Room 312-2 Bldg 302, Seoul National University 1 Gwanak-ro Gwanak-gu Seoul 151-742, KOREA Email: Phone: +82-2-880-1865 Here is my CV.

Research Interests

I am interested in static analysis and verfication techniques for software safety and reliability. In particular, I am interested in abstract interpretation-based static analysis and learning-based verfication techniques.

Education

• Aug 2009, M.S., Knowledge and Information Net for Sharing Laboratory, Electrical Engineering and Computer Science, Seoul National University
• Aug 2007, B.S. cum laude, School of Electrical Engineering and Computer Science, Seoul National University

Publications

• Termination Analysis with Algorithmic Learning
  Wonchan Lee, Bow-Yaw Wang, and Kwangkeun Yi
  To appear in CAV 2012: The 24th International Conference on Computer Aided Verification
  [pdf]
• Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
  Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, and Kwangkeun Yi
  A journal version of TACAS 2011
  To appear in Journal of Logical Methods in Computer Science (LMCS)
  [pdf]
• The Implicit Calculus: A New Foundation for Generic Programming
  Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, and Kwangkeun Yi
  To appear in PLDI 2012: The 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation
  [pdf]
• Design and Implementation of Sparse Global Analyses for C-like Languages
  Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, and Kwangkeun Yi
  To appear in PLDI 2012: The 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation
  [pdf]
• Sound Non-Statistical Clustering of Static Analysis Alarms
  Woosuk Lee, Wonchan Lee, and Kwangkeun Yi
  VMCAI 2012: The 13th International Conference on Verification, Model Checking, and Abstract Interpretation
  [pdf/bib]
• Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
  Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, and Kwangkeun Yi
  TACAS 2011: The 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
  [pdf/bib]

Talks

2012

• 2012.01.28 Termination Analysis with Algorithmic Learning POPL 2012: 39th ACM SIGPLAN Symposium on Principles of Programming Languages (lightning talk session) [slides]

Awards and Honors

• Mar 2004 - Aug 2006, Silla Cultural Scholarship, Silla Cultural Foundation

Professional Activities

Work Experiences

• Sep 2006 - Aug 2007, Part-time Contractor, SAP R&D Center, Korea

External Reviewer

• POPL 2012 (additional reviwer): 39th ACM SIGPLAN Symposium on Principles of Programming Languages
• PADL 2012: Fourteenth International Symposium on Practical Aspects of Declarative Languages
• CPP 2011: First International Conference on Certified Programs and Proofs
• GPCE 2011: 10th International Conference on Generative Programming and Component Engineering
• SPLASH 2011 (co-reviewer): Systems Programming Languages and Applications: Software for Humanity
• ESOP 2011: 20th European Symposium on Programming
• GPCE 2010: 9th International Conference on Generative Programming and Component Engineering
• SPLASH 2010: Systems Programming Languages and Applications: Software for Humanity
• CAV 2010: 22nd International Conference on Computer Aided Verification
• ICDE 2009: 25th International Conference on Data Engineering

Drumming

• See my movies

Extracurricular Activities

• Jan 2010 - Present, English-Korean Translator and Reviewer in TED Open Translation Project