Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArmando Solar-Lezama
Person information
- affiliation: Massachusetts Institute of Technology, Cambridge, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j27]Matthew Bowers
, Theo X. Olausson, Lionel Wong, Gabriel Grand, Joshua B. Tenenbaum, Kevin Ellis, Armando Solar-Lezama:
Top-Down Synthesis for Library Learning. Proc. ACM Program. Lang. 7(POPL): 1182-1213 (2023)- [j26]Ria Das, Joshua B. Tenenbaum, Armando Solar-Lezama, Zenna Tavares:
Combining Functional and Automata Synthesis to Discover Causal Reactive Programs. Proc. ACM Program. Lang. 7(POPL): 1628-1658 (2023) - [c82]Iddo Drori, Sarah J. Zhang, Zad Chin, Reece Shuttleworth, Albert Lu, Linda Chen, Bereket Birbo, Michele He, Pedro Lantigua, Sunny Tran, Gregory Hunter, Bo Feng, Newman Cheng, Roman Wang, Yann Hicke, Saisamrit Surbehera, Arvind Raghavan, Alexander E. Siemenn, Nikhil Singh, Jayson Lynch, Avi Shporer, Nakul Verma, Tonio Buonassisi, Armando Solar-Lezama:
A Dataset for Learning University STEM Courses at Scale and Generating Questions at a Human Level. AAAI 2023: 15921-15929 - [i50]Kavi Gupta, Osbert Bastani, Armando Solar-Lezama:
SPARLING: Learning Latent Representations with Extremely Sparse Activations. CoRR abs/2302.01976 (2023) - [i49]Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, Armando Solar-Lezama:
Demystifying GPT Self-Repair for Code Generation. CoRR abs/2306.09896 (2023) - 2022
- [j25]James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova:
Searching entangled program spaces. Proc. ACM Program. Lang. 6(ICFP): 23-51 (2022) - [j24]James Koppel, Jackson Kearl, Armando Solar-Lezama:
Automatically deriving control-flow graph generators from operational semantics. Proc. ACM Program. Lang. 6(ICFP): 742-771 (2022) - [c81]Karl D. D. Willis, Pradeep Kumar Jayaraman, Hang Chu, Yunsheng Tian, Yifei Li, Daniele Grandi, Aditya Sanghi, Linh Tran, Joseph G. Lambourne, Armando Solar-Lezama, Wojciech Matusik:
JoinABLe: Learning Bottom-up Assembly of Parametric CAD Joints. CVPR 2022: 15828-15839 - [c80]Ivan Kuraj, Armando Solar-Lezama, Nadia Polikarpova:
Optimizing consistency for partially replicated data stores. PPoPP 2022: 457-458 - [i48]John K. Feser, Isil Dillig, Armando Solar-Lezama:
Metric Program Synthesis for Inverse CSG. CoRR abs/2206.06164 (2022) - [i47]James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova:
Searching Entangled Program Spaces. CoRR abs/2206.07828 (2022) - [i46]Jennifer J. Sun, Megan Tjandrasuwita, Atharva Sehgal, Armando Solar-Lezama, Swarat Chaudhuri, Yisong Yue, Omar Costilla-Reyes:
Neurosymbolic Programming for Science. CoRR abs/2210.05050 (2022) - [i45]Alex Gu, Tamara Mitrovska, Daniela Velez, Jacob Andreas, Armando Solar-Lezama:
ObSynth: An Interactive Synthesis System for Generating Object Models from Natural Language Specifications. CoRR abs/2210.11468 (2022) - [i44]Zhening Li, Gabriel Poesia, Omar Costilla-Reyes, Noah D. Goodman, Armando Solar-Lezama:
LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions. CoRR abs/2211.08671 (2022) - [i43]Vitali Petsiuk, Alexander E. Siemenn, Saisamrit Surbehera, Zad Chin, Keith Tyser, Gregory Hunter, Arvind Raghavan, Yann Hicke, Bryan A. Plummer, Ori Kerret, Tonio Buonassisi, Kate Saenko, Armando Solar-Lezama, Iddo Drori:
Human Evaluation of Text-to-Image Models on a Multi-Task Benchmark. CoRR abs/2211.12112 (2022) - [i42]Matthew Bowers, Theo X. Olausson, Catherine Wong, Gabriel Grand, Joshua B. Tenenbaum, Kevin Ellis, Armando Solar-Lezama:
Top-Down Synthesis for Library Learning. CoRR abs/2211.16605 (2022) - 2021
- [j23]Dana Fisman, Rishabh Singh, Armando Solar-Lezama:
Special Issue on Syntax-Guided Synthesis Preface. Formal Methods Syst. Des. 58(3): 469-470 (2021) - [j22]Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama, Yisong Yue:
Neurosymbolic Programming. Found. Trends Program. Lang. 7(3): 158-243 (2021) - [j21]Karl D. D. Willis, Yewen Pu, Jieliang Luo, Hang Chu, Tao Du, Joseph G. Lambourne, Armando Solar-Lezama, Wojciech Matusik:
Fusion 360 gallery: a dataset and environment for programmatic CAD construction from human design sequences. ACM Trans. Graph. 40(4): 54:1-54:24 (2021) - [c79]Nate F. F. Bragg, Jeffrey S. Foster, Cody Roux, Armando Solar-Lezama:
Program Sketching by Automatically Generating Mocks from Tests. CAV (1) 2021: 808-831 - [c78]Nathan Hunt, Nathan Fulton, Sara Magliacane, Trong Nghia Hoang, Subhro Das, Armando Solar-Lezama:
Verifiably safe exploration for end-to-end reinforcement learning. HSCC 2021: 14:1-14:11 - [c77]Maxwell I. Nye, Yewen Pu, Matthew Bowers, Jacob Andreas, Joshua B. Tenenbaum, Armando Solar-Lezama:
Representing Partial Programs with Blended Abstract Semantics. ICLR 2021 - [c76]Ferran Alet, Javier Lopez-Contreras, James Koppel, Maxwell I. Nye, Armando Solar-Lezama, Tomás Lozano-Pérez, Leslie Pack Kaelbling, Joshua B. Tenenbaum:
A large-scale benchmark for few-shot program induction and synthesis. ICML 2021: 175-186 - [c75]Zenna Tavares, James Koppel, Xin Zhang, Ria Das, Armando Solar-Lezama:
A Language for Counterfactual Generative Models. ICML 2021: 10173-10182 - [c74]Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard:
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments. NeurIPS 2021: 29669-29683 - [c73]Kevin Ellis, Catherine Wong, Maxwell I. Nye, Mathias Sablé-Meyer, Lucas Morales, Luke B. Hewitt, Luc Cary, Armando Solar-Lezama, Joshua B. Tenenbaum:
DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning. PLDI 2021: 835-850 - [i41]Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama:
Neurosymbolic Transformers for Multi-Agent Communication. CoRR abs/2101.03238 (2021) - [i40]Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard:
Program Synthesis Guided Reinforcement Learning. CoRR abs/2102.11137 (2021) - [i39]Jeevana Priya Inala, Yecheng Jason Ma, Osbert Bastani, Xin Zhang, Armando Solar-Lezama:
Safe Human-Interactive Control via Shielding. CoRR abs/2110.05440 (2021) - [i38]Karl D. D. Willis, Pradeep Kumar Jayaraman, Hang Chu, Yunsheng Tian, Yifei Li, Daniele Grandi, Aditya Sanghi, Linh Tran, Joseph G. Lambourne, Armando Solar-Lezama, Wojciech Matusik:
JoinABLe: Learning Bottom-up Assembly of Parametric CAD Joints. CoRR abs/2111.12772 (2021) - 2020
- [j20]Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, Armando Solar-Lezama:
Liquid information flow control. Proc. ACM Program. Lang. 4(ICFP): 105:1-105:30 (2020) - [j19]John K. Feser, Sam Madden, Nan Tang, Armando Solar-Lezama:
Deductive optimization of relational data storage. Proc. ACM Program. Lang. 4(OOPSLA): 170:1-170:30 (2020) - [j18]Jaejin Lee, Lawrence Rauchwerger, Armando Solar-Lezama, Guy L. Steele Jr.:
Introduction to the Special Issue on PPoPP 2017 (Part 2). ACM Trans. Parallel Comput. 7(3): 14:1-14:2 (2020) - [c72]Ivan Kuraj, Armando Solar-Lezama:
Aspect-oriented language for reactive distributed applications at the edge. EdgeSys@EuroSys 2020: 67-72 - [c71]Jeevana Priya Inala, Osbert Bastani, Zenna Tavares, Armando Solar-Lezama:
Synthesizing Programmatic Policies that Inductively Generalize. ICLR 2020 - [c70]Osbert Bastani, Jeevana Priya Inala, Armando Solar-Lezama:
Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis. xxAI@ICML 2020: 207-228 - [c69]Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama:
Neurosymbolic Transformers for Multi-Agent Communication. NeurIPS 2020 - [c68]Maxwell I. Nye, Armando Solar-Lezama, Josh Tenenbaum, Brenden M. Lake:
Learning Compositional Rules via Neural Program Synthesis. NeurIPS 2020 - [c67]Yewen Pu, Kevin Ellis, Marta Kryven, Josh Tenenbaum, Armando Solar-Lezama:
Program Synthesis with Pragmatic Communication. NeurIPS 2020 - [c66]Varot Premtoon, James Koppel, Armando Solar-Lezama:
Semantic code search via equational reasoning. PLDI 2020: 1066-1082 - [i37]Maxwell I. Nye, Armando Solar-Lezama, Joshua B. Tenenbaum, Brenden M. Lake:
Learning Compositional Rules via Neural Program Synthesis. CoRR abs/2003.05562 (2020) - [i36]Kevin Ellis, Catherine Wong, Maxwell I. Nye, Mathias Sablé-Meyer, Luc Cary, Lucas Morales, Luke B. Hewitt, Armando Solar-Lezama, Joshua B. Tenenbaum:
DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning. CoRR abs/2006.08381 (2020) - [i35]Nathan Hunt, Nathan Fulton, Sara Magliacane, Nghia Hoang, Subhro Das, Armando Solar-Lezama:
Verifiably Safe Exploration for End-to-End Reinforcement Learning. CoRR abs/2007.01223 (2020) - [i34]Rajeev Alur, Richard G. Baraniuk, Rastislav Bodík, Ann W. Drobnis, Sumit Gulwani, Bjoern Hartmann, Yasmin B. Kafai, Jeff Karpicke, Ran Libeskind-Hadas, Debra J. Richardson, Armando Solar-Lezama, Candace Thille, Moshe Y. Vardi:
Computer-Aided Personalized Education. CoRR abs/2007.03704 (2020) - [i33]Yewen Pu, Kevin Ellis, Marta Kryven, Josh Tenenbaum, Armando Solar-Lezama:
Program Synthesis with Pragmatic Communication. CoRR abs/2007.05060 (2020) - [i32]Karl D. D. Willis, Yewen Pu, Jieliang Luo, Hang Chu, Tao Du, Joseph G. Lambourne, Armando Solar-Lezama, Wojciech Matusik:
Fusion 360 Gallery: A Dataset and Environment for Programmatic CAD Reconstruction. CoRR abs/2010.02392 (2020) - [i31]James Koppel, Jackson Kearl, Armando Solar-Lezama:
Automatically Deriving Control-Flow Graph Generators from Operational Semantics. CoRR abs/2010.04918 (2020) - [i30]Maxwell I. Nye, Yewen Pu, Matthew Bowers, Jacob Andreas, Joshua B. Tenenbaum, Armando Solar-Lezama:
Representing Partial Programs with Blended Abstract Semantics. CoRR abs/2012.12964 (2020)
2010 – 2019
- 2019
- [j17]Osbert Bastani, Xin Zhang, Armando Solar-Lezama:
Probabilistic verification of fairness properties via concentration. Proc. ACM Program. Lang. 3(OOPSLA): 118:1-118:27 (2019) - [j16]Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama:
Program synthesis with algebraic library specifications. Proc. ACM Program. Lang. 3(OOPSLA): 132:1-132:25 (2019) - [j15]Lawrence Rauchwerger, Jaejin Lee, Armando Solar-Lezama, Guy L. Steele Jr.:
Introduction to the Special Issue on PPoPP 2017 (Part 1). ACM Trans. Parallel Comput. 6(4): 19e:1-19e:2 (2019) - [c65]Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Aréchiga, Soonho Kong:
Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems. CAV (2) 2019: 137-154 - [c64]Maxwell I. Nye, Luke B. Hewitt, Joshua B. Tenenbaum, Armando Solar-Lezama:
Learning to Infer Program Sketches. ICML 2019: 4861-4870 - [c63]Zenna Tavares, Javier Burroni, Edgar Minasyan, Armando Solar-Lezama, Rajesh Ranganath:
Predicate Exchange: Inference with Declarative Knowledge. ICML 2019: 6186-6195 - [c62]Thais Campos, Jeevana Priya Inala, Armando Solar-Lezama, Hadas Kress-Gazit:
Task-Based Design of Ad-hoc Modular Manipulators. ICRA 2019: 6058-6064 - [c61]Kevin Ellis, Maxwell I. Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, Armando Solar-Lezama:
Write, Execute, Assess: Program Synthesis with a REPL. NeurIPS 2019: 9165-9174 - [e2]Tim Mattson, Abdullah Muzahid, Armando Solar-Lezama:
Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL@PLDI 2019, Phoenix, AZ, USA, June 22, 2019. ACM 2019, ISBN 978-1-4503-6719-6 [contents] - [i29]Zenna Tavares, Javier Burroni, Edgar Minaysan, Armando Solar-Lezama, Rajesh Ranganath:
Soft Constraints for Inference with Declarative Knowledge. CoRR abs/1901.05437 (2019) - [i28]Maxwell I. Nye, Luke B. Hewitt, Joshua B. Tenenbaum, Armando Solar-Lezama:
Learning to Infer Program Sketches. CoRR abs/1902.06349 (2019) - [i27]John K. Feser, Samuel Madden, Nan Tang, Armando Solar-Lezama:
Deductive Optimization of Relational Data Storage. CoRR abs/1903.03229 (2019) - [i26]Zenna Tavares, Xin Zhang, Edgar Minaysan, Javier Burroni, Rajesh Ranganath, Armando Solar-Lezama:
The Random Conditional Distribution for Higher-Order Probabilistic Inference. CoRR abs/1903.10556 (2019) - [i25]Kevin Ellis, Maxwell I. Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, Armando Solar-Lezama:
Write, Execute, Assess: Program Synthesis with a REPL. CoRR abs/1906.04604 (2019) - [i24]Osbert Bastani, Xin Zhang, Armando Solar-Lezama:
Synthesizing Queries via Interactive Sketching. CoRR abs/1912.12659 (2019) - 2018
- [j14]Rajeev Alur, Rishabh Singh, Dana Fisman, Armando Solar-Lezama:
Search-based program synthesis. Commun. ACM 61(12): 84-93 (2018) - [j13]James Koppel, Gabriel Scherer, Armando Solar-Lezama:
Capturing the future by replaying the past (functional pearl). Proc. ACM Program. Lang. 2(ICFP): 76:1-76:29 (2018) - [j12]James Koppel, Varot Premtoon, Armando Solar-Lezama:
One tool, many languages: language-parametric transformation with incremental parametric syntax. Proc. ACM Program. Lang. 2(OOPSLA): 122:1-122:28 (2018) - [j11]Tao Du, Jeevana Priya Inala, Yewen Pu, Andrew Spielberg, Adriana Schulz, Daniela Rus, Armando Solar-Lezama, Wojciech Matusik:
InverseCSG: automatic conversion of 3D models to CSG trees. ACM Trans. Graph. 37(6): 213 (2018) - [c60]Soonho Kong, Armando Solar-Lezama, Sicun Gao:
Delta-Decision Procedures for Exists-Forall Problems over the Reals. CAV (2) 2018: 219-235 - [c59]Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Pack Kaelbling:
Selecting Representative Examples for Program Synthesis. ICML 2018: 4158-4167 - [c58]Osbert Bastani, Yewen Pu, Armando Solar-Lezama:
Verifiable Reinforcement Learning via Policy Extraction. NeurIPS 2018: 2499-2509 - [c57]Xin Zhang, Armando Solar-Lezama, Rishabh Singh:
Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections. NeurIPS 2018: 4879-4890 - [c56]Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, Josh Tenenbaum:
Learning to Infer Graphics Programs from Hand-Drawn Images. NeurIPS 2018: 6062-6071 - [c55]Kevin Ellis, Lucas Morales, Mathias Sablé-Meyer, Armando Solar-Lezama, Josh Tenenbaum:
Learning Libraries of Subroutines for Neurally-Guided Bayesian Program Induction. NeurIPS 2018: 7816-7826 - [c54]Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin C. Rinard, Regina Barzilay, Saman P. Amarasinghe, Joshua B. Tenenbaum, Tim Mattson:
The three pillars of machine programming. MAPL@PLDI 2018: 69-80 - [i23]Jeevana Priya Inala, Sicun Gao, Soonho Kong, Armando Solar-Lezama:
REAS: Combining Numerical Optimization with SAT Solving. CoRR abs/1802.04408 (2018) - [i22]Xin Zhang, Armando Solar-Lezama, Rishabh Singh:
Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections. CoRR abs/1802.07384 (2018) - [i21]Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin C. Rinard, Regina Barzilay, Saman P. Amarasinghe, Joshua B. Tenenbaum, Tim Mattson:
The Three Pillars of Machine-Based Programming. CoRR abs/1803.07244 (2018) - [i20]Osbert Bastani, Yewen Pu, Armando Solar-Lezama:
Verifiable Reinforcement Learning via Policy Extraction. CoRR abs/1805.08328 (2018) - [i19]Soonho Kong, Armando Solar-Lezama, Sicun Gao:
Delta-Decision Procedures for Exists-Forall Problems over the Reals. CoRR abs/1807.08137 (2018) - [i18]Osbert Bastani, Xin Zhang, Armando Solar-Lezama:
Verifying Fairness Properties via Concentration. CoRR abs/1812.02573 (2018) - 2017
- [j10]Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster:
An empirical study of adaptive concretization for parallel program synthesis. Formal Methods Syst. Des. 50(1): 75-95 (2017) - [j9]Xiaokang Qiu, Armando Solar-Lezama:
Natural synthesis of provably-correct data-structure manipulations. Proc. ACM Program. Lang. 1(OOPSLA): 65:1-65:28 (2017) - [j8]Rohit Singh, Venkata Vamsikrishna Meduri, Ahmed K. Elmagarmid, Samuel Madden, Paolo Papotti, Jorge-Arnulfo Quiané-Ruiz, Armando Solar-Lezama, Nan Tang:
Synthesizing Entity Matching Rules by Examples. Proc. VLDB Endow. 11(2): 189-202 (2017) - [j7]Rezaul Chowdhury, Pramod Ganapathi, Stephen L. Tschudi, Jesmin Jahan Tithi, Charles Bachmeier, Charles E. Leiserson, Armando Solar-Lezama, Bradley C. Kuszmaul, Yuan Tang:
Autogen: Automatic Discovery of Efficient Recursive Divide-8-Conquer Algorithms for Solving Dynamic Programming Problems. ACM Trans. Parallel Comput. 4(1): 4:1-4:30 (2017) - [c53]Zenna Tavares, Armando Solar-Lezama:
Mental Representations as Distribution-Sensitive Data Structures. AAAI Spring Symposia 2017 - [c52]James Koppel, Armando Solar-Lezama:
Incremental parametric syntax for multi-language transformation. SPLASH (Companion Volume) 2017: 53-54 - [c51]Derrick Lin, James Koppel, Angela Chen, Armando Solar-Lezama:
QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge. SPLASH (Companion Volume) 2017: 55-56 - [c50]Kuat Yessenov, Ivan Kuraj, Armando Solar-Lezama:
DemoMatch: API discovery from demonstrations. PLDI 2017: 64-78 - [c49]Rohit Singh, Venkata Vamsikrishna Meduri, Ahmed K. Elmagarmid, Samuel Madden, Paolo Papotti, Jorge-Arnulfo Quiané-Ruiz, Armando Solar-Lezama, Nan Tang:
Generating Concise Entity Matching Rules. SIGMOD Conference 2017: 1635-1638 - [c48]Ivan Kuraj, Armando Solar-Lezama:
Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems. SNAPL 2017: 7:1-7:15 - [c47]Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama:
Synthesis of Recursive ADT Transformations from Reusable Templates. TACAS (1) 2017: 247-263 - [c46]Yewen Pu, Leslie Pack Kaelbling, Armando Solar-Lezama:
Learning to Acquire Information. UAI 2017 - [c45]Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama:
SyGuS-Comp 2017: Results and Analysis. SYNT@CAV 2017: 97-115 - [i17]Yewen Pu, Leslie Pack Kaelbling, Armando Solar-Lezama:
Learning to Acquire Information. CoRR abs/1704.06131 (2017) - [i16]Ganesh Gopalakrishnan, Paul D. Hovland, Costin Iancu, Sriram Krishnamoorthy, Ignacio Laguna, Richard A. Lethin, Koushik Sen, Stephen F. Siegel, Armando Solar-Lezama:
Report of the HPC Correctness Summit, Jan 25-26, 2017, Washington, DC. CoRR abs/1705.07478 (2017) - [i15]James Koppel, Armando Solar-Lezama:
Incremental Parametric Syntax for Multi-Language Transformation. CoRR abs/1707.04600 (2017) - [i14]Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, Joshua B. Tenenbaum:
Learning to Infer Graphics Programs from Hand-Drawn Images. CoRR abs/1707.09627 (2017) - [i13]James Koppel, Armando Solar-Lezama:
Capturing the Future by Replaying the Past. CoRR abs/1710.10385 (2017) - [i12]Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Pack Kaelbling:
Learning to select examples for program synthesis. CoRR abs/1711.03243 (2017) - 2016
- [j6]Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama:
A differential approach to undefined behavior detection. Commun. ACM 59(3): 99-106 (2016) - [j5]Alvin Cheung, Armando Solar-Lezama:
Computer-Assisted Query Formulation. Found. Trends Program. Lang. 3(1): 1-94 (2016) - [j4]Alvin Cheung, Samuel Madden, Armando Solar-Lezama:
Sloth: Being Lazy Is a Virtue (When Issuing Database Queries). ACM Trans. Database Syst. 41(2): 8:1-8:42 (2016) - [c44]Rohit Singh, Armando Solar-Lezama:
SWAPPER: A framework for automatic generation of formula simplifiers based on conditional rewrite rules. FMCAD 2016: 185-192 - [c43]Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, Armando Solar-Lezama:
Synthesizing framework models for symbolic execution. ICSE 2016: 156-167 - [c42]Kevin Ellis, Armando Solar-Lezama, Josh Tenenbaum:
Sampling for Bayesian Program Learning. NIPS 2016: 1289-1297 - [c41]Yewen Pu, Karthik Narasimhan, Armando Solar-Lezama, Regina Barzilay:
sk_p: a neural program corrector for MOOCs. SPLASH (Companion Volume) 2016: 39-40 - [c40]Shachar Itzhaky, Rohit Singh, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles E. Leiserson, Rezaul Alam Chowdhury:
Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations. OOPSLA 2016: 145-164 - [c39]Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama:
Program synthesis from polymorphic refinement types. PLDI 2016: 522-538 - [c38]Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong:
Precise, dynamic information flow for database-backed applications. PLDI 2016: 631-647 - [c37]Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, Armando Solar-Lezama:
Verified lifting of stencil computations. PLDI 2016: 711-726 - [c36]Rezaul Alam Chowdhury, Pramod Ganapathi, Jesmin Jahan Tithi, Charles Bachmeier, Bradley C. Kuszmaul, Charles E. Leiserson, Armando Solar-Lezama, Yuan Tang:
AUTOGEN: automatic discovery of cache-oblivious parallel recursive algorithms for solving dynamic programs. PPoPP 2016: 10:1-10:12 - [c35]Jeevana Priya Inala, Rohit Singh, Armando Solar-Lezama:
Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers. SAT 2016: 302-320 - [c34]Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama:
SyGuS-Comp 2016: Results and Analysis. SYNT@CAV 2016: 178-202 - [i11]Rohit Singh, Armando Solar-Lezama:
Automatic Generation of Formula Simplifiers based on Conditional Rewrite Rules. CoRR abs/1602.07285 (2016) - [i10]Yewen Pu, Karthik Narasimhan, Armando Solar-Lezama, Regina Barzilay:
sk_p: a neural program corrector for MOOCs. CoRR abs/1607.02902 (2016) - [i9]Nadia Polikarpova, Jean Yang, Shachar Itzhaky, Armando Solar-Lezama:
Type-Driven Repair for Information Flow Security. CoRR abs/1607.03445 (2016) - 2015
- [j3]Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama:
A Differential Approach to Undefined Behavior Detection. ACM Trans. Comput. Syst. 33(1): 1:1-1:29 (2015) - [c33]Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster:
Adaptive Concretization for Parallel Program Synthesis. CAV (2) 2015: 377-394 - [c32]Sicun Gao, Le Xie, Armando Solar-Lezama, Dimitrios N. Serpanos, Howard E. Shrobe:
Automated vulnerability analysis of AC state estimation under constrained false data injection in electric power systems. CDC 2015: 2613-2620 - [c31]Kevin Ellis, Armando Solar-Lezama, Joshua B. Tenenbaum:
Unsupervised Learning by Program Synthesis. NIPS 2015: 973-981 - [c30]Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama:
JSketch: sketching for Java. ESEC/SIGSOFT FSE 2015: 934-937 - [c29]Alvin Cheung,