Woosuk Lee
Orcid: 0000-0002-1884-619X
According to our database1,
Woosuk Lee
authored at least 19 papers
between 2005 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
5
6
4
1
1
1
1
1
1
1
3
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search.
ACM Trans. Program. Lang. Syst., September, 2023
Autom. Softw. Eng., June, 2023
Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions.
Proc. ACM Program. Lang., January, 2023
Proc. ACM Program. Lang., 2023
Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023
2022
2021
Combining the top-down propagation and bottom-up enumeration for inductive program synthesis.
Proc. ACM Program. Lang., 2021
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
2020
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
2018
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018
2017
ACM Trans. Program. Lang. Syst., 2017
2015
Proceedings of the Static Analysis - 22nd International Symposium, 2015
2014
Proceedings of the Static Analysis - 21st International Symposium, 2014
2012
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012
2005
Proceedings of the Advances in Artificial Life, 8th European Conference, 2005