Armando Solar-Lezama

According to our database, Armando Solar-Lezama authored at least 150 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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

MeMo: Meaningful, Modular Controllers via Noise Injection.

Megan Tjandrasuwita, Jie Xu, Armando Solar-Lezama, Wojciech Matusik

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, Armando Solar-Lezama, Koushik Sen, Ion Stoica

CoRR, 2024

Pure: Evolving Message Passing To Better Leverage Shared Memory Within Nodes.

James Psota, Armando Solar-Lezama

Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, 2024

When Do Skills Help Reinforcement Learning? A Theoretical Analysis of Temporal Abstractions.

Zhening Li, Gabriel Poesia, Armando Solar-Lezama

Proceedings of the Forty-first International Conference on Machine Learning, 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

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Is Self-Repair a Silver Bullet for Code Generation?

Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, Armando Solar-Lezama

Proceedings of the Twelfth International Conference on Learning Representations, 2024

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

Proceedings of the Findings of the Association for Computational Linguistics, 2024

2023

Inductive Program Synthesis Guided by Observational Program Similarity.

John K. Feser, Isil Dillig, Armando Solar-Lezama

Proc. ACM Program. Lang., October, 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., January, 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., January, 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

Demystifying GPT Self-Repair for Code Generation.

Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, Armando Solar-Lezama

CoRR, 2023

SPARLING: Learning Latent Representations with Extremely Sparse Activations.

Kavi Gupta, Osbert Bastani, Armando Solar-Lezama

CoRR, 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

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

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, 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

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Automatically deriving control-flow graph generators from operational semantics.

James Koppel, Jackson Kearl, Armando Solar-Lezama

Proc. ACM Program. Lang., 2022

Searching entangled program spaces.

James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova

Proc. ACM Program. Lang., 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

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, Armando Solar-Lezama, Iddo Drori

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

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

Neurosymbolic Programming for Science.

Jennifer J. Sun, Megan Tjandrasuwita, Atharva Sehgal, Armando Solar-Lezama, Swarat Chaudhuri, Yisong Yue, Omar Costilla-Reyes

CoRR, 2022

Metric Program Synthesis for Inverse CSG.

John K. Feser, Isil Dillig, Armando Solar-Lezama

CoRR, 2022

Optimizing consistency for partially replicated data stores.

Ivan Kuraj, Armando Solar-Lezama, Nadia Polikarpova

Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022

JoinABLe: Learning Bottom-up Assembly of Parametric CAD Joints.

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

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

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, Joseph G. Lambourne, Armando Solar-Lezama, Wojciech Matusik

ACM Trans. Graph., 2021

Neurosymbolic Programming.

Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama, Yisong Yue

Found. Trends Program. Lang., 2021

Special Issue on Syntax-Guided Synthesis Preface.

Dana Fisman, Rishabh Singh, Armando Solar-Lezama

Formal Methods Syst. Des., 2021

Safe Human-Interactive Control via Shielding.

Jeevana Priya Inala, Yecheng Jason Ma, Osbert Bastani, Xin Zhang, Armando Solar-Lezama

CoRR, 2021

Program Synthesis Guided Reinforcement Learning.

Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard

CoRR, 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

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Program Synthesis Guided Reinforcement Learning for Partially Observed Environments.

Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

A Language for Counterfactual Generative Models.

Zenna Tavares, James Koppel, Xin Zhang, Ria Das, Armando Solar-Lezama

Proceedings of the 38th International Conference on Machine Learning, 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

Proceedings of the 38th International Conference on Machine Learning, 2021

Representing Partial Programs with Blended Abstract Semantics.

Maxwell I. Nye, Yewen Pu, Matthew Bowers, Jacob Andreas, Joshua B. Tenenbaum, Armando Solar-Lezama

Proceedings of the 9th International Conference on Learning Representations, 2021

Verifiably safe exploration for end-to-end reinforcement learning.

Nathan Hunt, Nathan Fulton, Sara Magliacane, Trong Nghia Hoang, Subhro Das, Armando Solar-Lezama

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Program Sketching by Automatically Generating Mocks from Tests.

Nate F. F. Bragg, Jeffrey S. Foster, Cody Roux, Armando Solar-Lezama

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

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

Liquid information flow control.

Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, Armando Solar-Lezama

Proc. ACM Program. Lang., 2020

Deductive optimization of relational data storage.

John K. Feser, Sam Madden, Nan Tang, Armando Solar-Lezama

Proc. ACM Program. Lang., 2020

