Armando Solar-Lezama
Distinguished Professor of Computing, MIT Schwarzman College of Computing; Professor of EECS
Studies program synthesis, combining programming languages and machine learning to generate code from specifications.
Armando Solar-Lezama's lab at MIT works on compilers & programming languages and speech synthesis & voice. 18 papers since 2023, 9 at top venues, mostly ICML and ICLR. 9 PhD students. 23 alumni, most often to Google and Akita Software. Applications close .
At a glance
- papers, 2023–2026
- 5/ year
- at T1 venues
- 50%
- PhD students
- 9
- MS students
- 0
- alumni listed
- 23
Papers by yearfrom the lab homepage, 2023–2026
- 0 papers2026 · T1 0 · collecting
- 7 papers2025 · T1 5
- 7 papers2024 · T1 3
- 4 papers2023 · T1 1
T1 venuesOtherVenues: ICML, ICLR, EMNLP, Findings of ACL, NeurIPS
Research focuspaper titles that use each topic's words
- Speech synthesis & voice3 papers
- Compilers & programming languages2 papers
- program synthesis1 paper
- programming languages0 papers
- specifications0 papers
Paper list
From the lab homepage.
20257 papers
- NeurIPS (T1)EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths (opens in a new tab)
- ICLR (T1)LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code (opens in a new tab)
- ICML (T1)Neurosymbolic World Models for Sequential Decision Making (opens in a new tab)
- PACMPL/OOPSLAPeepco: Batch-Based Consistency Optimization (opens in a new tab)
- ICML (T1)Position: Future Research and Challenges Remain Towards AI for Software Engineering (opens in a new tab)
- PACMPL/PLDIStochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs (opens in a new tab)
- ICLR (T1)VLMaterial: Procedural Material Generation with Large Vision-Language Models (opens in a new tab)
20247 papers
- ICML (T1)CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution (opens in a new tab)
- Genome BiologyImproved modeling of RNA-binding protein motifs in an interpretable neural model of RNA splicing. (opens in a new tab)
- ICLR (T1)Is Self-Repair a Silver Bullet for Code Generation? (opens in a new tab)
- Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems , NeurIPS , Vancouver, BC, Canada, December 10 - 15MeMo: Meaningful, Modular Controllers via Noise Injection (opens in a new tab)
- Proceedings of the ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, PPoPP , Edinburgh, United Kingdom, March 2-6Pure: Evolving Message Passing To Better Leverage Shared Memory Within Nodes (opens in a new tab)
- Findings of ACLThe Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations? (opens in a new tab)
- ICML (T1)When Do Skills Help Reinforcement Learning? A Theoretical Analysis of Temporal Abstractions (opens in a new tab)
20234 papers
- PACMPL/POPLCombining Functional and Automata Synthesis to Discover Causal Reactive Programs (opens in a new tab)
- PACMPL/OOPSLAInductive Program Synthesis Guided by Observational Program Similarity (opens in a new tab)
- EMNLP (T1)LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers (opens in a new tab)
- PACMPL/POPLTop-Down Synthesis for Library Learning (opens in a new tab)
Where alumni went23 listed, 47% to industry
Industry 7Academia 8
Most often to
- Akita Software
- Citadel
Also to
- UC San Diego
- Columbia University
- Cornell University
Apply to MITFall 2027
MIT EECS Computer Science PhD
- Round
- Single round
- Opens
- —
- GRE
- See program page
- English
- TOEFL/IELTS
- Fee
- USD 90
Confirmed on the program page.
Similar labsnearest by research summary
- GBImperial
Francesco Leofante
- Trustworthy & safe ML
- USNYU
Julia Stoyanovich
- Trustworthy & safe ML
- USGeorgia Tech
Ling Liu
- Trustworthy & safe ML
- USUIUC
Kate Donahue
- Trustworthy & safe ML
- CHEPFL
Martin Jaggi
- Learning theory & optimization
- USMichigan
Elizabeth Bondi-Kelly
- Reasoning & neuro-symbolic AI
Your notes
Save this lab to keep notes.
Data
Checked against the lab homepage.
- Collected
- Verified
- Papers
- The lab homepage
- Members
- Lab homepage
- Alumni
- Lab homepage
Tiers are venue classifications, not lab rankings.
MITcloses