2023

  1. Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting Lee, Jaehyung, and Lee, Woosuk In Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security 2023 [Abs] [PDF] [Slides]
  2. Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-Bounded Exhaustive Search Lee, Dongkwon, Lee, Woosuk, Oh, Hakjoo, and Yi, Kwangkeun ACM Trans. Program. Lang. Syst. 2023 [Abs] [PDF]
  3. Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation Yoon, Yongho, Lee, Woosuk, and Yi, Kwangkeun Proc. ACM Program. Lang. (44th ACM SIGPLAN Conference on Programming Language Design and Implementation) 2023 [Abs] [PDF] [Slides]
  4. Madusa: mobile application demo generation based on usage scenarios Lee, Jaehyung, Cho, Hangyeol, and Lee, Woosuk Journal of Automated Software Engineering 2023 [Abs] [PDF]
  5. Inductive Synthesis of Structurally Recursive Functional Programs from Non-Recursive Expressions Lee, Woosuk, and Cho, Hangyeol Proc. ACM Program. Lang. (50th ACM SIGPLAN Symposium on Principles of Programming Languages) 2023 [Abs] [PDF] [Slides]

2022

  1. Datalog Static Analysis in Secrecy Kouhounestani, Mojgan, and Lee, Woosuk IEEE Access 2022 [PDF]

2021

  1. Context-Aware and Data-Driven Feedback Generation for Programming Assignments Song, Dowon, Lee, Woosuk, and Oh, Hakjoo In Proceedings of the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2021 [PDF]
  2. Combining the Top-down Propagation and Bottom-up Enumeration for Inductive Program Synthesis Lee, Woosuk In Proceedings of the 48th ACM SIGPLAN Symposium on Principles of Programming Languages 2021 [PDF] [Slides]

2020

  1. Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting Lee, DongKwon, Lee*, Woosuk, Oh, Hakjoo, and Yi, Kwangkeun In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation 2020 [PDF] [Slides]

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 [PDF] [Slides]
  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 [PDF] [Slides]
  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 [PDF] [Slides]
  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 [PDF]

2016

  1. Lee, W. (2016). Improving the Usability of Static Analyzers. Seoul National University. [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 [PDF] [Slides]

2014

  1. A Progress Bar for Static Analyzers Lee, Woosuk, Oh, Hakjoo, and Yi, Kwangkeun In 21st International Static Analysis Symposium 2014 [PDF] [Slides]
  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 [PDF]

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 [PDF] [Slides]
  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 [PDF]