Fusion 360 Gallery: A Dataset and Environment for Programmatic CAD Reconstruction.

Karl D. D. Willis, Yewen Pu, Jieliang Luo, Hang Chu, Tao Du, Joseph G. Lambourne, Armando Solar-Lezama, Wojciech Matusik

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, Moshe Y. Vardi

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

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

Semantic code search via equational reasoning.

Varot Premtoon, James Koppel, Armando Solar-Lezama

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Program Synthesis with Pragmatic Communication.

Yewen Pu, Kevin Ellis, Marta Kryven, Josh Tenenbaum, Armando Solar-Lezama

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Learning Compositional Rules via Neural Program Synthesis.

Maxwell I. Nye, Armando Solar-Lezama, Josh Tenenbaum, Brenden M. Lake

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Neurosymbolic Transformers for Multi-Agent Communication.

Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis.

Osbert Bastani, Jeevana Priya Inala, Armando Solar-Lezama

Proceedings of the xxAI - Beyond Explainable AI, 2020

Synthesizing Programmatic Policies that Inductively Generalize.

Jeevana Priya Inala, Osbert Bastani, Zenna Tavares, Armando Solar-Lezama

Proceedings of the 8th International Conference on Learning Representations, 2020

Aspect-oriented language for reactive distributed applications at the edge.

Ivan Kuraj, Armando Solar-Lezama

Proceedings of the 3rd International Workshop on Edge Systems, Analytics and Networking, 2020

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

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

Probabilistic verification of fairness properties via concentration.

Osbert Bastani, Xin Zhang, Armando Solar-Lezama

Proc. ACM Program. Lang., 2019

Synthesizing Queries via Interactive Sketching.

Osbert Bastani, Xin Zhang, Armando Solar-Lezama

CoRR, 2019

The Random Conditional Distribution for Higher-Order Probabilistic Inference.

Zenna Tavares, Xin Zhang, Edgar Minaysan, Javier Burroni, Rajesh Ranganath, Armando Solar-Lezama

CoRR, 2019

Soft Constraints for Inference with Declarative Knowledge.

Zenna Tavares, Javier Burroni, Edgar Minaysan, Armando Solar-Lezama, Rajesh Ranganath

CoRR, 2019

Write, Execute, Assess: Program Synthesis with a REPL.

Kevin Ellis, Maxwell I. Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, Armando Solar-Lezama

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Task-Based Design of Ad-hoc Modular Manipulators.

Thais Campos, Jeevana Priya Inala, Armando Solar-Lezama, Hadas Kress-Gazit

Proceedings of the International Conference on Robotics and Automation, 2019

Predicate Exchange: Inference with Declarative Knowledge.

Zenna Tavares, Javier Burroni, Edgar Minasyan, Armando Solar-Lezama, Rajesh Ranganath

Proceedings of the 36th International Conference on Machine Learning, 2019

Learning to Infer Program Sketches.

Maxwell I. Nye, Luke B. Hewitt, Joshua B. Tenenbaum, Armando Solar-Lezama

Proceedings of the 36th International Conference on Machine Learning, 2019

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

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

InverseCSG: automatic conversion of 3D models to CSG trees.

Tao Du, Jeevana Priya Inala, Yewen Pu, Andrew Spielberg, Adriana Schulz, Daniela Rus, Armando Solar-Lezama, Wojciech Matusik

ACM Trans. Graph., 2018

Capturing the future by replaying the past (functional pearl).

James Koppel, Gabriel Scherer, Armando Solar-Lezama

Proc. ACM Program. Lang., 2018

One tool, many languages: language-parametric transformation with incremental parametric syntax.

James Koppel, Varot Premtoon, Armando Solar-Lezama

Proc. ACM Program. Lang., 2018

Verifying Fairness Properties via Concentration.

Osbert Bastani, Xin Zhang, 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

REAS: Combining Numerical Optimization with SAT Solving.

Jeevana Priya Inala, Sicun Gao, Soonho Kong, Armando Solar-Lezama

CoRR, 2018

Search-based program synthesis.

Rajeev Alur, Rishabh Singh, Dana Fisman, Armando Solar-Lezama

Commun. ACM, 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

Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2018

Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections.

Xin Zhang, Armando Solar-Lezama, Rishabh Singh

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Learning to Infer Graphics Programs from Hand-Drawn Images.

Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, Josh Tenenbaum

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Learning Libraries of Subroutines for Neurally-Guided Bayesian Program Induction.

Kevin Ellis, Lucas Morales, Mathias Sablé-Meyer, Armando Solar-Lezama, Josh Tenenbaum

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Verifiable Reinforcement Learning via Policy Extraction.

