Armando Solar-Lezama

192 papers A* 47A 9B 8Journal 95Unranked 30

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Adaptive Problem Generation via Symbolic Representations. CoRR Teresa Yeo, Myeongho Jeon, Dulaj Weerakoon, Rui Qiao, Alok Prakash, Armando Solar-Lezama, Archan Misra
2026	J	`jnl`	Power Term Polynomial Algebra for Boolean Logic. CoRR Emanuele Sansone, Armando Solar-Lezama
2025	J	`jnl`	Challenges and Paths Towards AI for Software Engineering. CoRR Alex Gu, Naman Jain, Wen-Ding Li, Manish Shetty, Yijia Shao, Ziyang Li, Diyi Yang, Kevin Ellis, Koushik Sen, Armando Solar-Lezama
2025	J	`jnl`	EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths. CoRR Zhening Li, Armando Solar-Lezama, Yisong Yue, Stephan Zheng
2025	A*	`conf`	LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code. ICLR Naman Jain, King Han, Alex Gu, Wen-Ding Li, Fanjia Yan, Tianjun Zhang, Sida Wang, Armando Solar-Lezama, Koushik Sen, Ion Stoica
2025	J	`jnl`	MimeQA: Towards Socially-Intelligent Nonverbal Foundation Models. CoRR Hengzhi Li, Megan Tjandrasuwita, Yi R. Fung, Armando Solar-Lezama, Paul Pu Liang
2025	A*	`conf`	Neurosymbolic World Models for Sequential Decision Making. ICML Leonardo Hernandez Cano, Maxine Perroni-Scharf, Neil Dhir, Arun Ramamurthy, Armando Solar-Lezama
2025	J	`jnl`	Peepco: Batch-Based Consistency Optimization. Proc. ACM Program. Lang. Ivan Kuraj, John K. Feser, Nadia Polikarpova, Armando Solar-Lezama
2025	—	`conf`	Position: Future Research and Challenges Remain Towards AI for Software Engineering. ICML (Position Papers) Alex Gu, Naman Jain, Wen-Ding Li, Manish Shetty, Kevin Ellis, Koushik Sen, Armando Solar-Lezama
2025	J	`jnl`	Randomly Sampled Language Reasoning Problems Reveal Limits of LLMs. CoRR Kavi Gupta, Kate Sanders, Armando Solar-Lezama
2025	J	`jnl`	Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs. Proc. ACM Program. Lang. Maddy Bowers, Alexander K. Lew, Joshua B. Tenenbaum, Armando Solar-Lezama, Vikash K. Mansinghka
2025	A*	`conf`	VLMaterial: Procedural Material Generation with Large Vision-Language Models. ICLR Beichen Li, Rundi Wu, Armando Solar-Lezama, Changxi Zheng, Liang Shi, Bernd Bickel, Wojciech Matusik
2025	J	`jnl`	VLMaterial: Procedural Material Generation with Large Vision-Language Models. CoRR Beichen Li, Rundi Wu, Armando Solar-Lezama, Changxi Zheng, Liang Shi, Bernd Bickel, Wojciech Matusik
2024	A*	`conf`	CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution. ICML Alex Gu, Baptiste Rozière, Hugh James Leather, Armando Solar-Lezama, Gabriel Synnaeve, Sida Wang
2024	J	`jnl`	CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution. CoRR Alex Gu, Baptiste Rozière, Hugh Leather, Armando Solar-Lezama, Gabriel Synnaeve, Sida I. Wang
2024	B	`conf`	Concept Learning as Coarse-to-Fine Probabilistic Program Induction. CogSci Maddy Bowers, Alexander K. Lew, Wenhao Qi, Joshua S. Rule, Vikash Mansinghka, Josh Tenenbaum, Armando Solar-Lezama
2024	A*	`conf`	Is Self-Repair a Silver Bullet for Code Generation? ICLR Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, Armando Solar-Lezama
2024	J	`jnl`	LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code. CoRR Naman Jain, King Han, Alex Gu, Wen-Ding Li, Fanjia Yan, Tianjun Zhang, Sida Wang, Armando Solar-Lezama, Koushik Sen, Ion Stoica
2024	J	`jnl`	MathDSL: A Domain-Specific Language for Concise Mathematical Solutions Via Program Synthesis. CoRR Sagnik Anupam, Maddy Bowers, Omar Costilla-Reyes, Armando Solar-Lezama
2024	A*	`conf`	MeMo: Meaningful, Modular Controllers via Noise Injection. NeurIPS Megan Tjandrasuwita, Jie Xu, Armando Solar-Lezama, Wojciech Matusik
2024	J	`jnl`	MeMo: Meaningful, Modular Controllers via Noise Injection. CoRR Megan Tjandrasuwita, Jie Xu, Armando Solar-Lezama, Wojciech Matusik
2024	B	`conf`	Pure: Evolving Message Passing To Better Leverage Shared Memory Within Nodes. PPoPP James Psota, Armando Solar-Lezama
2024	—	`conf`	The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations? ACL (Findings) Alex Gu, Wen-Ding Li, Naman Jain, Theo Olausson, Celine Lee, Koushik Sen, Armando Solar-Lezama
2024	J	`jnl`	The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations? CoRR Alex Gu, Wen-Ding Li, Naman Jain, Theo X. Olausson, Celine Lee, Koushik Sen, Armando Solar-Lezama
2024	A*	`conf`	When Do Skills Help Reinforcement Learning? A Theoretical Analysis of Temporal Abstractions. ICML Zhening Li, Gabriel Poesia, Armando Solar-Lezama
2024	J	`jnl`	When Do Skills Help Reinforcement Learning? A Theoretical Analysis of Temporal Abstractions. CoRR Zhening Li, Gabriel Poesia, Armando Solar-Lezama
2023	A*	`conf`	A Dataset for Learning University STEM Courses at Scale and Generating Questions at a Human Level. AAAI 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
2023	J	`jnl`	Combining Functional and Automata Synthesis to Discover Causal Reactive Programs. Proc. ACM Program. Lang. Ria Das, Joshua B. Tenenbaum, Armando Solar-Lezama, Zenna Tavares
2023	J	`jnl`	Demystifying GPT Self-Repair for Code Generation. CoRR Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, Armando Solar-Lezama
2023	J	`jnl`	Inductive Program Synthesis Guided by Observational Program Similarity. Proc. ACM Program. Lang. John K. Feser, Isil Dillig, Armando Solar-Lezama
2023	A*	`conf`	LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers. EMNLP Theo Olausson, Alex Gu, Benjamin Lipkin, Cedegao E. Zhang, Armando Solar-Lezama, Joshua B. Tenenbaum, Roger Levy
2023	J	`jnl`	LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers. CoRR Theo X. Olausson, Alex Gu, Benjamin Lipkin, Cedegao E. Zhang, Armando Solar-Lezama, Joshua B. Tenenbaum, Roger Levy
2023	J	`jnl`	Learning a Hierarchical Planner from Humans in Multiple Generations. CoRR Leonardo Hernandez Cano, Yewen Pu, Robert D. Hawkins, Joshua B. Tenenbaum, Armando Solar-Lezama
2023	J	`jnl`	SPARLING: Learning Latent Representations with Extremely Sparse Activations. CoRR Kavi Gupta, Osbert Bastani, Armando Solar-Lezama
2023	J	`jnl`	Top-Down Synthesis for Library Learning. Proc. ACM Program. Lang. Matthew Bowers, Theo X. Olausson, Lionel Wong, Gabriel Grand, Joshua B. Tenenbaum, Kevin Ellis, Armando Solar-Lezama
2022	J	`jnl`	Automatically deriving control-flow graph generators from operational semantics. Proc. ACM Program. Lang. James Koppel, Jackson Kearl, Armando Solar-Lezama
2022	J	`jnl`	Human Evaluation of Text-to-Image Models on a Multi-Task Benchmark. CoRR 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
2022	A*	`conf`	JoinABLe: Learning Bottom-up Assembly of Parametric CAD Joints. CVPR 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
2022	J	`jnl`	LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions. CoRR Zhening Li, Gabriel Poesia, Omar Costilla-Reyes, Noah D. Goodman, Armando Solar-Lezama
2022	J	`jnl`	Metric Program Synthesis for Inverse CSG. CoRR John K. Feser, Isil Dillig, Armando Solar-Lezama
2022	J	`jnl`	Neurosymbolic Programming for Science. CoRR Jennifer J. Sun, Megan Tjandrasuwita, Atharva Sehgal, Armando Solar-Lezama, Swarat Chaudhuri, Yisong Yue, Omar Costilla-Reyes
2022	J	`jnl`	ObSynth: An Interactive Synthesis System for Generating Object Models from Natural Language Specifications. CoRR Alex Gu, Tamara Mitrovska, Daniela Velez, Jacob Andreas, Armando Solar-Lezama
2022	B	`conf`	Optimizing consistency for partially replicated data stores. PPoPP Ivan Kuraj, Armando Solar-Lezama, Nadia Polikarpova
2022	J	`jnl`	Searching Entangled Program Spaces. CoRR James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova
2022	J	`jnl`	Searching entangled program spaces. Proc. ACM Program. Lang. James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova
2022	J	`jnl`	Top-Down Synthesis for Library Learning. CoRR Matthew Bowers, Theo X. Olausson, Catherine Wong, Gabriel Grand, Joshua B. Tenenbaum, Kevin Ellis, Armando Solar-Lezama
2021	A*	`conf`	A Language for Counterfactual Generative Models. ICML Zenna Tavares, James Koppel, Xin Zhang, Ria Das, Armando Solar-Lezama
2021	A*	`conf`	A large-scale benchmark for few-shot program induction and synthesis. ICML Ferran Alet, Javier Lopez-Contreras, James Koppel, Maxwell I. Nye, Armando Solar-Lezama, Tomás Lozano-Pérez, Leslie Pack Kaelbling, Joshua B. Tenenbaum
2021	A*	`conf`	DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning. PLDI Kevin Ellis, Catherine Wong, Maxwell I. Nye, Mathias Sablé-Meyer, Lucas Morales, Luke B. Hewitt, Luc Cary, Armando Solar-Lezama, Joshua B. Tenenbaum
2021	J	`jnl`	Fusion 360 gallery: a dataset and environment for programmatic CAD construction from human design sequences. ACM Trans. Graph. Karl D. D. Willis, Yewen Pu, Jieliang Luo, Hang Chu, Tao Du, Joseph G. Lambourne, Armando Solar-Lezama, Wojciech Matusik
2021	J	`jnl`	JoinABLe: Learning Bottom-up Assembly of Parametric CAD Joints. CoRR 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
2021	J	`jnl`	Neurosymbolic Programming. Found. Trends Program. Lang. Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama, Yisong Yue
2021	J	`jnl`	Neurosymbolic Transformers for Multi-Agent Communication. CoRR Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama
2021	—	`conf`	Program Sketching by Automatically Generating Mocks from Tests. CAV (1) Nate F. F. Bragg, Jeffrey S. Foster, Cody Roux, Armando Solar-Lezama
2021	A*	`conf`	Program Synthesis Guided Reinforcement Learning for Partially Observed Environments. NeurIPS Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard
2021	J	`jnl`	Program Synthesis Guided Reinforcement Learning. CoRR Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard
2021	A*	`conf`	Representing Partial Programs with Blended Abstract Semantics. ICLR Maxwell I. Nye, Yewen Pu, Matthew Bowers, Jacob Andreas, Joshua B. Tenenbaum, Armando Solar-Lezama
2021	J	`jnl`	Safe Human-Interactive Control via Shielding. CoRR Jeevana Priya Inala, Yecheng Jason Ma, Osbert Bastani, Xin Zhang, Armando Solar-Lezama
2021	J	`jnl`	Special Issue on Syntax-Guided Synthesis Preface. Formal Methods Syst. Des. Dana Fisman, Rishabh Singh, Armando Solar-Lezama
2021	—	`conf`	Verifiably safe exploration for end-to-end reinforcement learning. HSCC Nathan Hunt, Nathan Fulton, Sara Magliacane, Trong Nghia Hoang, Subhro Das, Armando Solar-Lezama
2020	—	`conf`	Aspect-oriented language for reactive distributed applications at the edge. EdgeSys@EuroSys Ivan Kuraj, Armando Solar-Lezama
2020	J	`jnl`	Automatically Deriving Control-Flow Graph Generators from Operational Semantics. CoRR James Koppel, Jackson Kearl, Armando Solar-Lezama
2020	J	`jnl`	Computer-Aided Personalized Education. CoRR 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
2020	J	`jnl`	Deductive optimization of relational data storage. Proc. ACM Program. Lang. John K. Feser, Sam Madden, Nan Tang, Armando Solar-Lezama
2020	J	`jnl`	DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning. CoRR Kevin Ellis, Catherine Wong, Maxwell I. Nye, Mathias Sablé-Meyer, Luc Cary, Lucas Morales, Luke B. Hewitt, Armando Solar-Lezama, Joshua B. Tenenbaum
2020	J	`jnl`	Fusion 360 Gallery: A Dataset and Environment for Programmatic CAD Reconstruction. CoRR Karl D. D. Willis, Yewen Pu, Jieliang Luo, Hang Chu, Tao Du, Joseph G. Lambourne, Armando Solar-Lezama, Wojciech Matusik
2020	—	`conf`	Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis. xxAI@ICML Osbert Bastani, Jeevana Priya Inala, Armando Solar-Lezama
2020	J	`jnl`	Introduction to the Special Issue on PPoPP 2017 (Part 2). ACM Trans. Parallel Comput. Jaejin Lee, Lawrence Rauchwerger, Armando Solar-Lezama, Guy L. Steele Jr.
2020	A*	`conf`	Learning Compositional Rules via Neural Program Synthesis. NeurIPS Maxwell I. Nye, Armando Solar-Lezama, Josh Tenenbaum, Brenden M. Lake
2020	J	`jnl`	Learning Compositional Rules via Neural Program Synthesis. CoRR Maxwell I. Nye, Armando Solar-Lezama, Joshua B. Tenenbaum, Brenden M. Lake
2020	J	`jnl`	Liquid information flow control. Proc. ACM Program. Lang. Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, Armando Solar-Lezama
2020	A*	`conf`	Neurosymbolic Transformers for Multi-Agent Communication. NeurIPS Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama
2020	A*	`conf`	Program Synthesis with Pragmatic Communication. NeurIPS Yewen Pu, Kevin Ellis, Marta Kryven, Josh Tenenbaum, Armando Solar-Lezama
2020	J	`jnl`	Program Synthesis with Pragmatic Communication. CoRR Yewen Pu, Kevin Ellis, Marta Kryven, Josh Tenenbaum, Armando Solar-Lezama
2020	J	`jnl`	Representing Partial Programs with Blended Abstract Semantics. CoRR Maxwell I. Nye, Yewen Pu, Matthew Bowers, Jacob Andreas, Joshua B. Tenenbaum, Armando Solar-Lezama
2020	A*	`conf`	Semantic code search via equational reasoning. PLDI Varot Premtoon, James Koppel, Armando Solar-Lezama
2020	A*	`conf`	Synthesizing Programmatic Policies that Inductively Generalize. ICLR Jeevana Priya Inala, Osbert Bastani, Zenna Tavares, Armando Solar-Lezama
2020	J	`jnl`	Verifiably Safe Exploration for End-to-End Reinforcement Learning. CoRR Nathan Hunt, Nathan Fulton, Sara Magliacane, Nghia Hoang, Subhro Das, Armando Solar-Lezama
2019	J	`jnl`	Deductive Optimization of Relational Data Storage. CoRR John K. Feser, Samuel Madden, Nan Tang, Armando Solar-Lezama
2019	J	`jnl`	Introduction to the Special Issue on PPoPP 2017 (Part 1). ACM Trans. Parallel Comput. Lawrence Rauchwerger, Jaejin Lee, Armando Solar-Lezama, Guy L. Steele Jr.
2019	A*	`conf`	Learning to Infer Program Sketches. ICML Maxwell I. Nye, Luke B. Hewitt, Joshua B. Tenenbaum, Armando Solar-Lezama
2019	J	`jnl`	Learning to Infer Program Sketches. CoRR Maxwell I. Nye, Luke B. Hewitt, Joshua B. Tenenbaum, Armando Solar-Lezama
2019	—	`conf`	Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems. CAV (2) Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Aréchiga, Soonho Kong
2019	A*	`conf`	Predicate Exchange: Inference with Declarative Knowledge. ICML Zenna Tavares, Javier Burroni, Edgar Minasyan, Armando Solar-Lezama, Rajesh Ranganath
2019	J	`jnl`	Probabilistic verification of fairness properties via concentration. Proc. ACM Program. Lang. Osbert Bastani, Xin Zhang, Armando Solar-Lezama
2019	—	`ed.`	Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL@PLDI 2019, Phoenix, AZ, USA, June 22, 2019 MAPL@PLDI Tim Mattson, Abdullah Muzahid, Armando Solar-Lezama
2019	J	`jnl`	Program synthesis with algebraic library specifications. Proc. ACM Program. Lang. Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama
2019	J	`jnl`	Soft Constraints for Inference with Declarative Knowledge. CoRR Zenna Tavares, Javier Burroni, Edgar Minaysan, Armando Solar-Lezama, Rajesh Ranganath
2019	J	`jnl`	Synthesizing Queries via Interactive Sketching. CoRR Osbert Bastani, Xin Zhang, Armando Solar-Lezama
2019	A*	`conf`	Task-Based Design of Ad-hoc Modular Manipulators. ICRA Thais Campos, Jeevana Priya Inala, Armando Solar-Lezama, Hadas Kress-Gazit
2019	J	`jnl`	The Random Conditional Distribution for Higher-Order Probabilistic Inference. CoRR Zenna Tavares, Xin Zhang, Edgar Minaysan, Javier Burroni, Rajesh Ranganath, Armando Solar-Lezama
2019	A*	`conf`	Write, Execute, Assess: Program Synthesis with a REPL. NeurIPS Kevin Ellis, Maxwell I. Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, Armando Solar-Lezama
2019	J	`jnl`	Write, Execute, Assess: Program Synthesis with a REPL. CoRR Kevin Ellis, Maxwell I. Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, Armando Solar-Lezama
2018	J	`jnl`	Capturing the future by replaying the past (functional pearl). Proc. ACM Program. Lang. James Koppel, Gabriel Scherer, Armando Solar-Lezama
2018	—	`conf`	Delta-Decision Procedures for Exists-Forall Problems over the Reals. CAV (2) Soonho Kong, Armando Solar-Lezama, Sicun Gao
2018	J	`jnl`	Delta-Decision Procedures for Exists-Forall Problems over the Reals. CoRR Soonho Kong, Armando Solar-Lezama, Sicun Gao
2018	A*	`conf`	Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections. NeurIPS Xin Zhang, Armando Solar-Lezama, Rishabh Singh
2018	J	`jnl`	Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections. CoRR Xin Zhang, Armando Solar-Lezama, Rishabh Singh
2018	J	`jnl`	InverseCSG: automatic conversion of 3D models to CSG trees. ACM Trans. Graph. Tao Du, Jeevana Priya Inala, Yewen Pu, Andrew Spielberg, Adriana Schulz, Daniela Rus, Armando Solar-Lezama, Wojciech Matusik
2018	A*	`conf`	Learning Libraries of Subroutines for Neurally-Guided Bayesian Program Induction. NeurIPS Kevin Ellis, Lucas Morales, Mathias Sablé-Meyer, Armando Solar-Lezama, Josh Tenenbaum
2018	A*	`conf`	Learning to Infer Graphics Programs from Hand-Drawn Images. NeurIPS Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, Josh Tenenbaum
2018	J	`jnl`	One tool, many languages: language-parametric transformation with incremental parametric syntax. Proc. ACM Program. Lang. James Koppel, Varot Premtoon, Armando Solar-Lezama
2018	J	`jnl`	REAS: Combining Numerical Optimization with SAT Solving. CoRR Jeevana Priya Inala, Sicun Gao, Soonho Kong, Armando Solar-Lezama
2018	J	`jnl`	Search-based program synthesis. Commun. ACM Rajeev Alur, Rishabh Singh, Dana Fisman, Armando Solar-Lezama
2018	A*	`conf`	Selecting Representative Examples for Program Synthesis. ICML Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Pack Kaelbling
2018	J	`jnl`	The Three Pillars of Machine-Based Programming. CoRR Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin C. Rinard, Regina Barzilay, Saman P. Amarasinghe, Joshua B. Tenenbaum, Tim Mattson
2018	—	`conf`	The three pillars of machine programming. MAPL@PLDI Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin C. Rinard, Regina Barzilay, Saman P. Amarasinghe, Joshua B. Tenenbaum, Tim Mattson
2018	A*	`conf`	Verifiable Reinforcement Learning via Policy Extraction. NeurIPS Osbert Bastani, Yewen Pu, Armando Solar-Lezama
2018	J	`jnl`	Verifiable Reinforcement Learning via Policy Extraction. CoRR Osbert Bastani, Yewen Pu, Armando Solar-Lezama
2018	J	`jnl`	Verifying Fairness Properties via Concentration. CoRR Osbert Bastani, Xin Zhang, Armando Solar-Lezama
2017	J	`jnl`	An empirical study of adaptive concretization for parallel program synthesis. Formal Methods Syst. Des. Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster
2017	J	`jnl`	Autogen: Automatic Discovery of Efficient Recursive Divide-8-Conquer Algorithms for Solving Dynamic Programming Problems. ACM Trans. Parallel Comput. Rezaul Chowdhury, Pramod Ganapathi, Stephen L. Tschudi, Jesmin Jahan Tithi, Charles Bachmeier, Charles E. Leiserson, Armando Solar-Lezama, Bradley C. Kuszmaul, Yuan Tang
2017	J	`jnl`	Capturing the Future by Replaying the Past. CoRR James Koppel, Armando Solar-Lezama
2017	A*	`conf`	DemoMatch: API discovery from demonstrations. PLDI Kuat Yessenov, Ivan Kuraj, Armando Solar-Lezama
2017	—	`conf`	Generating Concise Entity Matching Rules. SIGMOD Conference Rohit Singh, Venkata Vamsikrishna Meduri, Ahmed K. Elmagarmid, Samuel Madden, Paolo Papotti, Jorge-Arnulfo Quiané-Ruiz, Armando Solar-Lezama, Nan Tang
2017	J	`jnl`	Incremental Parametric Syntax for Multi-Language Transformation. CoRR James Koppel, Armando Solar-Lezama
2017	—	`conf`	Incremental parametric syntax for multi-language transformation. SPLASH (Companion Volume) James Koppel, Armando Solar-Lezama
2017	A	`conf`	Learning to Acquire Information. UAI Yewen Pu, Leslie Pack Kaelbling, Armando Solar-Lezama
2017	J	`jnl`	Learning to Acquire Information. CoRR Yewen Pu, Leslie Pack Kaelbling, Armando Solar-Lezama
2017	J	`jnl`	Learning to Infer Graphics Programs from Hand-Drawn Images. CoRR Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, Joshua B. Tenenbaum
2017	J	`jnl`	Learning to select examples for program synthesis. CoRR Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Pack Kaelbling
2017	—	`conf`	Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems. SNAPL Ivan Kuraj, Armando Solar-Lezama
2017	—	`conf`	Mental Representations as Distribution-Sensitive Data Structures. AAAI Spring Symposia Zenna Tavares, Armando Solar-Lezama
2017	J	`jnl`	Natural synthesis of provably-correct data-structure manipulations. Proc. ACM Program. Lang. Xiaokang Qiu, Armando Solar-Lezama
2017	—	`conf`	QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge. SPLASH (Companion Volume) Derrick Lin, James Koppel, Angela Chen, Armando Solar-Lezama
2017	J	`jnl`	Report of the HPC Correctness Summit, Jan 25-26, 2017, Washington, DC. CoRR Ganesh Gopalakrishnan, Paul D. Hovland, Costin Iancu, Sriram Krishnamoorthy, Ignacio Laguna, Richard A. Lethin, Koushik Sen, Stephen F. Siegel, Armando Solar-Lezama
2017	—	`conf`	SyGuS-Comp 2017: Results and Analysis. SYNT@CAV Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
2017	—	`conf`	Synthesis of Recursive ADT Transformations from Reusable Templates. TACAS (1) Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama
2017	J	`jnl`	Synthesizing Entity Matching Rules by Examples. Proc. VLDB Endow. Rohit Singh, Venkata Vamsikrishna Meduri, Ahmed K. Elmagarmid, Samuel Madden, Paolo Papotti, Jorge-Arnulfo Quiané-Ruiz, Armando Solar-Lezama, Nan Tang
2016	J	`jnl`	A differential approach to undefined behavior detection. Commun. ACM Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama
2016	B	`conf`	AUTOGEN: automatic discovery of cache-oblivious parallel recursive algorithms for solving dynamic programs. PPoPP Rezaul Alam Chowdhury, Pramod Ganapathi, Jesmin Jahan Tithi, Charles Bachmeier, Bradley C. Kuszmaul, Charles E. Leiserson, Armando Solar-Lezama, Yuan Tang
2016	J	`jnl`	Automatic Generation of Formula Simplifiers based on Conditional Rewrite Rules. CoRR Rohit Singh, Armando Solar-Lezama
2016	J	`jnl`	Computer-Assisted Query Formulation. Found. Trends Program. Lang. Alvin Cheung, Armando Solar-Lezama
2016	A	`conf`	Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations. OOPSLA Shachar Itzhaky, Rohit Singh, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles E. Leiserson, Rezaul Alam Chowdhury
2016	A*	`conf`	Precise, dynamic information flow for database-backed applications. PLDI Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong
2016	A*	`conf`	Program synthesis from polymorphic refinement types. PLDI Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama
2016	B	`conf`	SWAPPER: A framework for automatic generation of formula simplifiers based on conditional rewrite rules. FMCAD Rohit Singh, Armando Solar-Lezama
2016	—	`conf`	Sampling for Bayesian Program Learning. NIPS Kevin Ellis, Armando Solar-Lezama, Josh Tenenbaum
2016	J	`jnl`	Sloth: Being Lazy Is a Virtue (When Issuing Database Queries). ACM Trans. Database Syst. Alvin Cheung, Samuel Madden, Armando Solar-Lezama
2016	—	`conf`	SyGuS-Comp 2016: Results and Analysis. SYNT@CAV Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
2016	A	`conf`	Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers. SAT Jeevana Priya Inala, Rohit Singh, Armando Solar-Lezama
2016	A*	`conf`	Synthesizing framework models for symbolic execution. ICSE Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, Armando Solar-Lezama
2016	J	`jnl`	Type-Driven Repair for Information Flow Security. CoRR Nadia Polikarpova, Jean Yang, Shachar Itzhaky, Armando Solar-Lezama
2016	A*	`conf`	Verified lifting of stencil computations. PLDI Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, Armando Solar-Lezama
2016	—	`conf`	sk_p: a neural program corrector for MOOCs. SPLASH (Companion Volume) Yewen Pu, Karthik Narasimhan, Armando Solar-Lezama, Regina Barzilay
2016	J	`jnl`	sk_p: a neural program corrector for MOOCs. CoRR Yewen Pu, Karthik Narasimhan, Armando Solar-Lezama, Regina Barzilay
2015	J	`jnl`	A Differential Approach to Undefined Behavior Detection. ACM Trans. Comput. Syst. Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama
2015	—	`conf`	Adaptive Concretization for Parallel Program Synthesis. CAV (2) Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster
2015	—	`conf`	Automated vulnerability analysis of AC state estimation under constrained false data injection in electric power systems. CDC Sicun Gao, Le Xie, Armando Solar-Lezama, Dimitrios N. Serpanos, Howard E. Shrobe
2015	—	`conf`	Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis. SNAPL Alvin Cheung, Shoaib Kamil, Armando Solar-Lezama
2015	J	`jnl`	End-To-End Policy-Agnostic Security for Database-Backed Applications. CoRR Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong
2015	J	`jnl`	JSKETCH: Sketching for Java. CoRR Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama
2015	—	`conf`	JSketch: sketching for Java. ESEC/SIGSOFT FSE Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama
2015	J	`jnl`	Program Synthesis from Polymorphic Refinement Types. CoRR Nadia Polikarpova, Armando Solar-Lezama
2015	—	`conf`	Results and Analysis of SyGuS-Comp'15. SYNT Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
2015	—	`ch.`	Syntax-Guided Synthesis. Dependable Software Systems Engineering 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
2015	J	`jnl`	Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types. CoRR Jeevana Priya Inala, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama
2015	—	`conf`	Unsupervised Learning by Program Synthesis. NIPS Kevin Ellis, Armando Solar-Lezama, Joshua B. Tenenbaum
2014	A*	`conf`	Bridging boolean and quantitative synthesis using smoothed proof search. POPL Swarat Chaudhuri, Martin Clochard, Armando Solar-Lezama
2014	A	`conf`	Improving Genetic Programming with Behavioral Consistency Measure. PPSN Krzysztof Krawiec, Armando Solar-Lezama
2014	A	`conf`	MSL: A Synthesis Enabled Language for Distributed Implementations. SC Zhilei Xu, Shoaib Kamil, Armando Solar-Lezama
2014	B	`conf`	Modular Synthesis of Sketches Using Models. VMCAI Rohit Singh, Rishabh Singh, Zhilei Xu, Rebecca Krosnick, Armando Solar-Lezama
2014	—	`ed.`	Proceedings Second Workshop on Synthesis, SYNT 2013, Saint Petersburg, Russia, July 13th and July 14th, 2013. SYNT Bernd Finkbeiner, Armando Solar-Lezama
2014	—	`conf`	Sloth: being lazy is a virtue (when issuing database queries). SIGMOD Conference Alvin Cheung, Samuel Madden, Armando Solar-Lezama
2014	J	`jnl`	Using Program Analysis to Improve Database Applications. IEEE Data Eng. Bull. Alvin Cheung, Samuel Madden, Armando Solar-Lezama, Owen Arden, Andrew C. Myers
2013	J	`jnl`	(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints. CoRR Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard
2013	A*	`conf`	Automated feedback generation for introductory programming assignments. PLDI Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama
2013	—	`conf`	Faceted execution of policy-agnostic programs. PLAS Thomas H. Austin, Jean Yang, Cormac Flanagan, Armando Solar-Lezama
2013	A*	`conf`	Optimizing database-backed applications with query synthesis. PLDI Alvin Cheung, Armando Solar-Lezama, Samuel Madden
2013	J	`jnl`	Program sketching. Int. J. Softw. Tools Technol. Transf. Armando Solar-Lezama
2013	A	`conf`	StatusQuo: Making Familiar Abstractions Perform Using Program Analysis. CIDR Alvin Cheung, Owen Arden, Samuel Madden, Armando Solar-Lezama, Andrew C. Myers
2013	B	`conf`	Syntax-guided synthesis. FMCAD 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
2013	A*	`conf`	Towards optimization-safe systems: analyzing the impact of undefined behavior. SOSP Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama
2012	A*	`conf`	A language for automatically enforcing privacy policies. POPL Jean Yang, Kuat Yessenov, Armando Solar-Lezama
2012	J	`jnl`	Automated Semantic Grading of Programs CoRR Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama
2012	A*	`conf`	Euler: A System for Numerical Optimization of Programs. CAV Swarat Chaudhuri, Armando Solar-Lezama
2012	J	`jnl`	Inferring SQL Queries Using Program Synthesis CoRR Alvin Cheung, Armando Solar-Lezama, Samuel Madden
2012	A	`conf`	Lynx: A Programmatic SAT Solver for the RNA-Folding Problem. SAT Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas, Martin C. Rinard, Armando Solar-Lezama
2012	A*	`conf`	SPT: Storyboard Programming Tool. CAV Rishabh Singh, Armando Solar-Lezama
2012	J	`jnl`	Using Program Synthesis for Social Recommendations CoRR Alvin Cheung, Armando Solar-Lezama, Samuel Madden
2012	A	`conf`	Using program synthesis for social recommendations. CIKM Alvin Cheung, Armando Solar-Lezama, Samuel Madden
2012	—	`conf`	Word Equations with Length Constraints: What's Decidable? Haifa Verification Conference Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard
2011	A	`conf`	Data-driven synthesis for object-oriented frameworks. OOPSLA Kuat Yessenov, Zhilei Xu, Armando Solar-Lezama
2011	—	`conf`	Partial replay of long-running applications. SIGSOFT FSE Alvin Cheung, Armando Solar-Lezama, Samuel Madden
2011	A*	`conf`	Smoothing a Program Soundly and Robustly. CAV Swarat Chaudhuri, Armando Solar-Lezama
2011	—	`conf`	Synthesizing data structure manipulations from storyboards. SIGSOFT FSE Rishabh Singh, Armando Solar-Lezama
2010	A*	`conf`	Smooth interpretation. PLDI Swarat Chaudhuri, Armando Solar-Lezama
2009	B	`conf`	The Sketching Approach to Program Synthesis. APLAS Armando Solar-Lezama
2008	A*	`conf`	Sketching concurrent data structures. PLDI Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík
2007	A*	`conf`	Sketching stencils. PLDI Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia
2006	A*	`conf`	Combinatorial sketching for finite programs. ASPLOS Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat
2005	A*	`conf`	Programming by sketching for bit-streaming programs. PLDI Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu