2020

  1. Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting (to appear) Lee, DongKwon, Lee, Woosuk, Oh, Hakjoo, and Yi, Kwangkeun In Proceedings of the 41th ACM SIGPLAN Conference on Programming Language Design and Implementation 2020

2018

  1. Effective Program Debloating via Reinforcement Learning Heo, Kihong*, Lee, Woosuk*, Pashakhanloo, Pardis, and Naik, Mayur In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security 2018
  2. Syntax-guided Synthesis of Datalog Programs Si, Xujie*, Lee, Woosuk*, Zhang, Richard, Albarghouthi, Aws, Koutris, Paraschos, and Naik, Mayur In Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering 2018
  3. Accelerating Search-based Program Synthesis Using Learned Probabilistic Models Lee, Woosuk, Heo, Kihong, Alur, Rajeev, and Naik, Mayur In Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation 2018
  4. Beyond Deductive Methods in Program Analysis Kulkarni, Sulekha, Zhang, Richard, Si, Ximing, Heo, Kihong, Lee, Woosuk, and Naik, Mayur In 2018

2017

  1. Sound Non-Statistical Clustering of Static Analysis Alarms Lee, Woosuk, Lee, Wonchan, Kang, Dongok, Heo, Kihong, Oh, Hakjoo, and Yi, Kwangkeun ACM Trans. Program. Lang. Syst. 2017

2016

  1. Lee, W. (2016). Improving the Usability of Static Analyzers [Seoul National University]. http://ropas.snu.ac.kr/ wslee/thesis.pdf

2015

  1. Static Analysis with Set-Closure in Secrecy Lee, Woosuk, Hong, Hyunsook, Yi, Kwangkeun, and Cheon, Jung Hee In 22nd International Static Analysis Symposium 2015

2014

  1. A Progress Bar for Static Analyzers Lee, Woosuk, Oh, Hakjoo, and Yi, Kwangkeun In 21st International Static Analysis Symposium 2014
  2. Global Sparse Analysis Framework Oh, Hakjoo, Heo, Kihong, Lee, Wonchan, Lee, Woosuk, Park, Daejun, Kang, Jeehoon, and Yi, Kwangkeun ACM Trans. Program. Lang. Syst. 2014

2012

  1. Sound Non-statistical Clustering of Static Analysis Alarms Lee, Woosuk, Lee, Wonchan, and Yi, Kwangkeun In Verification, Model Checking, and Abstract Interpretation 2012
  2. Design and Implementation of Sparse Global Analyses for C-like Languages Oh, Hakjoo, Heo, Kihong, Lee, Wonchan, Lee, Woosuk, and Yi, Kwangkeun In Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation 2012