Osbert Bastani, Yewen Pu, Armando Solar-Lezama

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Selecting Representative Examples for Program Synthesis.

Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Pack Kaelbling

Proceedings of the 35th International Conference on Machine Learning, 2018

Delta-Decision Procedures for Exists-Forall Problems over the Reals.

Soonho Kong, Armando Solar-Lezama, Sicun Gao

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

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

Synthesizing Entity Matching Rules by Examples.

Rohit Singh, Venkata Vamsikrishna Meduri, Ahmed K. Elmagarmid, Samuel Madden, Paolo Papotti, Jorge-Arnulfo Quiané-Ruiz, Armando Solar-Lezama, Nan Tang

Proc. VLDB Endow., 2017

Natural synthesis of provably-correct data-structure manipulations.

Xiaokang Qiu, Armando Solar-Lezama

Proc. ACM Program. Lang., 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

SyGuS-Comp 2017: Results and Analysis.

Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama

Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

Learning to select examples for program synthesis.

Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Pack Kaelbling

CoRR, 2017

Capturing the Future by Replaying the Past.

James Koppel, Armando Solar-Lezama

CoRR, 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

Learning to Acquire Information.

Yewen Pu, Leslie Pack Kaelbling, Armando Solar-Lezama

Proceedings of the Thirty-Third Conference on Uncertainty in Artificial Intelligence, 2017

Synthesis of Recursive ADT Transformations from Reusable Templates.

Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems.

Ivan Kuraj, Armando Solar-Lezama

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Generating Concise Entity Matching Rules.

Rohit Singh, Venkata Vamsikrishna Meduri, Ahmed K. Elmagarmid, Samuel Madden, Paolo Papotti, Jorge-Arnulfo Quiané-Ruiz, Armando Solar-Lezama, Nan Tang

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

DemoMatch: API discovery from demonstrations.

Kuat Yessenov, Ivan Kuraj, Armando Solar-Lezama

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge.

Derrick Lin, James Koppel, Angela Chen, Armando Solar-Lezama

Proceedings of the Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, 2017

Incremental parametric syntax for multi-language transformation.

James Koppel, Armando Solar-Lezama

Proceedings of the Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, 2017

Mental Representations as Distribution-Sensitive Data Structures.

Zenna Tavares, Armando Solar-Lezama

Proceedings of the 2017 AAAI Spring Symposia, 2017

2016

Sloth: Being Lazy Is a Virtue (When Issuing Database Queries).

Alvin Cheung, Samuel Madden, Armando Solar-Lezama

ACM Trans. Database Syst., 2016

Computer-Assisted Query Formulation.

Alvin Cheung, Armando Solar-Lezama

Found. Trends Program. Lang., 2016

Type-Driven Repair for Information Flow Security.

Nadia Polikarpova, Jean Yang, Shachar Itzhaky, Armando Solar-Lezama

CoRR, 2016

SyGuS-Comp 2016: Results and Analysis.

Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

Automatic Generation of Formula Simplifiers based on Conditional Rewrite Rules.

Rohit Singh, Armando Solar-Lezama

CoRR, 2016

Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers.

Jeevana Priya Inala, Rohit Singh, Armando Solar-Lezama

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 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

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

Precise, dynamic information flow for database-backed applications.

Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Program synthesis from polymorphic refinement types.

Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Verified lifting of stencil computations.

Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, Armando Solar-Lezama

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

sk_p: a neural program corrector for MOOCs.

Yewen Pu, Karthik Narasimhan, Armando Solar-Lezama, Regina Barzilay

Proceedings of the Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, 2016

Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations.

Shachar Itzhaky, Rohit Singh, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles E. Leiserson, Rezaul Alam Chowdhury

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Sampling for Bayesian Program Learning.

Kevin Ellis, Armando Solar-Lezama, Josh Tenenbaum

Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

Synthesizing framework models for symbolic execution.

Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, Armando Solar-Lezama

Proceedings of the 38th International Conference on Software Engineering, 2016

SWAPPER: A framework for automatic generation of formula simplifiers based on conditional rewrite rules.

Rohit Singh, Armando Solar-Lezama

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

Syntax-Guided Synthesis.

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

Proceedings of the Dependable Software Systems Engineering, 2015

A Differential Approach to Undefined Behavior Detection.

Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama

ACM Trans. Comput. Syst., 2015

End-To-End Policy-Agnostic Security for Database-Backed Applications.

Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong

CoRR, 2015

