publications

2021

1. Combining the Top-down Propagation and Bottom-up Enumeration for Inductive Program Synthesis (conditionally accepted) Lee, Woosuk In Proceedings of the 48th ACM SIGPLAN Symposium on Principles of Programming Languages 2021

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 [Abs]

   We present a new and general method for optimizing homomorphic evaluation circuits. Although fully homomorphic encryption (FHE) holds the promise of enabling safe and secure third party computation, building FHE applications has been challenging due to their high computational costs. Domain-specific optimizations require a great deal of expertise on the underlying FHE schemes, and FHE compilers that aims to lower the hurdle, generate outcomes that are typically sub-optimal as they rely on manually-developed optimization rules. In this paper, based on the prior work of FHE compilers, we propose a method for automatically learning and using optimization rules for FHE circuits. Our method focuses on reducing the maximum multiplicative depth, the decisive performance bottleneck, of FHE circuits by combining program synthesis and term rewriting. It first uses program synthesis to learn equivalences of small circuits as rewrite rules from a set of training circuits. Then, we perform term rewriting on the input circuit to obtain a new circuit that has lower multiplicative depth. Our rewriting method maximally generalizes the learned rules based on the equational matching and its soundness and termination properties are formally proven. Experimental results show that our method generates circuits that can be homomorphically evaluated 1.18x – 3.71x faster (with the geometric mean of 2.05x) than the state-of-the-art method. Our method is also orthogonal to existing domain-specific optimizations.

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