default search action
Woosuk Lee
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j8]Jaehyung Lee, Hangyeol Cho, Woosuk Lee
:
Madusa: mobile application demo generation based on usage scenarios. Autom. Softw. Eng. 30(1): 8 (2023) - [j7]Yongho Yoon
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation. Proc. ACM Program. Lang. 7(PLDI): 1657-1681 (2023) - [j6]Woosuk Lee
Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions. Proc. ACM Program. Lang. 7(POPL): 2048-2078 (2023) - [j5]DongKwon Lee
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search. ACM Trans. Program. Lang. Syst. 45(3): 16:1-16:37 (2023) - [c11]Jaehyung Lee
Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting. CCS 2023: 2351-2365 - [i1]Yongho Yoon, Woosuk Lee, Kwangkeun Yi:
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation. CoRR abs/2304.10768 (2023) - 2022
- [j4]Mojgan Kouhounestani
Datalog Static Analysis in Secrecy. IEEE Access 10: 56179-56192 (2022) - 2021
- [j3]Woosuk Lee:
Combining the top-down propagation and bottom-up enumeration for inductive program synthesis. Proc. ACM Program. Lang. 5(POPL): 1-28 (2021) - [c10]Dowon Song, Woosuk Lee, Hakjoo Oh:
Context-aware and data-driven feedback generation for programming assignments. ESEC/SIGSOFT FSE 2021: 328-340 - 2020
- [c9]DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi:
Optimizing homomorphic evaluation circuits by program synthesis and term rewriting. PLDI 2020: 503-518
2010 – 2019
- 2018
- [c8]Kihong Heo, Woosuk Lee, Pardis Pashakhanloo, Mayur Naik:
Effective Program Debloating via Reinforcement Learning. CCS 2018: 380-394 - [c7]Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik:
Accelerating search-based program synthesis using learned probabilistic models. PLDI 2018: 436-449 - [c6]Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paraschos Koutris, Mayur Naik:
Syntax-guided synthesis of Datalog programs. ESEC/SIGSOFT FSE 2018: 515-527 - 2017
- [j2]Woosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, Kwangkeun Yi:
Sound Non-Statistical Clustering of Static Analysis Alarms. ACM Trans. Program. Lang. Syst. 39(4): 16:1-16:35 (2017) - 2015
- [c5]Woosuk Lee, Hyunsook Hong, Kwangkeun Yi, Jung Hee Cheon:
Static Analysis with Set-Closure in Secrecy. SAS 2015: 18-35 - 2014
- [j1]Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang
Global Sparse Analysis Framework. ACM Trans. Program. Lang. Syst. 36(3): 8:1-8:44 (2014) - [c4]Woosuk Lee, Hakjoo Oh, Kwangkeun Yi:
A Progress Bar for Static Analyzers. SAS 2014: 184-200 - 2012
- [c3]Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi:
Design and implementation of sparse global analyses for C-like languages. PLDI 2012: 229-238 - [c2]Woosuk Lee, Wonchan Lee, Kwangkeun Yi:
Sound Non-statistical Clustering of Static Analysis Alarms. VMCAI 2012: 299-314
2000 – 2009
- 2005
- [c1]Kyubum Wee, Woosuk Lee:
Extensions and Variations on Construction of Autoreplicators in Typogenetics. ECAL 2005: 685-694
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: