Programming by sketching for bit-streaming programs. - Armando Solar-Lezama; Rodric M. Rabbah; Rastislav Bodík; Kemal Ebcioglu (PLDI, 2005)

Combinatorial sketching for finite programs. - Armando Solar-Lezama; Liviu Tancau; Rastislav Bodík; Sanjit A. Seshia; Vijay A. Saraswat (ASPLOS, 2006)

Sketching stencils. - Armando Solar-Lezama; Gilad Arnold; Liviu Tancau; Rastislav Bodík; Vijay A. Saraswat; Sanjit A. Seshia (PLDI, 2007)

Sketching concurrent data structures. - Armando Solar-Lezama; Christopher Grant Jones; Rastislav Bodík (PLDI, 2008)

The Sketching Approach to Program Synthesis. - Armando Solar-Lezama (APLAS, 2009)

Smooth interpretation. - Swarat Chaudhuri; Armando Solar-Lezama (PLDI, 2010)

Smoothing a Program Soundly and Robustly. - Swarat Chaudhuri; Armando Solar-Lezama (CAV, 2011)

Data-driven synthesis for object-oriented frameworks. - Kuat Yessenov; Zhilei Xu; Armando Solar-Lezama (OOPSLA, 2011)

Partial replay of long-running applications. - Alvin Cheung; Armando Solar-Lezama; Samuel Madden 001 (SIGSOFT FSE, 2011)

Synthesizing data structure manipulations from storyboards. - Rishabh Singh; Armando Solar-Lezama (SIGSOFT FSE, 2011)

Euler: A System for Numerical Optimization of Programs. - Swarat Chaudhuri; Armando Solar-Lezama (CAV, 2012)

SPT: Storyboard Programming Tool. - Rishabh Singh; Armando Solar-Lezama (CAV, 2012)

Using program synthesis for social recommendations. - Alvin Cheung; Armando Solar-Lezama; Samuel Madden 001 (CIKM, 2012)

Word Equations with Length Constraints: What's Decidable? - Vijay Ganesh 001; Mia Minnes; Armando Solar-Lezama; Martin C. Rinard (Haifa Verification Conference, 2012)

A language for automatically enforcing privacy policies. - Jean Yang 001; Kuat Yessenov; Armando Solar-Lezama (POPL, 2012)

Lynx: A Programmatic SAT Solver for the RNA-Folding Problem. - Vijay Ganesh 001; Charles W. O'Donnell; Mate Soos; Srinivas Devadas; Martin C. Rinard; Armando Solar-Lezama (SAT, 2012)

Automated Semantic Grading of Programs - Rishabh Singh; Sumit Gulwani; Armando Solar-Lezama (CoRR, 2012)

Inferring SQL Queries Using Program Synthesis - Alvin Cheung; Armando Solar-Lezama; Samuel Madden 001 (CoRR, 2012)

StatusQuo: Making Familiar Abstractions Perform Using Program Analysis. - Alvin Cheung; Owen Arden; Samuel Madden 001; Armando Solar-Lezama; Andrew C. Myers (CIDR, 2013)

Syntax-guided synthesis. - 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 (FMCAD, 2013)

Faceted execution of policy-agnostic programs. - Thomas H. Austin; Jean Yang 001; Cormac Flanagan; Armando Solar-Lezama (PLAS, 2013)

Optimizing database-backed applications with query synthesis. - Alvin Cheung; Armando Solar-Lezama; Samuel Madden 001 (PLDI, 2013)

Automated feedback generation for introductory programming assignments. - Rishabh Singh; Sumit Gulwani; Armando Solar-Lezama (PLDI, 2013)

Towards optimization-safe systems: analyzing the impact of undefined behavior. - Xi Wang 005; Nickolai Zeldovich; M. Frans Kaashoek; Armando Solar-Lezama (SOSP, 2013)

