Fetching the paper…
Reading the bibliography…
In this position paper, we describe our vision of the future of machine programming through a categorical examination of three pillars of research.
The FORTRAN Automatic Coding System. In Papers Presented at the February 26-28, 1957, Western Joint Computer Conference: Techniques for Reliability (IRE-AIEE-ACM ’57 (Western)) . ACM, New York, NY, USA, 188–198
J. W. Backus, R. J. Beeber, S. Best, R. Goldberg, L. M. Haibt, H. L. Herrick, R. A. Nelson, D. Sayre, P. B. Sheridan, H. Stern, I. Ziller, R. A. Hughes, and R. Nutt. 1957 · 1957
Earlier work this paper cites.
The Programmer’s Apprentice: A Research Overview
Charles Rich and Richard C. Waters. 1988 · 1988
Earlier work this paper cites.
Inductive logic programming . Vol. 8
Stephen Muggleton. 1991 · 1991
Earlier work this paper cites.
Watch What I Do: Programming by Demonstration
Allen Cypher, Daniel C. Halbert, David Kurlander, Henry Lieberman, David Maulsby, Brad A. Myers, and Alan Turransky (Eds.). 1993 · 1993
Earlier work this paper cites.
FFTW: an adaptive software architecture for the FFT. In Proceedings of the 1998 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP ’98, Seattle, Washington, USA, May 12-15, 1998 . 1381–1384
Matteo Frigo and Steven G. Johnson. 1998 · 1998
Earlier work this paper cites.
Automatically Tuned Linear Algebra Software. In Proceedings of the ACM/IEEE Conference on Supercomputing, SC 1998, November 7-13, 1998, Orlando, FL, USA . 38
R. Clinton Whaley and Jack J. Dongarra. 1998 · 1998
Earlier work this paper cites.
A high-level approach to synthesis of high-performance codes for quantum chemistry. In Proceedings of the 2002 ACM/IEEE conference on Supercomputing, Baltimore, Maryland, USA, November 16-22, 2002, CD-ROM . 33:1–33:10
Gerald Baumgartner, David E. Bernholdt, Daniel Cociorva, Robert J. Harrison, So Hirata, Chi-Chung Lam, Marcel Nooijen, Russell M. Pitzer, J. Ramanujam, and P. Sadayappan. 2002 · 2002
Earlier work this paper cites.
Self-Adapting Linear Algebra Algorithms and Software
J. Demmel, J. Dongarra, V. Eijkhout, E. Fuentes, A. Petitet, R. Vuduc, R. C. Whaley, and K. Yelick. 2005 · 2004
Earlier work this paper cites.
Spiral: A Generator for Platform-Adapted Libraries of Signal Processing Alogorithms
Markus Püschel, José M. F. Moura, Bryan Singer, Jianxin Xiong, Jeremy R. Johnson, David A. Padua, Manuela M. Veloso, and Robert W. Johnson. 2004 · 2004
Earlier work this paper cites.
Combinatorial sketching for finite programs. In Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2006, San Jose, CA, USA, October 21-25, 2006 . 404–415
Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, and Vijay A. Saraswat. 2006 · 2006
Earlier work this paper cites.
Deriving linearizable fine-grained concurrent objects. In Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008 . 125–135
Martin T. Vechev and Eran Yahav. 2008 · 2008
Earlier work this paper cites.
PetaBricks: A Language and Compiler for Algorithmic Choice. In Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’09) . ACM, New York, NY, USA, 38–49
Jason Ansel, Cy Chan, Yee Lok Wong, Marek Olszewski, Qin Zhao, Alan Edelman, and Saman Amarasinghe. 2009 · 2009
Earlier work this paper cites.
Automatically patching errors in deployed software. In Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, SOSP 2009, Big Sky, Montana, USA, October 11-14, 2009 . 87–102
Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Greg Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, and Martin C. Rinard. 2009 · 2009
Earlier work this paper cites.
Automatically finding patches using genetic programming. In 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings . 364–374
Westley Weimer, ThanhVu Nguyen, Claire Le Goues, and Stephanie Forrest. 2009 · 2009
Earlier work this paper cites.
Smooth interpretation. In Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010 . 279–291
Swarat Chaudhuri and Armando Solar-Lezama. 2010 · 2010
Earlier work this paper cites.
From program verification to program synthesis. In Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010 . 313–326
Saurabh Srivastava, Sumit Gulwani, and Jeffrey S. Foster. 2010 · 2010
Earlier work this paper cites.
Angelic Debugging. In Proceedings of the 33rd International Conference on Software Engineering (ICSE ’11’)
Satish Chandra, Emina Torlak, Shaon Barman, and Rastislav Bodik. 2011 · 2011
Earlier work this paper cites.
Dark silicon and the end of multicore scaling. In 2011 38th Annual International Symposium on Computer Architecture (ISCA) . 365–376
H. Esmaeilzadeh, E. Blem, R. S. Amant, K. Sankaralingam, and D. Burger. 2011 · 2011
Earlier work this paper cites.
Automating String Processing in Spreadsheets Using Input-output Examples. In Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’11) . ACM, New York, NY, USA, 317–330
Sumit Gulwani. 2011 · 2011
Earlier work this paper cites.
Synthesis of loop-free programs. In Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011 . 62–73
Sumit Gulwani, Susmit Jha, Ashish Tiwari, and Ramarathnam Venkatesan. 2011 · 2011
Earlier work this paper cites.
Systematic Editing: Generating Program Transformations from an Example. In Proceedings of the 32Nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’11’) . 329–342
Na Meng, Miryung Kim, and Kathryn S. McKinley. 2011 · 2011
Earlier work this paper cites.
CryptDB: Protecting Confidentiality with Encrypted Query Processing. In Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles (SOSP ’11) . ACM, New York, NY, USA, 85–100
Raluca Ada Popa, Catherine M. S. Redfield, Nickolai Zeldovich, and Hari Balakrishnan. 2011 · 2011
Earlier work this paper cites.
Synthesizing data structure manipulations from storyboards. In SIGSOFT/FSE’11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC’11: 13th European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011 . 289–299
Rishabh Singh and Armando Solar-Lezama. 2011 · 2011
Earlier work this paper cites.
Typestate-based Semantic Code Search over Partial Programs. In Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA ’12) . ACM, New York, NY, USA, 997–1016
Alon Mishne, Sharon Shoham, and Eran Yahav. 2012 · 2012
Earlier work this paper cites.
SPT: Storyboard Programming Tool. In Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings . 738–743
Rishabh Singh and Armando Solar-Lezama. 2012 · 2012
Earlier work this paper cites.
Recursive Program Synthesis. In Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings . 934–950
Aws Albarghouthi, Sumit Gulwani, and Zachary Kincaid. 2013 · 2013
Earlier work this paper cites.
From relational verification to SIMD loop synthesis. In ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP ’13, Shenzhen, China, February 23-27, 2013 . 123–134
Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, César Kunz, and Mark Marron. 2013 · 2013
Earlier work this paper cites.
From Natural Language Specifications to Program Input Parsers. In Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics, ACL 2013, 4-9 August 2013, Sofia, Bulgaria, Volume 1: Long Papers . 1294–1303
Tao Lei, Fan Long, Regina Barzilay, and Martin C. Rinard. 2013 · 2013
Earlier work this paper cites.
LASE: locating and applying systematic edits by learning from examples. In 35th International Conference on Software Engineering, ICSE ’13, San Francisco, CA, USA, May 18-26, 2013 . 502–511
Na Meng, Miryung Kim, and Kathryn S. McKinley. 2013 · 2013
Cited alongside, same era.
SemFix: Program Repair via Semantic Analysis. In Proceedings of the 2013 International Conference on Software Engineering (ICSE ’13’) . IEEE Press, Piscataway, NJ, USA, 772–781
Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra. 2013 · 2013
Cited alongside, same era.
Symbolic Automata for Static Specification Mining. In Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings . 63–83
Hila Peleg, Sharon Shoham, Eran Yahav, and Hongseok Yang. 2013 · 2013
Cited alongside, same era.
Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines. In ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI ’13, Seattle, WA, USA, June 16-19, 2013 . 519–530
Jonathan Ragan-Kelley, Connelly Barnes, Andrew Adams, Sylvain Paris, Frédo Durand, and Saman P. Amarasinghe. 2013 · 2013
History Driven Program Repair. In IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2016, Suita, Osaka, Japan, March 14-18, 2016 . 213–224
Xuan-Bach D. Le, David Lo, and Claire Le Goues. 2016 · 2016
Later among the works it cites.
Automatic patch generation by learning correct code. In Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016 . 298–312
Fan Long and Martin Rinard. 2016 · 2016
Later among the works it cites.
Angelix: scalable multiline program patch synthesis via symbolic analysis. In Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016 . 691–701
Sergey Mechtaev, Jooyong Yi, and Abhik Roychoudhury. 2016 · 2016
Later among the works it cites.
Program synthesis from polymorphic refinement types. In Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016 . 522–538
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Fix Me Up: Repairing Access-Control Bugs in Web Applications.. In NDSS
Sooel Son, Kathryn S McKinley, and Vitaly Shmatikov. 2013 · 2013
Cited alongside, same era.
TRANSIT: specifying protocols with concolic snippets. In ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI ’13, Seattle, WA, USA, June 16-19, 2013 . 287–296
Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M. K. Martin, and Rajeev Alur. 2013 · 2013
Cited alongside, same era.
OpenTuner: An Extensible Framework for Program Autotuning. In Proceedings of the 23rd International Conference on Parallel Architectures and Compilation (PACT ’14) . ACM, New York, NY, USA, 303–316
Jason Ansel, Shoaib Kamil, Kalyan Veeramachaneni, Jonathan Ragan-Kelley, Jeffrey Bosboom, Una-May O’Reilly, and Saman Amarasinghe. 2014 · 2014
Cited alongside, same era.
Alex Graves, Greg Wayne, and Ivo Danihelka. 2014 · 2014
Cited alongside, same era.
Test-driven synthesis. In ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI ’14, Edinburgh, United Kingdom - June 09 - 11, 2014 . 408–418
Daniel Perelman, Sumit Gulwani, Dan Grossman, and Peter Provost. 2014 · 2014
Cited alongside, same era.
Chlorophyll: synthesis-aided compiler for low-power spatial architectures. In ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI ’14, Edinburgh, United Kingdom - June 09 - 11, 2014 . 396–407
Phitchaya Mangpo Phothilimthana, Tikhon Jelvis, Rohin Shah, Nishant Totla, Sarah Chasins, and Rastislav Bodík. 2014 · 2014
Cited alongside, same era.
Synthesis Through Unification. In Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II . 163–179
Rajeev Alur, Pavol Cerný, and Arjun Radhakrishna. 2015b · 2015
Cited alongside, same era.
Automated software transplantation. In Proceedings of the 2015 International Symposium on Software Testing and Analysis . ACM, 257–269
Earl T Barr, Mark Harman, Yue Jia, Alexandru Marginean, and Justyna Petke. 2015 · 2015
Cited alongside, same era.
Nadia Polikarpova, Ivan Kuraj, and Armando Solar-Lezama. 2016 · 2016
Later among the works it cites.
Programming with "Big Code"
Martin Vechev and Eran Yahav. 2016 · 2016
Later among the works it cites.
Extracting Code from Programming Tutorial Videos. In Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2016) . ACM, New York, NY, USA, 98–111
Shir Yadid and Eran Yahav. 2016 · 2016
Later among the works it cites.
AutoPerf: A Generalized Zero-Positive Learning System to Detect Software Performance Anomalies
Mohammad Mejbah Ul Alam, Justin Gottschlich, and Abdullah Muzahid. 2017 · 2017
Later among the works it cites.
DeepCoder: Learning to Write Programs
Matej Balog, Alexander L. Gaunt, Marc Brockschmidt, Sebastian Nowozin, and Daniel Tarlow. 2017 · 2017
Later among the works it cites.
AI Programmer: Autonomously Creating Software Programs Using Genetic Algorithms
Kory Becker and Justin Gottschlich. 2017 · 2017
Later among the works it cites.
Making Neural Programming Architectures Generalize via Recursion
Jonathon Cai, Richard Shin, and Dawn Song. 2017 · 2017
Later among the works it cites.
Towards Synthesizing Complex Programs from Input-Output Examples
Xinyun Chen, Chang Liu, and Dawn Song. 2017a · 2017
Later among the works it cites.
Tree-to-tree Neural Networks for Program Translation
Xinyun Chen, Chang Liu, and Dawn Song. 2017b · 2017
Later among the works it cites.
Learning to Learn Programs from Examples: Going Beyond Program Structure. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 . 1638–1645
Kevin Ellis and Sumit Gulwani. 2017 · 2017
Later among the works it cites.
Learning to Infer Graphics Programs from Hand-Drawn Images
Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, and Joshua B. Tenenbaum. 2017 · 2017
Later among the works it cites.
Learning a Neural Semantic Parser from User Feedback. In Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics, ACL 2017, Vancouver, Canada, July 30 - August 4, Volume 1: Long Papers . 963–973
Srinivasan Iyer, Ioannis Konstas, Alvin Cheung, Jayant Krishnamurthy, and Luke Zettlemoyer. 2017 · 2017
Later among the works it cites.
The Case for Learned Index Structures
Tim Kraska, Alex Beutel, Ed H. Chi, Jeffrey Dean, and Neoklis Polyzotis. 2017 · 2017
Later among the works it cites.
Ke Li Li and Jitendra Malik. 2017 · 2017
Later among the works it cites.
Automatic inference of code transforms for patch generation. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017 . 727–739
Fan Long, Peter Amidon, and Martin Rinard. 2017 · 2017
Later among the works it cites.
DéjàVu: a map of code duplicates on GitHub
Cristina V. Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, and Jan Vitek. 2017 · 2017
Later among the works it cites.
Bayesian Sketch Learning for Program Synthesis
Vijayaraghavan Murali, Swarat Chaudhuri, and Chris Jermaine. 2017 · 2017
Later among the works it cites.
Babble Labble
Chris Re. 2017 · 2017
Later among the works it cites.
Learning syntactic program transformations from examples. In Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017
Reudismam Rolim, Gustavo Soares, Loris D’Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, and Björn Hartmann. 2017 · 2017
Later among the works it cites.
CodeCarbonCopy. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2017)
Stelios Sidiroglou-Douskos, Eric Lantinen, Anthony Eden, Fan Long, and Martin Rinard. 2017 · 2017
Later among the works it cites.
Precise Condition Synthesis for Program Repair. In Proceedings of the 39th International Conference on Software Engineering (ICSE ’17)
Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang, and Lu Zhang. 2017 · 2017
Later among the works it cites.
SQLNet: Generating Structured Queries From Natural Language Without Reinforcement Learning
Xiaojun Xu, Chang Liu, and Dawn Song. 2017 · 2017
Later among the works it cites.
SQLizer: query synthesis from natural language
Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, and Thomas Dillig. 2017 · 2017
Later among the works it cites.
Opaque: An Oblivious and Encrypted Distributed Analytics Platform. In 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017, Boston, MA, USA, March 27-29, 2017 . 283–298
Wenting Zheng, Ankur Dave, Jethro G. Beekman, Raluca Ada Popa, Joseph E. Gonzalez, and Ion Stoica. 2017 · 2017
Later among the works it cites.