발행물

논문
특허
저서
컨퍼런스

전체 논문

95

1

Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting
Lee, Jaehyung, Lee, Woosuk
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2

Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-Bounded Exhaustive Search
Lee, Dongkwon, Lee, Woosuk, Oh, Hakjoo, Yi, Kwangkeun
ACM Trans. Program. Lang. Syst., 2023

3

Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
Yoon, Yongho, Lee, Woosuk, Yi, Kwangkeun
Proc. ACM Program. Lang. (44th ACM SIGPLAN Conference on Programming Language Design and Implementation), 2023

4

Madusa: mobile application demo generation based on usage scenarios
Lee, Jaehyung, Cho, Hangyeol, Lee, Woosuk
Journal of Automated Software Engineering, 2023

5

Inductive Synthesis of Structurally Recursive Functional Programs from Non-Recursive Expressions
Lee, Woosuk, Cho, Hangyeol
Proc. ACM Program. Lang. (50th ACM SIGPLAN Symposium on Principles of Programming Languages), 2023

6

Datalog Static Analysis in Secrecy
Kouhounestani, Mojgan, Lee, Woosuk
IEEE Access, 2022

7

Context-Aware and Data-Driven Feedback Generation for Programming Assignments
Song, Dowon, Lee, Woosuk, Oh, Hakjoo
Proceedings of the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2021

8

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

9

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

10

Effective Program Debloating via Reinforcement Learning
Heo, Kihong, Lee, Woosuk, Pashakhanloo, Pardis, Naik, Mayur
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018