(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints. - Vijay Ganesh 001; Mia Minnes; Armando Solar-Lezama; Martin C. Rinard (CoRR, 2013)

Program sketching. - Armando Solar-Lezama (Int. J. Softw. Tools Technol. Transf., 2013)

Bridging boolean and quantitative synthesis using smoothed proof search. - Swarat Chaudhuri; Martin Clochard; Armando Solar-Lezama (POPL, 2014)

Improving Genetic Programming with Behavioral Consistency Measure. - Krzysztof Krawiec; Armando Solar-Lezama (PPSN, 2014)

MSL: A Synthesis Enabled Language for Distributed Implementations. - Zhilei Xu; Shoaib Kamil 001; Armando Solar-Lezama (SC, 2014)

Modular Synthesis of Sketches Using Models. - Rohit Singh 002; Rishabh Singh; Zhilei Xu; Rebecca Krosnick; Armando Solar-Lezama (VMCAI, 2014)

Using Program Analysis to Improve Database Applications. - Alvin Cheung; Samuel Madden 001; Armando Solar-Lezama; Owen Arden; Andrew C. Myers (IEEE Data Eng. Bull., 2014)

Adaptive Concretization for Parallel Program Synthesis. - Jinseong Jeon; Xiaokang Qiu; Armando Solar-Lezama; Jeffrey S. Foster (CAV (2), 2015)

Automated vulnerability analysis of AC state estimation under constrained false data injection in electric power systems. - Sicun Gao; Le Xie 001; Armando Solar-Lezama; Dimitrios N. Serpanos; Howard E. Shrobe (CDC, 2015)

Unsupervised Learning by Program Synthesis. - Kevin Ellis; Armando Solar-Lezama; Joshua B. Tenenbaum (NIPS, 2015)

JSketch: sketching for Java. - Jinseong Jeon; Xiaokang Qiu; Jeffrey S. Foster; Armando Solar-Lezama (ESEC/SIGSOFT FSE, 2015)

Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis. - Alvin Cheung; Shoaib Kamil 001; Armando Solar-Lezama (SNAPL, 2015)

Results and Analysis of SyGuS-Comp'15. - Rajeev Alur; Dana Fisman; Rishabh Singh; Armando Solar-Lezama (SYNT, 2015)

Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types. - Jeevana Priya Inala; Xiaokang Qiu; Benjamin S. Lerner; Armando Solar-Lezama (CoRR, 2015)

Program Synthesis from Polymorphic Refinement Types. - Nadia Polikarpova; Armando Solar-Lezama (CoRR, 2015)

End-To-End Policy-Agnostic Security for Database-Backed Applications. - Jean Yang 001; Travis Hance; Thomas H. Austin; Armando Solar-Lezama; Cormac Flanagan; Stephen Chong (CoRR, 2015)

A Differential Approach to Undefined Behavior Detection. - Xi Wang 005; Nickolai Zeldovich; M. Frans Kaashoek; Armando Solar-Lezama (ACM Trans. Comput. Syst., 2015)

Syntax-Guided Synthesis. - Rajeev Alur; Rastislav Bodík; Eric Dallal; Dana Fisman; Pranav Garg 001; Garvit Juniwal; Hadas Kress-Gazit; P. Madhusudan; Milo M. K. Martin; Mukund Raghothaman; Shambwaditya Saha; Sanjit A. Seshia; et al. (Dependable Software Systems Engineering, 2015)

SWAPPER: A framework for automatic generation of formula simplifiers based on conditional rewrite rules. - Rohit Singh 002; Armando Solar-Lezama (FMCAD, 2016)

Synthesizing framework models for symbolic execution. - Jinseong Jeon; Xiaokang Qiu; Jonathan Fetter-Degges; Jeffrey S. Foster; Armando Solar-Lezama (ICSE, 2016)

Sampling for Bayesian Program Learning. - Kevin Ellis; Armando Solar-Lezama; Josh Tenenbaum 001 (NIPS, 2016)

Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations. - Shachar Itzhaky; Rohit Singh 002; Armando Solar-Lezama; Kuat Yessenov; Yongquan Lu; Charles E. Leiserson; Rezaul Alam Chowdhury (OOPSLA, 2016)

sk_p: a neural program corrector for MOOCs. - Yewen Pu; Karthik Narasimhan; Armando Solar-Lezama; Regina Barzilay (SPLASH (Companion Volume), 2016)

Verified lifting of stencil computations. - Shoaib Kamil 001; Alvin Cheung; Shachar Itzhaky; Armando Solar-Lezama (PLDI, 2016)

Program synthesis from polymorphic refinement types. - Nadia Polikarpova; Ivan Kuraj; Armando Solar-Lezama (PLDI, 2016)

Precise, dynamic information flow for database-backed applications. - Jean Yang 001; Travis Hance; Thomas H. Austin; Armando Solar-Lezama; Cormac Flanagan; Stephen Chong (PLDI, 2016)

AUTOGEN: automatic discovery of cache-oblivious parallel recursive algorithms for solving dynamic programs. - Rezaul Alam Chowdhury; Pramod Ganapathi; Jesmin Jahan Tithi; Charles Bachmeier; Bradley C. Kuszmaul; Charles E. Leiserson; Armando Solar-Lezama; Yuan Tang (PPoPP, 2016)

Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers. - Jeevana Priya Inala; Rohit Singh 002; Armando Solar-Lezama (SAT, 2016)

Automatic Generation of Formula Simplifiers based on Conditional Rewrite Rules. - Rohit Singh 002; Armando Solar-Lezama (CoRR, 2016)

SyGuS-Comp 2016: Results and Analysis. - Rajeev Alur; Dana Fisman; Rishabh Singh; Armando Solar-Lezama (SYNT@CAV, 2016)

Type-Driven Repair for Information Flow Security. - Nadia Polikarpova; Jean Yang 001; Shachar Itzhaky; Armando Solar-Lezama (CoRR, 2016)

Computer-Assisted Query Formulation. - Alvin Cheung; Armando Solar-Lezama (Found. Trends Program. Lang., 2016)

Sloth: Being Lazy Is a Virtue (When Issuing Database Queries). - Alvin Cheung; Samuel Madden 001; Armando Solar-Lezama (ACM Trans. Database Syst., 2016)

Mental Representations as Distribution-Sensitive Data Structures. - Zenna Tavares; Armando Solar-Lezama (AAAI Spring Symposia, 2017)

Incremental parametric syntax for multi-language transformation. - James Koppel; Armando Solar-Lezama (SPLASH (Companion Volume), 2017)

QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge. - Derrick Lin; James Koppel; Angela Chen; Armando Solar-Lezama (SPLASH (Companion Volume), 2017)

DemoMatch: API discovery from demonstrations. - Kuat Yessenov; Ivan Kuraj; Armando Solar-Lezama (PLDI, 2017)

Generating Concise Entity Matching Rules. - Rohit Singh 002; Venkata Vamsikrishna Meduri; Ahmed K. Elmagarmid; Samuel Madden 001; Paolo Papotti; Jorge-Arnulfo Quiané-Ruiz; Armando Solar-Lezama; Nan Tang 001 (SIGMOD Conference, 2017)

Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems. - Ivan Kuraj; Armando Solar-Lezama (SNAPL, 2017)

Synthesis of Recursive ADT Transformations from Reusable Templates. - Jeevana Priya Inala; Nadia Polikarpova; Xiaokang Qiu; Benjamin S. Lerner; Armando Solar-Lezama (TACAS (1), 2017)

Learning to Acquire Information. - Yewen Pu; Leslie Pack Kaelbling; Armando Solar-Lezama (UAI, 2017)

Report of the HPC Correctness Summit, Jan 25-26, 2017, Washington, DC. - Ganesh Gopalakrishnan; Paul D. Hovland; Costin Iancu; Sriram Krishnamoorthy; Ignacio Laguna; Richard A. Lethin; Koushik Sen; Stephen F. Siegel; Armando Solar-Lezama (CoRR, 2017)

Capturing the Future by Replaying the Past. - James Koppel; Armando Solar-Lezama (CoRR, 2017)

Learning to select examples for program synthesis. - Yewen Pu; Zachery Miranda; Armando Solar-Lezama; Leslie Pack Kaelbling (CoRR, 2017)

SyGuS-Comp 2017: Results and Analysis. - Rajeev Alur; Dana Fisman; Rishabh Singh; Armando Solar-Lezama (SYNT@CAV, 2017)

An empirical study of adaptive concretization for parallel program synthesis. - Jinseong Jeon; Xiaokang Qiu; Armando Solar-Lezama; Jeffrey S. Foster (Formal Methods Syst. Des., 2017)

Natural synthesis of provably-correct data-structure manipulations. - Xiaokang Qiu; Armando Solar-Lezama (Proc. ACM Program. Lang., 2017)

Synthesizing Entity Matching Rules by Examples. - Rohit Singh 002; Venkata Vamsikrishna Meduri; Ahmed K. Elmagarmid; Samuel Madden 001; Paolo Papotti; Jorge-Arnulfo Quiané-Ruiz; Armando Solar-Lezama; Nan Tang 001 (Proc. VLDB Endow., 2017)

Autogen: Automatic Discovery of Efficient Recursive Divide-8-Conquer Algorithms for Solving Dynamic Programming Problems. - Rezaul Chowdhury; Pramod Ganapathi; Stephen L. Tschudi; Jesmin Jahan Tithi; Charles Bachmeier; Charles E. Leiserson; Armando Solar-Lezama; Bradley C. Kuszmaul; Yuan Tang (ACM Trans. Parallel Comput., 2017)

Delta-Decision Procedures for Exists-Forall Problems over the Reals. - Soonho Kong; Armando Solar-Lezama; Sicun Gao (CAV (2), 2018)

Selecting Representative Examples for Program Synthesis. - Yewen Pu; Zachery Miranda; Armando Solar-Lezama; Leslie Pack Kaelbling (ICML, 2018)

Verifiable Reinforcement Learning via Policy Extraction. - Osbert Bastani; Yewen Pu; Armando Solar-Lezama (NeurIPS, 2018)

Learning Libraries of Subroutines for Neurally-Guided Bayesian Program Induction. - Kevin Ellis; Lucas Morales; Mathias Sablé-Meyer; Armando Solar-Lezama; Josh Tenenbaum 001 (NeurIPS, 2018)

Learning to Infer Graphics Programs from Hand-Drawn Images. - Kevin Ellis; Daniel Ritchie; Armando Solar-Lezama; Josh Tenenbaum 001 (NeurIPS, 2018)

Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections. - Xin Zhang 035; Armando Solar-Lezama; Rishabh Singh (NeurIPS, 2018)

The three pillars of machine programming. - Justin Gottschlich; Armando Solar-Lezama; Nesime Tatbul; Michael Carbin; Martin C. Rinard; Regina Barzilay; Saman P. Amarasinghe; Joshua B. Tenenbaum; Tim Mattson (MAPL@PLDI, 2018)

Search-based program synthesis. - Rajeev Alur; Rishabh Singh; Dana Fisman; Armando Solar-Lezama (Commun. ACM, 2018)

REAS: Combining Numerical Optimization with SAT Solving. - Jeevana Priya Inala; Sicun Gao; Soonho Kong; Armando Solar-Lezama (CoRR, 2018)

The Three Pillars of Machine-Based Programming. - Justin Gottschlich; Armando Solar-Lezama; Nesime Tatbul; Michael Carbin; Martin C. Rinard; Regina Barzilay; Saman P. Amarasinghe; Joshua B. Tenenbaum; Tim Mattson (CoRR, 2018)

Verifying Fairness Properties via Concentration. - Osbert Bastani; Xin Zhang 035; Armando Solar-Lezama (CoRR, 2018)

One tool, many languages: language-parametric transformation with incremental parametric syntax. - James Koppel; Varot Premtoon; Armando Solar-Lezama (Proc. ACM Program. Lang., 2018)

Capturing the future by replaying the past (functional pearl). - James Koppel; Gabriel Scherer; Armando Solar-Lezama (Proc. ACM Program. Lang., 2018)

InverseCSG: automatic conversion of 3D models to CSG trees. - Tao Du 001; Jeevana Priya Inala; Yewen Pu; Andrew Spielberg; Adriana Schulz; Daniela Rus; Armando Solar-Lezama; Wojciech Matusik (ACM Trans. Graph., 2018)

Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems. - Sicun Gao; James Kapinski; Jyotirmoy V. Deshmukh; Nima Roohi; Armando Solar-Lezama; Nikos Aréchiga; Soonho Kong (CAV (2), 2019)

Learning to Infer Program Sketches. - Maxwell I. Nye; Luke B. Hewitt; Joshua B. Tenenbaum; Armando Solar-Lezama (ICML, 2019)

Predicate Exchange: Inference with Declarative Knowledge. - Zenna Tavares; Javier Burroni; Edgar Minasyan; Armando Solar-Lezama; Rajesh Ranganath (ICML, 2019)

Task-Based Design of Ad-hoc Modular Manipulators. - Thais Campos; Jeevana Priya Inala; Armando Solar-Lezama; Hadas Kress-Gazit (ICRA, 2019)

Write, Execute, Assess: Program Synthesis with a REPL. - Kevin Ellis; Maxwell I. Nye; Yewen Pu; Felix Sosa; Josh Tenenbaum 001; Armando Solar-Lezama (NeurIPS, 2019)

Soft Constraints for Inference with Declarative Knowledge. - Zenna Tavares; Javier Burroni; Edgar Minaysan; Armando Solar-Lezama; Rajesh Ranganath (CoRR, 2019)

The Random Conditional Distribution for Higher-Order Probabilistic Inference. - Zenna Tavares; Xin Zhang 035; Edgar Minaysan; Javier Burroni; Rajesh Ranganath; Armando Solar-Lezama (CoRR, 2019)

Synthesizing Queries via Interactive Sketching. - Osbert Bastani; Xin Zhang 035; Armando Solar-Lezama (CoRR, 2019)

Probabilistic verification of fairness properties via concentration. - Osbert Bastani; Xin Zhang 035; Armando Solar-Lezama (Proc. ACM Program. Lang., 2019)

Program synthesis with algebraic library specifications. - Benjamin Mariano; Josh Reese; Siyuan Xu; ThanhVu Nguyen; Xiaokang Qiu; Jeffrey S. Foster; Armando Solar-Lezama (Proc. ACM Program. Lang., 2019)

Introduction to the Special Issue on PPoPP 2017 (Part 1). - Lawrence Rauchwerger; Jaejin Lee; Armando Solar-Lezama; Guy L. Steele Jr. (ACM Trans. Parallel Comput., 2019)

Aspect-oriented language for reactive distributed applications at the edge. - Ivan Kuraj; Armando Solar-Lezama (EdgeSys@EuroSys, 2020)

Synthesizing Programmatic Policies that Inductively Generalize. - Jeevana Priya Inala; Osbert Bastani; Zenna Tavares; Armando Solar-Lezama (ICLR, 2020)

Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis. - Osbert Bastani; Jeevana Priya Inala; Armando Solar-Lezama (xxAI@ICML, 2020)

Neurosymbolic Transformers for Multi-Agent Communication. - Jeevana Priya Inala; Yichen Yang 008; James Paulos; Yewen Pu; Osbert Bastani; Vijay Kumar 001; Martin C. Rinard; Armando Solar-Lezama (NeurIPS, 2020)

Learning Compositional Rules via Neural Program Synthesis. - Maxwell I. Nye; Armando Solar-Lezama; Josh Tenenbaum 001; Brenden M. Lake (NeurIPS, 2020)

Program Synthesis with Pragmatic Communication. - Yewen Pu; Kevin Ellis; Marta Kryven; Josh Tenenbaum 001; Armando Solar-Lezama (NeurIPS, 2020)

Semantic code search via equational reasoning. - Varot Premtoon; James Koppel; Armando Solar-Lezama (PLDI, 2020)

DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning. - Kevin Ellis; Catherine Wong; Maxwell I. Nye; Mathias Sablé-Meyer; Luc Cary; Lucas Morales; Luke B. Hewitt; Armando Solar-Lezama; Joshua B. Tenenbaum (CoRR, 2020)

Verifiably Safe Exploration for End-to-End Reinforcement Learning. - Nathan Hunt; Nathan Fulton; Sara Magliacane; Nghia Hoang; Subhro Das; Armando Solar-Lezama (CoRR, 2020)

Computer-Aided Personalized Education. - 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; et al. (CoRR, 2020)

Fusion 360 Gallery: A Dataset and Environment for Programmatic CAD Reconstruction. - Karl D. D. Willis; Yewen Pu; Jieliang Luo; Hang Chu; Tao Du 001; Joseph G. Lambourne; Armando Solar-Lezama; Wojciech Matusik (CoRR, 2020)

Deductive optimization of relational data storage. - John K. Feser; Sam Madden 001; Nan Tang 001; Armando Solar-Lezama (Proc. ACM Program. Lang., 2020)

Liquid information flow control. - Nadia Polikarpova; Deian Stefan; Jean Yang 001; Shachar Itzhaky; Travis Hance; Armando Solar-Lezama (Proc. ACM Program. Lang., 2020)

Introduction to the Special Issue on PPoPP 2017 (Part 2). - Jaejin Lee; Lawrence Rauchwerger; Armando Solar-Lezama; Guy L. Steele Jr. (ACM Trans. Parallel Comput., 2020)

Program Sketching by Automatically Generating Mocks from Tests. - Nate F. F. Bragg; Jeffrey S. Foster; Cody Roux; Armando Solar-Lezama (CAV (1), 2021)

Verifiably safe exploration for end-to-end reinforcement learning. - Nathan Hunt; Nathan Fulton; Sara Magliacane; Trong Nghia Hoang; Subhro Das; Armando Solar-Lezama (HSCC, 2021)

Representing Partial Programs with Blended Abstract Semantics. - Maxwell I. Nye; Yewen Pu; Matthew Bowers; Jacob Andreas; Joshua B. Tenenbaum; Armando Solar-Lezama (ICLR, 2021)

A large-scale benchmark for few-shot program induction and synthesis. - Ferran Alet; Javier Lopez-Contreras; James Koppel; Maxwell I. Nye; Armando Solar-Lezama; Tomás Lozano-Pérez; Leslie Pack Kaelbling; Joshua B. Tenenbaum (ICML, 2021)

A Language for Counterfactual Generative Models. - Zenna Tavares; James Koppel; Xin Zhang 035; Ria Das; Armando Solar-Lezama (ICML, 2021)

Program Synthesis Guided Reinforcement Learning for Partially Observed Environments. - Yichen Yang 008; Jeevana Priya Inala; Osbert Bastani; Yewen Pu; Armando Solar-Lezama; Martin C. Rinard (NeurIPS, 2021)

DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning. - Kevin Ellis; Catherine Wong; Maxwell I. Nye; Mathias Sablé-Meyer; Lucas Morales; Luke B. Hewitt; Luc Cary; Armando Solar-Lezama; Joshua B. Tenenbaum (PLDI, 2021)

Program Synthesis Guided Reinforcement Learning. - Yichen Yang 008; Jeevana Priya Inala; Osbert Bastani; Yewen Pu; Armando Solar-Lezama; Martin C. Rinard (CoRR, 2021)

Safe Human-Interactive Control via Shielding. - Jeevana Priya Inala; Yecheng Jason Ma; Osbert Bastani; Xin Zhang 035; Armando Solar-Lezama (CoRR, 2021)

Special Issue on Syntax-Guided Synthesis Preface. - Dana Fisman; Rishabh Singh; Armando Solar-Lezama (Formal Methods Syst. Des., 2021)

Neurosymbolic Programming. - Swarat Chaudhuri; Kevin Ellis; Oleksandr Polozov; Rishabh Singh; Armando Solar-Lezama; Yisong Yue (Found. Trends Program. Lang., 2021)

Fusion 360 gallery: a dataset and environment for programmatic CAD construction from human design sequences. - Karl D. D. Willis; Yewen Pu; Jieliang Luo; Hang Chu; Tao Du 001; Joseph G. Lambourne; Armando Solar-Lezama; Wojciech Matusik (ACM Trans. Graph., 2021)

JoinABLe: Learning Bottom-up Assembly of Parametric CAD Joints. - Karl D. D. Willis; Pradeep Kumar Jayaraman; Hang Chu; Yunsheng Tian; Yifei Li 002; Daniele Grandi; Aditya Sanghi; Linh Tran; Joseph G. Lambourne; Armando Solar-Lezama; Wojciech Matusik (CVPR, 2022)

Optimizing consistency for partially replicated data stores. - Ivan Kuraj; Armando Solar-Lezama; Nadia Polikarpova (PPoPP, 2022)

Metric Program Synthesis for Inverse CSG. - John K. Feser; Isil Dillig; Armando Solar-Lezama (CoRR, 2022)

Neurosymbolic Programming for Science. - Jennifer J. Sun; Megan Tjandrasuwita; Atharva Sehgal; Armando Solar-Lezama; Swarat Chaudhuri; Yisong Yue; Omar Costilla-Reyes (CoRR, 2022)

ObSynth: An Interactive Synthesis System for Generating Object Models from Natural Language Specifications. - Alex Gu; Tamara Mitrovska; Daniela Velez; Jacob Andreas; Armando Solar-Lezama (CoRR, 2022)

LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions. - Zhening Li; Gabriel Poesia; Omar Costilla-Reyes; Noah D. Goodman; Armando Solar-Lezama (CoRR, 2022)

Human Evaluation of Text-to-Image Models on a Multi-Task Benchmark. - 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; et al. (CoRR, 2022)

Top-Down Synthesis for Library Learning. - Matthew Bowers; Theo X. Olausson; Catherine Wong; Gabriel Grand; Joshua B. Tenenbaum; Kevin Ellis; Armando Solar-Lezama (CoRR, 2022)

Searching entangled program spaces. - James Koppel; Zheng Guo 003; Edsko de Vries; Armando Solar-Lezama; Nadia Polikarpova (Proc. ACM Program. Lang., 2022)

Automatically deriving control-flow graph generators from operational semantics. - James Koppel; Jackson Kearl; Armando Solar-Lezama (Proc. ACM Program. Lang., 2022)

A Dataset for Learning University STEM Courses at Scale and Generating Questions at a Human Level. - 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; et al. (AAAI, 2023)

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers. - Theo Olausson; Alex Gu; Benjamin Lipkin; Cedegao E. Zhang; Armando Solar-Lezama; Joshua B. Tenenbaum; Roger Levy (EMNLP, 2023)

SPARLING: Learning Latent Representations with Extremely Sparse Activations. - Kavi Gupta; Osbert Bastani; Armando Solar-Lezama (CoRR, 2023)

Demystifying GPT Self-Repair for Code Generation. - Theo X. Olausson; Jeevana Priya Inala; Chenglong Wang; Jianfeng Gao 001; Armando Solar-Lezama (CoRR, 2023)

Learning a Hierarchical Planner from Humans in Multiple Generations. - Leonardo Hernandez Cano; Yewen Pu; Robert D. Hawkins; Joshua B. Tenenbaum; Armando Solar-Lezama (CoRR, 2023)

Top-Down Synthesis for Library Learning. - Matthew Bowers; Theo X. Olausson; Lionel Wong; Gabriel Grand; Joshua B. Tenenbaum; Kevin Ellis; Armando Solar-Lezama (Proc. ACM Program. Lang., 2023)

Combining Functional and Automata Synthesis to Discover Causal Reactive Programs. - Ria Das; Joshua B. Tenenbaum; Armando Solar-Lezama; Zenna Tavares (Proc. ACM Program. Lang., 2023)

Inductive Program Synthesis Guided by Observational Program Similarity (Artifact). - John K. Feser; Isil Dillig; Armando Solar-Lezama (Zenodo, 2023)

Inductive Program Synthesis Guided by Observational Program Similarity (Artifact). - John K. Feser; Isil Dillig; Armando Solar-Lezama (Zenodo, 2023)

Inductive Program Synthesis Guided by Observational Program Similarity. - John K. Feser; Isil Dillig; Armando Solar-Lezama (Proc. ACM Program. Lang., 2023)

The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations? - Alex Gu; Wen-Ding Li; Naman Jain; Theo Olausson; Celine Lee; Koushik Sen; Armando Solar-Lezama (ACL (Findings), 2024)

Is Self-Repair a Silver Bullet for Code Generation? - Theo X. Olausson; Jeevana Priya Inala; Chenglong Wang; Jianfeng Gao 001; Armando Solar-Lezama (ICLR, 2024)

CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution. - Alex Gu; Baptiste Rozière; Hugh James Leather; Armando Solar-Lezama; Gabriel Synnaeve; Sida Wang 001 (ICML, 2024)

When Do Skills Help Reinforcement Learning? A Theoretical Analysis of Temporal Abstractions. - Zhening Li; Gabriel Poesia; Armando Solar-Lezama (ICML, 2024)

MeMo: Meaningful, Modular Controllers via Noise Injection. - Megan Tjandrasuwita; Jie Xu 028; Armando Solar-Lezama; Wojciech Matusik (NeurIPS, 2024)

Pure: Evolving Message Passing To Better Leverage Shared Memory Within Nodes. - James Psota; Armando Solar-Lezama (PPoPP, 2024)

MathDSL: A Domain-Specific Language for Concise Mathematical Solutions Via Program Synthesis. - Sagnik Anupam; Maddy Bowers; Omar Costilla-Reyes; Armando Solar-Lezama (CoRR, 2024)

LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code. - Naman Jain; King Han; Alex Gu; Wen-Ding Li; Fanjia Yan; Tianjun Zhang; Sida Wang 001; Armando Solar-Lezama; Koushik Sen; Ion Stoica (ICLR, 2025)

VLMaterial: Procedural Material Generation with Large Vision-Language Models. - Beichen Li; Rundi Wu; Armando Solar-Lezama; Changxi Zheng; Liang Shi 003; Bernd Bickel; Wojciech Matusik (ICLR, 2025)

Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs. - Maddy Bowers; Alexander K. Lew; Joshua B. Tenenbaum; Armando Solar-Lezama; Vikash K. Mansinghka (Proc. ACM Program. Lang., 2025)

Peepco: Batch-Based Consistency Optimization. - Ivan Kuraj; John K. Feser; Nadia Polikarpova; Armando Solar-Lezama (Proc. ACM Program. Lang., 2025)

Randomly Sampled Language Reasoning Problems Reveal Limits of LLMs. - Kavi Gupta; Kate Sanders 002; Armando Solar-Lezama (CoRR, 2025)

MimeQA: Towards Socially-Intelligent Nonverbal Foundation Models. - Hengzhi Li; Megan Tjandrasuwita; Yi R. Fung 001; Armando Solar-Lezama; Paul Pu Liang (CoRR, 2025)

Challenges and Paths Towards AI for Software Engineering. - Alex Gu; Naman Jain; Wen-Ding Li; Manish Shetty; Yijia Shao; Ziyang Li; Diyi Yang; Kevin Ellis; Koushik Sen; Armando Solar-Lezama (CoRR, 2025)