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

Research Interests

I am interested in static analysis and verfication techniques for software safety and reliability. In particular, I have focused on abstract interpretation-based static analyses 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
  CAV 2012: The 24th International Conference on Computer Aided Verification
  [paper]
• Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
  Wonchan Lee, Yungbum Jung, Bow-Yaw Wang, and Kwangkeun Yi
  Logical Methods in Computer Science (LMCS)
  (A journal version of TACAS 2011)
  [paper]
• The Implicit Calculus: A New Foundation for Generic Programming
  Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, and Kwangkeun Yi
  PLDI 2012: The 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation
  [paper/extended report]
• Design and Implementation of Sparse Global Analyses for C-like Languages
  Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, and Kwangkeun Yi
  PLDI 2012: The 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation
  [paper]
• 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
  [paper]
• 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
  [paper]

Talks

2012

• 2012.07.10 Termination Analysis with Algorithmic Learning CAV 2012: The 24th International Conference on Computer Aided Verification [slides]
• 2012.06.12 The Implicit Calculus: A New Foundation for Generic Programming PLDI 2012: The 33rd ACM SIGPLAN conference on Programming Language Design and Implementation (poster session) [poster]
• 2012.01.28 Termination Analysis with Algorithmic Learning POPL 2012: The 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

Additional Reviewer

• FOSSACS 2013: The 16th International Conference on Foundations of Software Science and Computation Structures
• POPL 2013: The 40th ACM SIGPLAN Symposium on Principles of Programming Languages
• SAS 2012: The 19th International Static Analysis Symposium
• POPL 2012: The 39th ACM SIGPLAN Symposium on Principles of Programming Languages
• SPLASH 2011: ACM conference on Systems Programming Languages and Applications: Software for Humanity
• ESOP 2011: The 20th European Symposium on Programming
• SPLASH 2010: ACM conference on Systems Programming Languages and Applications: Software for Humanity
• CAV 2010: The 22nd International Conference on Computer Aided Verification
• ICDE 2009: The 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