暂无分享,去创建一个
Armando Solar-Lezama | Regina Barzilay | Joshua B. Tenenbaum | Timothy G. Mattson | Nesime Tatbul | Martin C. Rinard | Michael Carbin | Justin Emile Gottschlich | Saman P. Amarasinghe
[1] David Lo,et al. History Driven Program Repair , 2016, 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER).
[2] Rishabh Singh,et al. SPT: Storyboard Programming Tool , 2012, CAV.
[3] Eran Yahav,et al. Symbolic Automata for Static Specification Mining , 2013, SAS.
[4] Armando Solar-Lezama,et al. Learning to Infer Graphics Programs from Hand-Drawn Images , 2017, NeurIPS.
[5] Dawn Xiaodong Song,et al. Towards Synthesizing Complex Programs From Input-Output Examples , 2017, ICLR.
[6] Miryung Kim,et al. Systematic editing: generating program transformations from an example , 2011, PLDI '11.
[7] Miryung Kim,et al. Lase: Locating and applying systematic edits by learning from examples , 2013, 2013 35th International Conference on Software Engineering (ICSE).
[8] Ion Stoica,et al. Opaque: An Oblivious and Encrypted Distributed Analytics Platform , 2017, NSDI.
[9] Dawn Xiaodong Song,et al. Tree-to-tree Neural Networks for Program Translation , 2018, NeurIPS.
[10] Shoaib Kamil,et al. OpenTuner: An extensible framework for program autotuning , 2014, 2014 23rd International Conference on Parallel Architecture and Compilation (PACT).
[11] Jan Vitek,et al. DéjàVu: a map of code duplicates on GitHub , 2017, Proc. ACM Program. Lang..
[12] José M. F. Moura,et al. Spiral: A Generator for Platform-Adapted Libraries of Signal Processing Alogorithms , 2004, Int. J. High Perform. Comput. Appl..
[13] Hari Balakrishnan,et al. CryptDB: protecting confidentiality with encrypted query processing , 2011, SOSP.
[14] Eran Yahav,et al. Typestate-based semantic code search over partial programs , 2012, OOPSLA '12.
[15] Pushmeet Kohli,et al. TerpreT: A Probabilistic Programming Language for Program Induction , 2016, ArXiv.
[16] Alex Graves,et al. Neural Turing Machines , 2014, ArXiv.
[17] Jiachen Zhang,et al. Precise Condition Synthesis for Program Repair , 2016, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).
[18] Sumit Gulwani,et al. From program verification to program synthesis , 2010, POPL '10.
[19] Justin Emile Gottschlich,et al. AI programmer: autonomously creating software programs using genetic algorithms , 2017, GECCO Companion.
[20] Alvin Cheung,et al. Verified lifting of stencil computations , 2016, PLDI.
[21] Armando Solar-Lezama,et al. Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers , 2016, SAT.
[22] Andreas Krause,et al. Predicting Program Properties from "Big Code" , 2015, POPL.
[23] Armando Solar-Lezama,et al. Program synthesis from polymorphic refinement types , 2015, PLDI.
[24] Eric Lahtinen,et al. Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement , 2015, ASPLOS.
[25] Regina Barzilay,et al. From Natural Language Specifications to Program Input Parsers , 2013, ACL.
[26] Fan Long,et al. Automatic patch generation by learning correct code , 2016, POPL.
[27] Sumit Gulwani,et al. Synthesis of loop-free programs , 2011, PLDI '11.
[28] Richard C. Waters,et al. The Programmer's Apprentice: a research overview , 1988, Computer.
[29] Sumit Gulwani,et al. Automating string processing in spreadsheets using input-output examples , 2011, POPL '11.
[30] J. W. Backus,et al. The FORTRAN automatic coding system , 1899, IRE-AIEE-ACM '57 (Western).
[31] Eran Yahav,et al. Extracting code from programming tutorial videos , 2016, Onward!.
[32] Rajeev Alur,et al. Syntax-guided synthesis , 2013, 2013 Formal Methods in Computer-Aided Design.
[33] Vitaly Shmatikov,et al. Fix Me Up: Repairing Access-Control Bugs in Web Applications , 2013, NDSS.
[34] Mark Harman,et al. Automated software transplantation , 2015, ISSTA.
[35] Dawn Xiaodong Song,et al. SQLNet: Generating Structured Queries From Natural Language Without Reinforcement Learning , 2017, ArXiv.
[36] Martin T. Vechev,et al. PHOG: Probabilistic Model for Code , 2016, ICML.
[37] Matias Martinez,et al. Automatic Repair of Real Bugs: An Experience Report on the Defects4J Dataset , 2015, ArXiv.
[38] Sumit Gulwani,et al. Learning Syntactic Program Transformations from Examples , 2016, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).
[39] Claire Le Goues,et al. Automatically finding patches using genetic programming , 2009, 2009 IEEE 31st International Conference on Software Engineering.
[40] Sumit Gulwani,et al. Recursive Program Synthesis , 2013, CAV.
[41] NAVID YAGHMAZADEH,et al. SQLizer: query synthesis from natural language , 2017, Proc. ACM Program. Lang..
[42] David E. Bernholdt,et al. A High-Level Approach to Synthesis of High-Performance Codes for Quantum Chemistry , 2002, ACM/IEEE SC 2002 Conference (SC'02).
[43] Rastislav Bodík,et al. Chlorophyll : Synthesis-Aided Compiler for Low-Power Spatial Architectures by Phitchaya Mangpo Phothilimthana , 2015 .
[44] Alvin Cheung,et al. Learning a Neural Semantic Parser from User Feedback , 2017, ACL.
[45] Rishabh Singh,et al. Qlose: Program Repair with Quantitative Objectives , 2016, CAV.
[46] Vítor Santos Costa,et al. Inductive Logic Programming , 2013, Lecture Notes in Computer Science.
[47] Dawei Qi,et al. SemFix: Program repair via semantic analysis , 2013, 2013 35th International Conference on Software Engineering (ICSE).
[48] Sumit Gulwani,et al. Test-driven synthesis , 2014, PLDI.
[49] Rishabh Singh,et al. Synthesizing data structure manipulations from storyboards , 2011, ESEC/FSE '11.
[50] Swarat Chaudhuri,et al. Bayesian Sketch Learning for Program Synthesis , 2017, ArXiv.
[51] Isil Dillig,et al. Synthesizing data structure transformations from input-output examples , 2015, PLDI.
[52] Sumit Gulwani,et al. FlashMeta: a framework for inductive program synthesis , 2015, OOPSLA.
[53] Henry Lieberman,et al. Watch what I do: programming by demonstration , 1993 .
[54] Fan Long,et al. Staged program repair with condition synthesis , 2015, ESEC/SIGSOFT FSE.
[55] Michael D. Ernst,et al. Automatically patching errors in deployed software , 2009, SOSP '09.
[56] Abdullah Muzahid,et al. Production-Run Software Failure Diagnosis via Adaptive Communication Tracking , 2016, 2016 ACM/IEEE 43rd Annual International Symposium on Computer Architecture (ISCA).
[57] Adam Chlipala,et al. Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant , 2015, POPL.
[58] Rajeev Alur,et al. TRANSIT: specifying protocols with concolic snippets , 2013, PLDI.
[59] Eric Lahtinen,et al. Automatic error elimination by horizontal code transfer across multiple applications , 2015, PLDI.
[60] Sanjit A. Seshia,et al. Combinatorial sketching for finite programs , 2006, ASPLOS XII.
[61] Alan Edelman,et al. PetaBricks: a language and compiler for algorithmic choice , 2009, PLDI '09.
[62] Abhik Roychoudhury,et al. Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis , 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
[63] Sumit Gulwani,et al. Predicting a Correct Program in Programming by Example , 2015, CAV.
[64] Frédo Durand,et al. Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines , 2013, PLDI.
[65] Fan Long,et al. Automatic inference of code transforms for patch generation , 2017, ESEC/SIGSOFT FSE.
[66] Jack J. Dongarra,et al. Automatically Tuned Linear Algebra Software , 1998, Proceedings of the IEEE/ACM SC98 Conference.
[67] Emina Torlak,et al. Angelic debugging , 2011, 2011 33rd International Conference on Software Engineering (ICSE).
[68] G. Evans,et al. Learning to Optimize , 2008 .
[69] Dawn Xiaodong Song,et al. Making Neural Programming Architectures Generalize via Recursion , 2017, ICLR.
[70] Catherine Ramsey,et al. Learning to Learn Programs from Examples : Going Beyond Program Structure , 2017 .
[71] Steven G. Johnson,et al. FFTW: an adaptive software architecture for the FFT , 1998, Proceedings of the 1998 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP '98 (Cat. No.98CH36181).
[72] Sebastian Nowozin,et al. DeepCoder: Learning to Write Programs , 2016, ICLR.
[73] Karthikeyan Sankaralingam,et al. Dark Silicon and the End of Multicore Scaling , 2012, IEEE Micro.
[74] Swarat Chaudhuri,et al. Smooth interpretation , 2010, PLDI '10.
[75] Tim Kraska,et al. The Case for Learned Index Structures , 2018 .
[76] Justin Gottschlich,et al. AutoPerf: A Generalized Zero-Positive Learning System to Detect Software Performance Anomalies , 2017 .
[77] Sumit Gulwani,et al. From relational verification to SIMD loop synthesis , 2013, PPoPP '13.
[78] Victor Eijkhout,et al. Self-Adapting Linear Algebra Algorithms and Software , 2005, Proceedings of the IEEE.
[79] Eran Yahav,et al. Programming with "Big Code" , 2015, Found. Trends Program. Lang..