Sotabase

Career

· Associate Director and COO of CSAIL, Massachusetts Institute of Technology2020–
· Distinguished Professor of Computing, MIT Schwarzman College of Computing; Professor of EECS, [CS and AI+D], Massachusetts Institute of Technology2008–
· PhD in Computer Science, University of California, Berkeley2003–2008
· B.S. in Computer Science and Mathematics, Texas A&M University

Publications (336)

LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code
International Conference on Learning Representations · 2024
1,068
cited
Syntax-guided synthesis
Formal Methods in Computer-Aided Design · 2013
871
cited
Combinatorial sketching for finite programs
ASPLOS XII · 2006
861
cited
Program synthesis by sketching
2008
528
cited
Automated feedback generation for introductory programming assignments
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2012
477
cited
Verifiable Reinforcement Learning via Policy Extraction
Neural Information Processing Systems · 2018
370
cited
Programming by sketching for bit-streaming programs
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2005
297
cited
QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge
ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity · 2017
285
cited
Program synthesis from polymorphic refinement types
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2015
267
cited
Program sketching
International Journal on Software Tools for Technology Transfer (STTT) · 2012
251
cited
Learning to Infer Graphics Programs from Hand-Drawn Images
Neural Information Processing Systems · 2017
242
cited
DreamCoder: growing generalizable, interpretable knowledge with wake–sleep Bayesian program learning
Philosophical Transactions of the Royal Society A · 2020
228
cited
DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2021
223
cited
Sketching concurrent data structures
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2008
206
cited
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
Conference on Empirical Methods in Natural Language Processing · 2023
204
cited
A language for automatically enforcing privacy policies
ACM-SIGACT Symposium on Principles of Programming Languages · 2012
188
cited
The Sketching Approach to Program Synthesis
Asian Symposium on Programming Languages and Systems · 2009
179
cited
Write, Execute, Assess: Program Synthesis with a REPL
Neural Information Processing Systems · 2019
179
cited
Sketching stencils
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2007
171
cited
Optimizing database-backed applications with query synthesis
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2013
169
cited
Sotabase