|
|
Ph.D. Student,
ROPAS Lab. / ROSAEC Center Room 312-2, Building 302 Email: wslee at ropas.snu.ac.kr Phone: +82-2-880-1865 Cell Phone: +82-10-5680-5717 |
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