2018-06 | Accelerating search-based program synthesis using learned probabilistic models | 이우석 |
2021-01 | Combining the top-down propagation and bottom-up enumeration for inductive program synthesis | 이우석 |
2021-08 | Context-aware and data-driven feedback generation for programming assignments | 이우석 |
2021-08 | Context-Aware and Data-Driven Feedback Generation for Programming Assignments | 이우석 |
2022-05 | Datalog Static Analysis in Secrecy | 이우석 |
2018-10 | Effective Program Debloating via Reinforcement Learning | 이우석 |
2023-01 | Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions | 이우석 |
2023-01 | Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions | 이우석 |
2009-02 | KNX-ZigBee 게이트웨이의 설계 및 구현 | 이우석 |
2023-05 | Madusa: mobile application demo generation based on usage scenarios | 이우석 |
2023-01-12 | Madusa: mobile application demo generation based on usage scenarios | 이우석 |
2020-06 | Optimizing homomorphic evaluation circuits by program synthesis and term rewriting | 이우석 |
2020-06 | Optimizing homomorphic evaluation circuits by program synthesis and term rewriting | 이우석 |
2023-09 | Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search | 이우석 |
2017-09 | Sound Non-Statistical Clustering of Static Analysis Alarms | 이우석 |
2018-11 | Syntax-guided synthesis of Datalog programs | 이우석 |
2021-06 | 분할 정복 및 요약해석 기반 JavaScript 프로그램 합성 | 이우석 |
2021-06 | 분할 정복 및 요약해석 기반 JavaScript 프로그램 합성 | 이우석 |
2022 | 유체-구조 연성을 고려한 방추형 동맥류 혈관 구조 분석 | 이우석 |