Skip to content

Latest commit

 

History

History

Synthesis

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
Readme.md
Readme.md
 
 
synthesis.json
synthesis.json
 
 

Readme.md

Roadmap for program synthesis

  1. Generative Code Modeling with Graphs, [ICLR 2019]

    Brockschmidt, Marc and Allamanis, Miltiadis and Gaunt, Alexander L. and Polozov, Oleksandr

  2. Accelerating Search-Based Program Synthesis using Learned Probabilistic Models, [PLDI 2018]

    Lee, Woosuk and Heo, Kihong and Alur, Rajeev and Naik, Mayur

  3. Program Synthesis using Conflict-Driven Learning, [PLDI 2018]

    Feng, Yu and Martins, Ruben and Bastani, Osbert and Dillig, Isil

  4. Learning to Infer Graphics Programs from Hand-Drawn Images, [NIPS 2018]

    Ellis, Kevin and Ritchie, Daniel and Solar-Lezama, Armando and Tenenbaum, Josh

  5. Neural Program Search: Solving Programming Tasks from Description and Examples, [ICLR 2018]

    Polosukhin, Illia and Skidanov, Alexander

  6. Coarse-to-Fine Decoding for Neural Semantic Parsing, [ACL 2018]

    Dong, Li and Mirella Lapata

  7. Neural-Guided Deductive Search For Real-Time Program Synthesis from Examples, [ICLR 2018]

    Kalyan, Ashwin and Mohta, Abhishek and Polozov, Oleksandr and Batra, Dhruv and Jain, Prateek and Gulwani, Sumit

  8. Neural Sketch Learning for Conditional Program Generation, [ICLR 2018]

    Murali, Vijayaraghavan and Qi, Letao and Chaudhuri, Swarat and Jermaine, Chris

  9. Modeling Relational Data with Graph Convolutional Networks Peter Bloem, [ESWC 2018]

    Schlichtkrull, Michael and Kipf, Thomas N and Bloem, Peter and Van Den Berg, Rianne and Titov, Ivan and Welling, Max

  10. Learning to Represent Programs with Graphs, [ICLR 2018]

    Allamanis, Miltiadis and Brockschmidt, Marc and Khademi, Mahmoud

  11. Leveraging Constraint Logic Programming for Neural Guided Program Synthesis, [ICLR-Workshop 2018]

    Zhang, Lisa and Rosenblatt, Gregory and Fetaya, Ethan and Liao, Renjie and Byrd, William E. and Urtasun, Raquel and Zemel, Richard

  12. Program synthesis using abstraction refinement, [POPL 2018]

    Wang, Xinyu and Dillig, Isil and Singh, Rishabh

  13. Semi-Supervised Classification with Graph Convolutional Networks, [ICLR 2017]

    Kipf, Thomas N. adn Welling, Max

  14. Program Synthesis, [Foundations and Trends in Programming Languages 2017]

    Gulwani, Sumit and Polozov, Oleksandr and Singh, Rishabh

  15. Scaling Enumerative Program Synthesis via Divide and Conquer, [TACAS 2017]

    Alur, Rajeev and Radhakrishna, Arjun and Udupa, Abhishek

  16. Gated Graph Sequence Neural Networks, [ICLR 2016]

    Li, Yujia and Tarlow, Daniel and Brockschmidt, Marc and Zemel, Richard

  17. FlashMeta: a framework for inductive program synthesis, [OOPSLA 2015]

    Polozov, Oleksandr and Gulwani, Sumit

  18. Automating string processing in spreadsheets using input-output examples, [POPL 2011]

    Gulwani, Sumit

  19. Inductive Programming: A Survey of Program Synthesis Techniques, [AAIP 2009]

    Kitzelmann, Emanuel