Armando Solar-Lezama
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
70
Venues
28
Active years
2005–2025
Best venue rank
A*
Where they publish
- A*PLDI14 papers
- A*ICML10 papers
- A*CAV7 papers
- A*ICLR5 papers
- AOOPSLA5 papers
- BPPoPP3 papers
- A*SIGMOD2 papers
- BFMCAD2 papers
- ASAT2 papers
- A*POPL2 papers
- A*ACL1 paper
- BCogSci1 paper
- A*AAAI1 paper
- A*EMNLP1 paper
- A*CVPR1 paper
- AEuroSys1 paper
- A*ICRA1 paper
- AUAI1 paper
- ATACAS1 paper
- A*ICSE1 paper
- APPSN1 paper
- ASC1 paper
- BVMCAI1 paper
- ACIDR1 paper
- A*SOSP1 paper
- ACIKM1 paper
- BAPLAS1 paper
- A*ASPLOS1 paper
Papers
70 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICLR | 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 |
| 2025 | ICLR | VLMaterial: Procedural Material Generation with Large Vision-Language Models. | Beichen Li, Rundi Wu, Armando Solar-Lezama, Changxi Zheng, Liang Shi, Bernd Bickel, Wojciech Matusik |
| 2025 | ICML | Neurosymbolic World Models for Sequential Decision Making. | Leonardo Hernandez Cano, Maxine Perroni-Scharf, Neil Dhir, Arun Ramamurthy, Armando Solar-Lezama |
| 2025 | ICML | Position: Future Research and Challenges Remain Towards AI for Software Engineering. | Alex Gu, Naman Jain, Wen-Ding Li, Manish Shetty, Kevin Ellis, Koushik Sen, Armando Solar-Lezama |
| 2024 | ACL | 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 |
| 2024 | CogSci | Concept Learning as Coarse-to-Fine Probabilistic Program Induction. | Maddy Bowers, Alexander K. Lew, Wenhao Qi, Joshua S. Rule, Vikash Mansinghka, Josh Tenenbaum, Armando Solar-Lezama |
| 2024 | ICLR | Is Self-Repair a Silver Bullet for Code Generation? | Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, Armando Solar-Lezama |
| 2024 | ICML | CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution. | Alex Gu, Baptiste Rozire, Hugh James Leather, Armando Solar-Lezama, Gabriel Synnaeve, Sida Wang |
| 2024 | ICML | When Do Skills Help Reinforcement Learning? A Theoretical Analysis of Temporal Abstractions. | Zhening Li, Gabriel Poesia, Armando Solar-Lezama |
| 2024 | PPoPP | Pure: Evolving Message Passing To Better Leverage Shared Memory Within Nodes. | James Psota, Armando Solar-Lezama |
| 2023 | AAAI | 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 |
| 2023 | EMNLP | 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 |
| 2022 | CVPR | 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 |
| 2022 | PPoPP | Optimizing consistency for partially replicated data stores. | Ivan Kuraj, Armando Solar-Lezama, Nadia Polikarpova |
| 2021 | CAV | Program Sketching by Automatically Generating Mocks from Tests. | Nate F. F. Bragg, Jeffrey S. Foster, Cody Roux, Armando Solar-Lezama |
| 2021 | ICLR | Representing Partial Programs with Blended Abstract Semantics. | Maxwell I. Nye, Yewen Pu, Matthew Bowers, Jacob Andreas, Joshua B. Tenenbaum, Armando Solar-Lezama |
| 2021 | ICML | A large-scale benchmark for few-shot program induction and synthesis. | Ferran Alet, Javier Lopez-Contreras, James Koppel, Maxwell I. Nye, Armando Solar-Lezama, Toms Lozano-Prez, Leslie Pack Kaelbling, Joshua B. Tenenbaum |
| 2021 | ICML | A Language for Counterfactual Generative Models. | Zenna Tavares, James Koppel, Xin Zhang, Ria Das, Armando Solar-Lezama |
| 2021 | PLDI | 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 |
| 2020 | EuroSys | Aspect-oriented language for reactive distributed applications at the edge. | Ivan Kuraj, Armando Solar-Lezama |
| 2020 | ICLR | Synthesizing Programmatic Policies that Inductively Generalize. | Jeevana Priya Inala, Osbert Bastani, Zenna Tavares, Armando Solar-Lezama |
| 2020 | ICML | Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis. | Osbert Bastani, Jeevana Priya Inala, Armando Solar-Lezama |
| 2020 | PLDI | Semantic code search via equational reasoning. | Varot Premtoon, James Koppel, Armando Solar-Lezama |
| 2019 | CAV | Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems. | Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Archiga, Soonho Kong |
| 2019 | ICML | Learning to Infer Program Sketches. | Maxwell I. Nye, Luke B. Hewitt, Joshua B. Tenenbaum, Armando Solar-Lezama |
| 2019 | ICML | Predicate Exchange: Inference with Declarative Knowledge. | Zenna Tavares, Javier Burroni, Edgar Minasyan, Armando Solar-Lezama, Rajesh Ranganath |
| 2019 | ICRA | Task-Based Design of Ad-hoc Modular Manipulators. | Thais Campos, Jeevana Priya Inala, Armando Solar-Lezama, Hadas Kress-Gazit |
| 2018 | CAV | Delta-Decision Procedures for Exists-Forall Problems over the Reals. | Soonho Kong, Armando Solar-Lezama, Sicun Gao |
| 2018 | ICML | Selecting Representative Examples for Program Synthesis. | Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Pack Kaelbling |
| 2018 | PLDI | 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 |
| 2017 | OOPSLA | Incremental parametric syntax for multi-language transformation. | James Koppel, Armando Solar-Lezama |
| 2017 | OOPSLA | QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge. | Derrick Lin, James Koppel, Angela Chen, Armando Solar-Lezama |
| 2017 | PLDI | DemoMatch: API discovery from demonstrations. | Kuat Yessenov, Ivan Kuraj, Armando Solar-Lezama |
| 2017 | SIGMOD | 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 |
| 2017 | UAI | Learning to Acquire Information. | Yewen Pu, Leslie Pack Kaelbling, Armando Solar-Lezama |
| 2017 | TACAS | Synthesis of Recursive ADT Transformations from Reusable Templates. | Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama |
| 2016 | FMCAD | SWAPPER: A framework for automatic generation of formula simplifiers based on conditional rewrite rules. | Rohit Singh, Armando Solar-Lezama |
| 2016 | ICSE | Synthesizing framework models for symbolic execution. | Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, Armando Solar-Lezama |
| 2016 | OOPSLA | 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 |
| 2016 | OOPSLA | sk_p: a neural program corrector for MOOCs. | Yewen Pu, Karthik Narasimhan, Armando Solar-Lezama, Regina Barzilay |
| 2016 | PLDI | Verified lifting of stencil computations. | Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, Armando Solar-Lezama |
| 2016 | PLDI | Program synthesis from polymorphic refinement types. | Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama |
| 2016 | PLDI | Precise, dynamic information flow for database-backed applications. | Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong |
| 2016 | PPoPP | 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 |
| 2016 | SAT | Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers. | Jeevana Priya Inala, Rohit Singh, Armando Solar-Lezama |
| 2015 | CAV | Adaptive Concretization for Parallel Program Synthesis. | Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster |
| 2014 | POPL | Bridging boolean and quantitative synthesis using smoothed proof search. | Swarat Chaudhuri, Martin Clochard, Armando Solar-Lezama |
| 2014 | PPSN | Improving Genetic Programming with Behavioral Consistency Measure. | Krzysztof Krawiec, Armando Solar-Lezama |
| 2014 | SC | MSL: A Synthesis Enabled Language for Distributed Implementations. | Zhilei Xu, Shoaib Kamil, Armando Solar-Lezama |
| 2014 | SIGMOD | Sloth: being lazy is a virtue (when issuing database queries). | Alvin Cheung, Samuel Madden, Armando Solar-Lezama |
| 2014 | VMCAI | Modular Synthesis of Sketches Using Models. | Rohit Singh, Rishabh Singh, Zhilei Xu, Rebecca Krosnick, Armando Solar-Lezama |
| 2013 | CIDR | StatusQuo: Making Familiar Abstractions Perform Using Program Analysis. | Alvin Cheung, Owen Arden, Samuel Madden, Armando Solar-Lezama, Andrew C. Myers |
| 2013 | FMCAD | Syntax-guided synthesis. | Rajeev Alur, Rastislav Bodk, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa |
| 2013 | PLDI | Faceted execution of policy-agnostic programs. | Thomas H. Austin, Jean Yang, Cormac Flanagan, Armando Solar-Lezama |
| 2013 | PLDI | Optimizing database-backed applications with query synthesis. | Alvin Cheung, Armando Solar-Lezama, Samuel Madden |
| 2013 | PLDI | Automated feedback generation for introductory programming assignments. | Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama |
| 2013 | SOSP | Towards optimization-safe systems: analyzing the impact of undefined behavior. | Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama |
| 2012 | CAV | Euler: A System for Numerical Optimization of Programs. | Swarat Chaudhuri, Armando Solar-Lezama |
| 2012 | CAV | SPT: Storyboard Programming Tool. | Rishabh Singh, Armando Solar-Lezama |
| 2012 | CIKM | Using program synthesis for social recommendations. | Alvin Cheung, Armando Solar-Lezama, Samuel Madden |
| 2012 | POPL | A language for automatically enforcing privacy policies. | Jean Yang, Kuat Yessenov, Armando Solar-Lezama |
| 2012 | SAT | 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 |
| 2011 | CAV | Smoothing a Program Soundly and Robustly. | Swarat Chaudhuri, Armando Solar-Lezama |
| 2011 | OOPSLA | Data-driven synthesis for object-oriented frameworks. | Kuat Yessenov, Zhilei Xu, Armando Solar-Lezama |
| 2010 | PLDI | Smooth interpretation. | Swarat Chaudhuri, Armando Solar-Lezama |
| 2009 | APLAS | The Sketching Approach to Program Synthesis. | Armando Solar-Lezama |
| 2008 | PLDI | Sketching concurrent data structures. | Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodk |
| 2007 | PLDI | Sketching stencils. | Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodk, Vijay A. Saraswat, Sanjit A. Seshia |
| 2006 | ASPLOS | Combinatorial sketching for finite programs. | Armando Solar-Lezama, Liviu Tancau, Rastislav Bodk, Sanjit A. Seshia, Vijay A. Saraswat |
| 2005 | PLDI | Programming by sketching for bit-streaming programs. | Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodk, Kemal Ebcioglu |