publications
Author names annotated * indicate co-first authorship for papers where multiple authors made equally significant contributions.
2021
-
Combining the Top-down Propagation and Bottom-up Enumeration for Inductive Program Synthesis In Proceedings of the 48th ACM SIGPLAN Symposium on Principles of Programming Languages 2021
2020
-
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation 2020 [Abs]
2018
-
Effective Program Debloating via Reinforcement Learning In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security 2018
-
Syntax-guided Synthesis of Datalog Programs In Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering 2018
-
Accelerating Search-based Program Synthesis Using Learned Probabilistic Models In Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation 2018
-
Beyond Deductive Methods in Program Analysis In 2018
2017
-
Sound Non-Statistical Clustering of Static Analysis Alarms ACM Trans. Program. Lang. Syst. 2017
2016
-
Lee, W. (2016). Improving the Usability of Static Analyzers [Seoul National University]. http://ropas.snu.ac.kr/ wslee/thesis.pdf
2015
-
Static Analysis with Set-Closure in Secrecy In 22nd International Static Analysis Symposium 2015
2014
-
A Progress Bar for Static Analyzers In 21st International Static Analysis Symposium 2014
-
Global Sparse Analysis Framework ACM Trans. Program. Lang. Syst. 2014
2012
-
Sound Non-statistical Clustering of Static Analysis Alarms In Verification, Model Checking, and Abstract Interpretation 2012
-
Design and Implementation of Sparse Global Analyses for C-like Languages In Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation 2012