Woosuk Lee

Education

• Mar. 2009 - , Ph.D. Candidate Student, Programming Research Laboratory, Computer Science, Seoul National University
• Feb. 2009, B.S. School of Computer Science and Engineering, Seoul National University

Research Interest

I am interested in program analysis techniques in particular for semantic-based static analysis. Recently, I am focusing on the general methods to ensure practicality of static analyzers. My current research topics are
• False alarm removal by more precise post-analysis and sound alarm clustering
• Localization techniques for scalable yet precise global analysis

International Publications

• Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, and Kwangkeun Yi, Design and Implementation of Sparse Global Analyses for C-like Languages PLDI 2012: 33rd ACM SIGPLAN Conference of Programming Langauge Design and Implementation, 2012.

• Woosuk Lee(main contributor), Wonchan Lee, and Kwangkeun Yi, Sound Non-Statistical Clustering of Static Analysis Alarms VMCAI 2012: 13th International Conference on Verification, Model Checking, and Abstract Interpretation

Domestic Publications

• 허기홍, 이우석, 이광근, 데이터 의존 관계를 이용한 프로그램 분석 병렬화(Parallelization of Program Analysis using Data Dependency), 한국정보과학회 2012.

• 이우석, 오학주, 김유일, 이광근, 분석 경보 주위에만 관계분석을 적용하여 거짓경보를 줄이는 방법(Alarm-Guided Locally Relational Post-analysis for Reducing False Alarms), 한국정보과학회 2011 우수논문.

• 이우석, 김유일, 이광근, 정적 분석 경보 사이의 종속 관계를 이용한 대표 경보 찾기(Discovering Dependence Relations between Static Analysis Alarms), 한국정보과학회 2011.

Poster Presentation

• APLAS 2009, Seoul, Korea

Professional Activities

Teaching Experience

• Fall 2009, Teaching Assistant, SNU 4190.210 Principle of Programming
• Fall 2010, Teaching Assistant, SNU 4541.664A Program Analysis: Theories and Practices

Projects

• 2009.02- 2009.12 - Software Watermarking for C/C++ & JAVA

Patents

• Copyright information inserting system and method

Summer School

• Attended First International SAT/SMT Solver Summer School 2011 in MIT, Cambridge, MA, USA.

External Reviewer

• POPL 2013: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• SAS 2012: The 19th International Static Analysis Symposium
• SPLASH 2010: Systems Programming Languages and Applications: Software for Humanity
• PADL 2012: Fourteenth International Symposium on Practical Aspects of Declarative Languages
• PEPM 2012: ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation

Internship

• Jul - Nov 2012, Droidblaze Project: an extensible framework for automated security analysis of Android apps, Prof. Dawn Song's group in UC Berkeley
• Jun - Aug 2010, PA Division, Fasoo.com