Sotabase

Career

· Associate Professor, tenured, Yale University2021–
· Assistant Professor, Yale University2013–
· Professor, Yale University2013–
· Independent Research Group Leader, Max Planck Institute for Software Systems2012–
· Intern, Microsoft Research2008–
· Junior Researcher and Teaching Assistant, Digital Enterprise Research Institute (DERI)2006–
· Junior Researcher and Teaching Assistant, Part-time Intern at CERN, University of Zagreb2000–

Publications (133)

Complete functional synthesis
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2010
163
cited
Complete completion using types and weights
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2013
155
cited
Automating Separation Logic Using SMT
International Conference on Computer Aided Verification · 2013
137
cited
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets
Journal of automated reasoning · 2008
115
cited
Automating Separation Logic with Trees and Data
International Conference on Computer Aided Verification · 2014
87
cited
AliEn—ALICE environment on the GRID
2003
67
cited
GRASShopper - Complete Heap Verification with Mixed Specifications
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2014
67
cited
Interactive Synthesis of Code Snippets
International Conference on Computer Aided Verification · 2011
65
cited
Repairing Bugs in Python Assignments Using Large Language Models
arXiv.org · 2022
64
cited
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Proc. ACM Program. Lang. · 2024
51
cited
Synthesizing configuration file specifications with association rule learning
Proc. ACM Program. Lang. · 2017
50
cited
Combining Theories with Shared Set Operations
International Symposium on Frontiers of Combining Systems · 2009
49
cited
Temporal Stream Logic: Synthesis beyond the Bools
International Conference on Computer Aided Verification · 2017
47
cited
Software synthesis procedures
Communications of the ACM · 2012
44
cited
Decision Procedures for Multisets with Cardinality Constraints
International Conference on Verification, Model Checking and Abstract Interpretation · 2008
43
cited
Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper)
International Symposium on Software Testing and Analysis · 2022
43
cited
Incremental, Inductive Coverability
International Conference on Computer Aided Verification · 2013
41
cited
Linear Arithmetic with Stars
International Conference on Computer Aided Verification · 2008
40
cited
Probabilistic Automated Language Learning for Configuration Files
International Conference on Computer Aided Verification · 2016
38
cited
Check before You Change: Preventing Correlated Failures in Service Updates
Symposium on Networked Systems Design and Implementation · 2020
35
cited
Sotabase