발행물

논문
특허
저서
컨퍼런스

전체 논문

95

31

Program synthesis using abstraction refinement. POPL’18
Wang, Dillig, Singh

32

Component-based synthesis for complex APIs. POPL’17
Feng, Martins, Wang, Dillig, Reps

33

FrAngel: Component-Based Synthesis with Control Structures. POPL’19
Shi, Steinhardt, Liang

34

egg: Fast and extensible equality saturation. POPL 2021
Willsey et al.

35

Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation. PLDI 2023
Yoon, Lee, Yi

36

Combining the Top-down Propagation and Bottom-up Enumeration for Inductive Program Synthesis. POPL 2021
Lee

37

Web Data Extraction Using Hybrid Program Synthesis: A Combination of Top-down and Bottom-up Inference. SIGMOD 2020
Raza, Gulwani

38

Synthesizing Geometry Constructions. PLDI 2011
Gulwani, Korthikanti, Tiwari

39

Scaling up Superoptimization. ASPLOS 2016
Phothilimthana, Thakur, Bodik, Dhurjati

40

Oracle-guided component-based program synthesis. ICSE’10
Jha, Gulwani, Seshia, Tiwari