Results 1-3 of 3 (Search time: 0.001 seconds).
Issue Date | Title | Author(s) |
---|---|---|
2018-11 | Syntax-guided synthesis of Datalog programs | 이우석 |
2018-10 | Effective Program Debloating via Reinforcement Learning | 이우석 |
2018-06 | Accelerating search-based program synthesis using learned probabilistic models | 이우석 |