발행물

논문
특허
저서
컨퍼런스

전체 논문

95

21

Dimensions in Program Synthesis. PPDP’10
Gulwani

22

TRANSIT: specifying protocols with concolic snippets. PLDI’13
Udupa, Raghavan, Deshmukh, Mador-Haim, Martin, Alur

23

Scaling Enumerative Program Synthesis via Divide and Conquer. TACAS’17
Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa

24

Scaling Up Superoptimization. ASPLOS’16
Phothilimthana, Thakur, Bodik, Dhurjati

25

Accelerating Search-Based Program Synthesis usingLearned Probabilistic Models. PLDI’18
Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik

26

Just-in-Time Learning for Bottom-Up Enumerative Synthesis. OOPSLA’20.
Barke, Peleg, Polikarpova

27

DeepCoder: Learning to Write Programs. ICLR’17
Balog, Gaunt, Brockschmidt, Nowozin, Tarlow

28

PHOG: Probabilistic Model for Code. ICML’16
Bielik, Raychev, Vechev

29

Automating string processing in spreadsheets using input-output examples. POPL’11
Gulwani

30

FlashMeta: a framework for inductive program synthesis. OOPSLA’15
Polozov, Gulwani