Program Synthesis from Polymorphic Refinement Types.

Nadia Polikarpova, Armando Solar-Lezama

CoRR, 2015

Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types.

Jeevana Priya Inala, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama

CoRR, 2015

Results and Analysis of SyGuS-Comp'15.

Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama

Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis.

Alvin Cheung, Shoaib Kamil, Armando Solar-Lezama

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

JSketch: sketching for Java.

Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Unsupervised Learning by Program Synthesis.

Kevin Ellis, Armando Solar-Lezama, Joshua B. Tenenbaum

Proceedings of the Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015, 2015

Automated vulnerability analysis of AC state estimation under constrained false data injection in electric power systems.

Sicun Gao, Le Xie, Armando Solar-Lezama, Dimitrios N. Serpanos, Howard E. Shrobe

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Adaptive Concretization for Parallel Program Synthesis.

Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Using Program Analysis to Improve Database Applications.

Alvin Cheung, Samuel Madden, Armando Solar-Lezama, Owen Arden, Andrew C. Myers

IEEE Data Eng. Bull., 2014

Modular Synthesis of Sketches Using Models.

Rohit Singh, Rishabh Singh, Zhilei Xu, Rebecca Krosnick, Armando Solar-Lezama

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

MSL: A Synthesis Enabled Language for Distributed Implementations.

Zhilei Xu, Shoaib Kamil, Armando Solar-Lezama

Proceedings of the International Conference for High Performance Computing, 2014

Improving Genetic Programming with Behavioral Consistency Measure.

Krzysztof Krawiec, Armando Solar-Lezama

Proceedings of the Parallel Problem Solving from Nature - PPSN XIII, 2014

Bridging boolean and quantitative synthesis using smoothed proof search.

Swarat Chaudhuri, Martin Clochard, Armando Solar-Lezama

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Program sketching.

Armando Solar-Lezama

Int. J. Softw. Tools Technol. Transf., 2013

(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints.

Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard

CoRR, 2013

Towards optimization-safe systems: analyzing the impact of undefined behavior.

Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama

Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

Automated feedback generation for introductory programming assignments.

Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Optimizing database-backed applications with query synthesis.

Alvin Cheung, Armando Solar-Lezama, Samuel Madden

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Faceted execution of policy-agnostic programs.

Thomas H. Austin, Jean Yang, Cormac Flanagan, Armando Solar-Lezama

Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 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

Proceedings of the Formal Methods in Computer-Aided Design, 2013

StatusQuo: Making Familiar Abstractions Perform Using Program Analysis.

Alvin Cheung, Owen Arden, Samuel Madden, Armando Solar-Lezama, Andrew C. Myers

Proceedings of the Sixth Biennial Conference on Innovative Data Systems Research, 2013

2012

Inferring SQL Queries Using Program Synthesis

Alvin Cheung, Armando Solar-Lezama, Samuel Madden

CoRR, 2012

Automated Semantic Grading of Programs

Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama

CoRR, 2012

Lynx: A Programmatic SAT Solver for the RNA-Folding Problem.

Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas, Martin C. Rinard, Armando Solar-Lezama

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

A language for automatically enforcing privacy policies.

Jean Yang, Kuat Yessenov, Armando Solar-Lezama

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Word Equations with Length Constraints: What's Decidable?

Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard

Proceedings of the Hardware and Software: Verification and Testing, 2012

Using program synthesis for social recommendations.

Alvin Cheung, Armando Solar-Lezama, Samuel Madden

Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012

SPT: Storyboard Programming Tool.

Rishabh Singh, Armando Solar-Lezama

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Euler: A System for Numerical Optimization of Programs.

Swarat Chaudhuri, Armando Solar-Lezama

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Synthesizing data structure manipulations from storyboards.

Rishabh Singh, Armando Solar-Lezama

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Partial replay of long-running applications.

Alvin Cheung, Armando Solar-Lezama, Samuel Madden

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Data-driven synthesis for object-oriented frameworks.

Kuat Yessenov, Zhilei Xu, Armando Solar-Lezama

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Smoothing a Program Soundly and Robustly.

Swarat Chaudhuri, Armando Solar-Lezama

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Smooth interpretation.

Swarat Chaudhuri, Armando Solar-Lezama

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

2009

The Sketching Approach to Program Synthesis.

Armando Solar-Lezama

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008

Sketching concurrent data structures.

Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

2007

Sketching stencils.

Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

2006

Combinatorial sketching for finite programs.

Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat

Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006

2005

Programming by sketching for bit-streaming programs.

Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005