Sotabase

Career

· Senior Researcher, Microsoft Research2021–
· Research Intern, Toyota Research Institute2017–
· PhD in Computer Science, Massachusetts Institute of Technology2016–2021
· Research Intern, Microsoft Research2016–
· Master of Engineering in Computer Science, Massachusetts Institute of Technology2015–2016
· Intern, Google Inc.2014–
· Bachelor of Science in Electrical Engineering and Computer Science, Massachusetts Institute of Technology2012–2016
· Microsoft Research

Publications (72)

CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models
International Conference on Software Engineering · 2023
190
cited
Is Self-Repair a Silver Bullet for Code Generation?
International Conference on Learning Representations · 2023
164
cited
Rethinking Interpretability in the Era of Large Language Models
arXiv.org · 2024
116
cited
InverseCSG
ACM Transactions on Graphics · 2018
105
cited
Interactive Code Generation via Test-Driven User-Intent Formalization
arXiv.org · 2022
82
cited
Demystifying GPT Self-Repair for Code Generation
arXiv.org · 2023
75
cited
DynaVis: Dynamically Synthesized UI Widgets for Visualization Editing
International Conference on Human Factors in Computing Systems · 2024
64
cited
Synthesizing Programmatic Policies that Inductively Generalize
International Conference on Learning Representations · 2020
54
cited
Fault-Aware Neural Code Rankers
Neural Information Processing Systems · 2022
53
cited
Learning Math Reasoning from Self-Sampled Correct and Partially-Correct Solutions
International Conference on Learning Representations · 2022
50
cited
Type-aware transactions for faster concurrent code
European Conference on Computer Systems · 2016
49
cited
Execution-based Evaluation for Data Science Code Generation Models
DASH · 2022
43
cited
Likelihood-Based Diverse Sampling for Trajectory Forecasting
IEEE International Conference on Computer Vision · 2020
36
cited
Neurosymbolic Transformers for Multi-Agent Communication
Neural Information Processing Systems · 2021
26
cited
Synthesis of Recursive ADT Transformations from Reusable Templates
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2015
20
cited
WebRelate: integrating web data with spreadsheets using examples
Proc. ACM Program. Lang. · 2017
18
cited
Data Analysis in the Era of Generative AI
arXiv.org · 2024
16
cited
Task-Based Design of Ad-hoc Modular Manipulators
IEEE International Conference on Robotics and Automation · 2019
15
cited
Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers
International Conference on Theory and Applications of Satisfiability Testing · 2016
14
cited
Diverse Sampling for Normalizing Flow Based Trajectory Forecasting
arXiv.org · 2020
13
cited
Sotabase
Jeevana Inala | Researcher Profile | Sotabase | Sotabase