scholarly journals Program synthesis from polymorphic refinement types

2016 ◽  
Vol 51 (6) ◽  
pp. 522-538 ◽  
Author(s):  
Nadia Polikarpova ◽  
Ivan Kuraj ◽  
Armando Solar-Lezama
Keyword(s):  
Program Synthesis ◽  
Refinement Types

scholarly journals Accelerating search-based program synthesis using learned probabilistic models

2018 ◽  
Vol 53 (4) ◽  
pp. 436-449 ◽  
Author(s):  
Woosuk Lee ◽  
Kihong Heo ◽  
Rajeev Alur ◽  
Mayur Naik
Keyword(s):  
Probabilistic Models ◽  
Program Synthesis

Reconciling enumerative and deductive program synthesis

2020 ◽  
Author(s):  
Kangjing Huang ◽  
Xiaokang Qiu ◽  
Peiyuan Shen ◽  
Yanjun Wang
Keyword(s):  
Program Synthesis ◽  
Deductive Program Synthesis

FlashMeta: a framework for inductive program synthesis

2015 ◽  
Vol 50 (10) ◽  
pp. 107-126 ◽  
Author(s):  
Oleksandr Polozov ◽  
Sumit Gulwani
Keyword(s):  
Program Synthesis

Learning refinement types

2015 ◽  
Author(s):  
He Zhu ◽  
Aditya V. Nori ◽  
Suresh Jagannathan
Keyword(s):  
Refinement Types

Learning Network Design Objectives Using A Program Synthesis Approach

2019 ◽  
Author(s):  
Yanjun Wang ◽  
Chuan Jiang ◽  
Xiaokang Qiu ◽  
Sanjay G. Rao
Keyword(s):  
Network Design ◽  
Program Synthesis ◽  
Learning Network ◽  
Synthesis Approach

scholarly journals Rely-guarantee references for refinement types over aliased mutable data

2013 ◽  
Vol 48 (6) ◽  
pp. 73-84
Author(s):  
Colin S. Gordon ◽  
Michael D. Ernst ◽  
Dan Grossman
Keyword(s):  
Refinement Types

scholarly journals Combining the top-down propagation and bottom-up enumeration for inductive program synthesis

2021 ◽  
Vol 5 (POPL) ◽  
pp. 1-28
Author(s):  
Woosuk Lee
Keyword(s):  
Program Synthesis ◽  
Top Down ◽  
Bottom Up
Sign in / Sign up

Export Citation Format

Share Document