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
- 2025
[j29]Ivan Kuraj
, John K. Feser, Nadia Polikarpova, Armando Solar-Lezama:
Peepco: Batch-Based Consistency Optimization. Proc. ACM Program. Lang. 9(OOPSLA1): 1101-1129 (2025)- [c91]Naman Jain, King Han, Alex Gu, Wen-Ding Li, Fanjia Yan, Tianjun Zhang, Sida Wang, Armando Solar-Lezama, Koushik Sen, Ion Stoica:
LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code. ICLR 2025 - [c90]Beichen Li, Rundi Wu, Armando Solar-Lezama, Changxi Zheng, Liang Shi, Bernd Bickel, Wojciech Matusik:
VLMaterial: Procedural Material Generation with Large Vision-Language Models. ICLR 2025 - [i62]Kavi Gupta, Kate Sanders, Armando Solar-Lezama:
Randomly Sampled Language Reasoning Problems Reveal Limits of LLMs. CoRR abs/2501.02825 (2025) - [i61]Beichen Li, Rundi Wu, Armando Solar-Lezama, Changxi Zheng, Liang Shi, Bernd Bickel, Wojciech Matusik:
VLMaterial: Procedural Material Generation with Large Vision-Language Models. CoRR abs/2501.18623 (2025) - [i60]Hengzhi Li, Megan Tjandrasuwita, Yi R. Fung, Armando Solar-Lezama, Paul Pu Liang:
MimeQA: Towards Socially-Intelligent Nonverbal Foundation Models. CoRR abs/2502.16671 (2025) - [i59]Alex Gu, Naman Jain, Wen-Ding Li, Manish Shetty, Yijia Shao, Ziyang Li, Diyi Yang, Kevin Ellis, Koushik Sen, Armando Solar-Lezama:
Challenges and Paths Towards AI for Software Engineering. CoRR abs/2503.22625 (2025) - 2024
- [c89]Alex Gu, Wen-Ding Li, Naman Jain, Theo Olausson, Celine Lee, Koushik Sen, Armando Solar-Lezama:
The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations? ACL (Findings) 2024: 74-117 - [c88]Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, Armando Solar-Lezama:
Is Self-Repair a Silver Bullet for Code Generation? ICLR 2024 - [c87]Alex Gu, Baptiste Rozière, Hugh James Leather, Armando Solar-Lezama, Gabriel Synnaeve, Sida Wang:
CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution. ICML 2024 - [c86]Zhening Li, Gabriel Poesia, Armando Solar-Lezama:
When Do Skills Help Reinforcement Learning? A Theoretical Analysis of Temporal Abstractions. ICML 2024 - [c85]Megan Tjandrasuwita, Jie Xu, Armando Solar-Lezama, Wojciech Matusik:
MeMo: Meaningful, Modular Controllers via Noise Injection. NeurIPS 2024 - [c84]James Psota, Armando Solar-Lezama:
Pure: Evolving Message Passing To Better Leverage Shared Memory Within Nodes. PPoPP 2024: 133-146 - [i58]Alex Gu, Baptiste Rozière, Hugh Leather, Armando Solar-Lezama, Gabriel Synnaeve, Sida I. Wang:
CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution. CoRR abs/2401.03065 (2024) - [i57]Alex Gu, Wen-Ding Li, Naman Jain, Theo X. Olausson, Celine Lee, Koushik Sen, Armando Solar-Lezama:
The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations? CoRR abs/2402.19475 (2024) - [i56]Naman Jain, King Han, Alex Gu, Wen-Ding Li, Fanjia Yan, Tianjun Zhang, Sida Wang, Armando Solar-Lezama, Koushik Sen, Ion Stoica:
LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code. CoRR abs/2403.07974 (2024) - [i55]Zhening Li, Gabriel Poesia, Armando Solar-Lezama:
When Do Skills Help Reinforcement Learning? A Theoretical Analysis of Temporal Abstractions. CoRR abs/2406.07897 (2024) - [i54]Megan Tjandrasuwita, Jie Xu, Armando Solar-Lezama, Wojciech Matusik:
MeMo: Meaningful, Modular Controllers via Noise Injection. CoRR abs/2407.01567 (2024) - [i53]Sagnik Anupam, Maddy Bowers, Omar Costilla-Reyes, Armando Solar-Lezama:
MathDSL: A Domain-Specific Language for Concise Mathematical Solutions Via Program Synthesis. CoRR abs/2409.17490 (2024) - 2023
- [j28]John K. Feser, Isil Dillig, Armando Solar-Lezama:
Inductive Program Synthesis Guided by Observational Program Similarity. Proc. ACM Program. Lang. 7(OOPSLA2): 912-940 (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) - [c83]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 - [c82]Theo Olausson, Alex Gu, Benjamin Lipkin, Cedegao E. Zhang, Armando Solar-Lezama, Joshua B. Tenenbaum, Roger Levy:
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers. EMNLP 2023: 5153-5176 - [d2]John K. Feser, Isil Dillig, Armando Solar-Lezama:
Inductive Program Synthesis Guided by Observational Program Similarity (Artifact). Version 1. Zenodo, 2023 [all versions]
- [d1]John K. Feser, Isil Dillig, Armando Solar-Lezama:
Inductive Program Synthesis Guided by Observational Program Similarity (Artifact). Version 2. Zenodo, 2023 [all versions] - [i52]Kavi Gupta, Osbert Bastani, Armando Solar-Lezama:
SPARLING: Learning Latent Representations with Extremely Sparse Activations. CoRR abs/2302.01976 (2023) - [i51]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) - [i50]Leonardo Hernandez Cano, Yewen Pu, Robert D. Hawkins, Joshua B. Tenenbaum, Armando Solar-Lezama:
Learning a Hierarchical Planner from Humans in Multiple Generations. CoRR abs/2310.11614 (2023) - [i49]Theo X. Olausson, Alex Gu, Benjamin Lipkin, Cedegao E. Zhang, Armando Solar-Lezama, Joshua B. Tenenbaum, Roger Levy:
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers. CoRR abs/2310.15164 (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, Shoaib Kamil, Armando Solar-Lezama:
Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis. SNAPL 2015: 51-62 - [c28]Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama:
Results and Analysis of SyGuS-Comp'15. SYNT 2015: 3-26 - [p1]Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa:
Syntax-Guided Synthesis. Dependable Software Systems Engineering 2015: 1-25 - [i8]Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong:
End-To-End Policy-Agnostic Security for Database-Backed Applications. CoRR abs/1507.03513 (2015) - [i7]Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama:
JSKETCH: Sketching for Java. CoRR abs/1507.03577 (2015) - [i6]Jeevana Priya Inala, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama:
Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types. CoRR abs/1507.05527 (2015) - [i5]Nadia Polikarpova, Armando Solar-Lezama:
Program Synthesis from Polymorphic Refinement Types. CoRR abs/1510.08419 (2015) - 2014
- [j2]Alvin Cheung, Samuel Madden, Armando Solar-Lezama, Owen Arden, Andrew C. Myers:
Using Program Analysis to Improve Database Applications. IEEE Data Eng. Bull. 37(1): 48-59 (2014) - [c27]Swarat Chaudhuri, Martin Clochard, Armando Solar-Lezama:
Bridging boolean and quantitative synthesis using smoothed proof search. POPL 2014: 207-220 - [c26]Krzysztof Krawiec, Armando Solar-Lezama:
Improving Genetic Programming with Behavioral Consistency Measure. PPSN 2014: 434-443 - [c25]Zhilei Xu, Shoaib Kamil, Armando Solar-Lezama:
MSL: A Synthesis Enabled Language for Distributed Implementations. SC 2014: 311-322 - [c24]Alvin Cheung, Samuel Madden, Armando Solar-Lezama:
Sloth: being lazy is a virtue (when issuing database queries). SIGMOD Conference 2014: 931-942 - [c23]Rohit Singh, Rishabh Singh, Zhilei Xu, Rebecca Krosnick, Armando Solar-Lezama:
Modular Synthesis of Sketches Using Models. VMCAI 2014: 395-414 - [e1]Bernd Finkbeiner, Armando Solar-Lezama:
Proceedings Second Workshop on Synthesis, SYNT 2013, Saint Petersburg, Russia, July 13th and July 14th, 2013. EPTCS 142, 2014 [contents] - 2013
- [j1]Armando Solar-Lezama:
Program sketching. Int. J. Softw. Tools Technol. Transf. 15(5-6): 475-495 (2013) - [c22]Alvin Cheung, Owen Arden, Samuel Madden, Armando Solar-Lezama, Andrew C. Myers:
StatusQuo: Making Familiar Abstractions Perform Using Program Analysis. CIDR 2013 - [c21]Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa:
Syntax-guided synthesis. FMCAD 2013: 1-8 - [c20]Alvin Cheung, Armando Solar-Lezama, Samuel Madden:
Optimizing database-backed applications with query synthesis. PLDI 2013: 3-14 - [c19]Thomas H. Austin, Jean Yang, Cormac Flanagan, Armando Solar-Lezama:
Faceted execution of policy-agnostic programs. PLAS 2013: 15-26 - [c18]Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama:
Automated feedback generation for introductory programming assignments. PLDI 2013: 15-26 - [c17]Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama:
Towards optimization-safe systems: analyzing the impact of undefined behavior. SOSP 2013: 260-275 - [i4]Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard:
(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints. CoRR abs/1306.6054 (2013) - 2012
- [c16]Swarat Chaudhuri, Armando Solar-Lezama:
Euler: A System for Numerical Optimization of Programs. CAV 2012: 732-737 - [c15]Rishabh Singh, Armando Solar-Lezama:
SPT: Storyboard Programming Tool. CAV 2012: 738-743 - [c14]Alvin Cheung, Armando Solar-Lezama, Samuel Madden:
Using program synthesis for social recommendations. CIKM 2012: 1732-1736 - [c13]Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard:
Word Equations with Length Constraints: What's Decidable? Haifa Verification Conference 2012: 209-226 - [c12]Jean Yang, Kuat Yessenov, Armando Solar-Lezama:
A language for automatically enforcing privacy policies. POPL 2012: 85-96 - [c11]Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas, Martin C. Rinard, Armando Solar-Lezama:
Lynx: A Programmatic SAT Solver for the RNA-Folding Problem. SAT 2012: 143-156 - [i3]Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama:
Automated Semantic Grading of Programs. CoRR abs/1204.1751 (2012) - [i2]Alvin Cheung, Armando Solar-Lezama, Samuel Madden:
Inferring SQL Queries Using Program Synthesis. CoRR abs/1208.2013 (2012) - [i1]Alvin Cheung, Armando Solar-Lezama, Samuel Madden:
Using Program Synthesis for Social Recommendations. CoRR abs/1208.2925 (2012) - 2011
- [c10]Swarat Chaudhuri, Armando Solar-Lezama:
Smoothing a Program Soundly and Robustly. CAV 2011: 277-292 - [c9]Kuat Yessenov, Zhilei Xu, Armando Solar-Lezama:
Data-driven synthesis for object-oriented frameworks. OOPSLA 2011: 65-82 - [c8]Alvin Cheung, Armando Solar-Lezama, Samuel Madden:
Partial replay of long-running applications. SIGSOFT FSE 2011: 135-145 - [c7]Rishabh Singh, Armando Solar-Lezama:
Synthesizing data structure manipulations from storyboards. SIGSOFT FSE 2011: 289-299 - 2010
- [c6]Swarat Chaudhuri, Armando Solar-Lezama:
Smooth interpretation. PLDI 2010: 279-291
2000 – 2009
- 2009
- [c5]Armando Solar-Lezama:
The Sketching Approach to Program Synthesis. APLAS 2009: 4-13 - 2008
- [c4]Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík:
Sketching concurrent data structures. PLDI 2008: 136-148 - 2007
- [c3]Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia:
Sketching stencils. PLDI 2007: 167-178 - 2006
- [c2]Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat:
Combinatorial sketching for finite programs. ASPLOS 2006: 404-415 - 2005
- [c1]Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu:
Programming by sketching for bit-streaming programs. PLDI 2005: 281-294
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-06-21 00:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
