상세 보기
자료 필터
자료유형
발행연도
2017 ~ 2026
2017 2026
키워드
언어
전체 19건 중 1번부터 10번까지의 결과를 표시합니다.
2026
Article
Inductive Program Synthesis by Meta-Analysis-Guided Hole Filling
- Lee, Doyoon ;
- Lee, Woosuk ;
- Yi, Kwangkeun
- 2026-01
- PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
- ASSOC COMPUTING MACHINERY
2024
2023
Article
Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting
- Lee, Jaehyung ;
- Lee, Woosuk
- 2023-11
- PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023
- ASSOC COMPUTING MACHINERY
Article
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search
- Lee, Dongkwon ;
- Lee, Woosuk ;
- Oh, Hakjoo ;
- Yi, Kwangkeun
- 2023-09
- ACM Transactions on Programming Languages and Systems
- ASSOC COMPUTING MACHINERY
Article
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
- Yoon, Yongho ;
- Lee, Woosuk ;
- Yi, Kwangkeun
- 2023-06
- PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
- ASSOC COMPUTING MACHINERY
Article
Madusa: mobile application demo generation based on usage scenarios
- Lee, Jaehyung ;
- Cho, Hangyeol ;
- Lee, Woosuk
- 2023-05
- Automated Software Engineering
- SPRINGER
Article
Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions
- Lee, Woosuk ;
- Cho, Hangyeol
- 2023-01
- PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
- ASSOC COMPUTING MACHINERY
2022
Article
Datalog Static Analysis in Secrecy
- Kouhounestani, Mojgan ;
- Lee, Woosuk
- 2022-05
- IEEE Access
- IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
2021
Article
Context-Aware and Data-Driven Feedback Generation for Programming Assignments
- Song, Dowon ;
- Lee, Woosuk ;
- Oh, Hakjoo
- 2021-08
- PROCEEDINGS OF THE 29TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '21)
- ASSOC COMPUTING MACHINERY
1