![]() |
Wonchan Lee (이원찬/李源璨)
Research Associate, Email:
|
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
- Selective Context-Sensitivity Guided by Impact Pre-Analysis
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, and Kwangkeun Yi
To appear in PLDI 2014: The 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
[paper] - 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
Extracurricular Activities
- Jan 2010 - Present, English-Korean Translator and Reviewer in TED Open Translation Project