\begin{thebibliography}{10}

\bibitem{Heo:2018:EPD:3243734.3243838}
Kihong* Heo, Woosuk* Lee, Pardis Pashakhanloo, and Mayur Naik.
\newblock Effective program debloating via reinforcement learning.
\newblock In {\em Proceedings of the 2018 ACM SIGSAC Conference on Computer and
  Communications Security}, CCS '18, pages 380--394, New York, NY, USA, 2018.
  ACM.

\bibitem{Kulkarni2018BeyondDM}
Sulekha Kulkarni, Richard Zhang, Ximing Si, Kihong Heo, Woosuk Lee, and Mayur
  Naik.
\newblock Beyond deductive methods in program analysis.
\newblock ML4P: 1st Workshop on Machine Learning for Programming, 2018.

\bibitem{10.1145/3385412.3385996}
DongKwon Lee, Woosuk Lee*, Hakjoo Oh, and Kwangkeun Yi.
\newblock Optimizing homomorphic evaluation circuits by program synthesis and
  term rewriting.
\newblock In {\em Proceedings of the 41st ACM SIGPLAN Conference on Programming
  Language Design and Implementation}, PLDI 2020, page 503–518, New York, NY,
  USA, 2020. Association for Computing Machinery.

\bibitem{madusa}
Jaehyung Lee, Hangyeol Cho, and Woosuk Lee.
\newblock Madusa: mobile application demo generation based on usage scenarios.
\newblock {\em Journal of Automated Software Engineering}, 30(1):8, 2023.

\bibitem{myphdthesis}
Woosuk Lee.
\newblock Improving the usability of static analyzers, 2016.

\bibitem{duet}
Woosuk Lee.
\newblock Combining the top-down propagation and bottom-up enumeration for
  inductive program synthesis.
\newblock In {\em Proceedings of the 48th ACM SIGPLAN Symposium on Principles
  of Programming Languages}, POPL '21, New York, NY, USA, 2021. ACM.

\bibitem{trio}
Woosuk Lee and Hangyeol Cho.
\newblock Inductive synthesis of structurally recursive functional programs
  from non-recursive expressions.
\newblock {\em Proceedings of the 50th ACM SIGPLAN Symposium on Principles of
  Programming Languages (POPL)}, 7(POPL), jan 2023.

\bibitem{Lee:2018:ASP:3192366.3192410}
Woosuk Lee, Kihong Heo, Rajeev Alur, and Mayur Naik.
\newblock Accelerating search-based program synthesis using learned
  probabilistic models.
\newblock In {\em Proceedings of the 39th ACM SIGPLAN Conference on Programming
  Language Design and Implementation}, PLDI 2018, pages 436--449, New York, NY,
  USA, 2018. ACM.

\bibitem{10.1007/978-3-662-48288-9_2}
Woosuk Lee, Hyunsook Hong, Kwangkeun Yi, and Jung~Hee Cheon.
\newblock Static analysis with set-closure in secrecy.
\newblock In Sandrine Blazy and Thomas Jensen, editors, {\em 22nd International
  Static Analysis Symposium}, pages 18--35, Berlin, Heidelberg, 2015. Springer
  Berlin Heidelberg.

\bibitem{Lee:2017:SNC:3133234.3095021}
Woosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, and Kwangkeun Yi.
\newblock Sound non-statistical clustering of static analysis alarms.
\newblock {\em ACM Trans. Program. Lang. Syst.}, 39(4):16:1--16:35, August
  2017.

\bibitem{10.1007/978-3-642-27940-9_20}
Woosuk Lee, Wonchan Lee, and Kwangkeun Yi.
\newblock Sound non-statistical clustering of static analysis alarms.
\newblock In Viktor Kuncak and Andrey Rybalchenko, editors, {\em Verification,
  Model Checking, and Abstract Interpretation}, pages 299--314, Berlin,
  Heidelberg, 2012. Springer Berlin Heidelberg.

\bibitem{10.1007/978-3-319-10936-7_12}
Woosuk Lee, Hakjoo Oh, and Kwangkeun Yi.
\newblock A progress bar for static analyzers.
\newblock In Markus M{\"u}ller-Olm and Helmut Seidl, editors, {\em 21st
  International Static Analysis Symposium}, pages 184--200, Cham, 2014.
  Springer International Publishing.

\bibitem{Oh:2014:GSA:2669618.2590811}
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, and
  Kwangkeun Yi.
\newblock Global sparse analysis framework.
\newblock {\em ACM Trans. Program. Lang. Syst.}, 36(3):8:1--8:44, September
  2014.

\bibitem{Oh:2012:DIS:2254064.2254092}
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, and Kwangkeun Yi.
\newblock Design and implementation of sparse global analyses for c-like
  languages.
\newblock In {\em Proceedings of the 33rd ACM SIGPLAN Conference on Programming
  Language Design and Implementation}, PLDI '12, pages 229--238, New York, NY,
  USA, 2012. ACM.

\bibitem{Si:2018:SSD:3236024.3236034}
Xujie* Si, Woosuk* Lee, Richard Zhang, Aws Albarghouthi, Paraschos Koutris, and
  Mayur Naik.
\newblock Syntax-guided synthesis of datalog programs.
\newblock In {\em Proceedings of the 2018 26th ACM Joint Meeting on European
  Software Engineering Conference and Symposium on the Foundations of Software
  Engineering}, ESEC/FSE 2018, pages 515--527, New York, NY, USA, 2018. ACM.

\bibitem{cafe}
Dowon Song, Woosuk Lee, and Hakjoo Oh.
\newblock Context-aware and data-driven feedback generation for programming
  assignments.
\newblock In {\em Proceedings of the ACM Joint European Software Engineering
  Conference and Symposium on the Foundations of Software Engineering
  (ESEC/FSE)}, FSE'21, New York, NY, USA, 2021. ACM.

\end{thebibliography}
