Sotabase

Career

· PhD in Computer Science, University of Illinois at Urbana-Champaign2001–2006
· B.Tech, Indian Institute of Technology, Kanpur
· Affiliated Faculty, RISELab (UC Berkeley)
· Contributor, Sky Computing Lab (UC Berkeley)
· Professor, University of California, Berkeley
· MS in Computer Science, University of Illinois at Urbana-Champaign

Publications (106)

LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code
International Conference on Learning Representations · 2024
1,068
cited
Symbolic execution for software testing: three decades later
CACM · 2013
814
cited
Ansor : Generating High-Performance Tensor Programs for Deep Learning
USENIX Symposium on Operating Systems Design and Implementation · 2020
503
cited
Symbolic execution for software testing in practice: preliminary assessment
International Conference on Software Engineering · 2011
368
cited
Precimonious: Tuning assistant for floating-point precision
2013 SC - International Conference for High Performance Computing, Networking, Storage and Analysis (SC) · 2013
320
cited
FATE and DESTINI: A Framework for Cloud Recovery Testing
Symposium on Networked Systems Design and Implementation · 2011
170
cited
RFUZZ: Coverage-Directed Fuzz Testing of RTL on FPGAs
2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) · 2018
155
cited
CodeHint: dynamic and interactive synthesis of code snippets
International Conference on Software Engineering · 2014
132
cited
Efficient Sampling of SAT Solutions for Testing
International Conference on Software Engineering · 2018
121
cited
PREFAIL: a programmable tool for multiple-failure injection
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2011
98
cited
AutoPandas: neural-backed generators for program synthesis
Proc. ACM Program. Lang. · 2019
85
cited
Floating-Point Precision Tuning Using Blame Analysis
International Conference on Software Engineering · 2016
81
cited
Magnetic fabric, shape preferred orientation and regional strain in granitic rocks
2006
73
cited
QFAST: Conflating Search and Numerical Optimization for Scalable Quantum Circuit Synthesis
International Conference on Quantum Computing and Engineering · 2021
71
cited
GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning
arXiv.org · 2025
66
cited
The Parallel Computing Laboratory at U.C. Berkeley: A Research Agenda Based on the Berkeley View
2008
66
cited
Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts
arXiv.org · 2017
63
cited
U-Pb geochronology and geochemistry from the Kumaun Himalaya, NW India, reveal Paleoproterozoic arc magmatism related to formation of the Columbia supercontinent
2018
48
cited
Degree of magnetic anisotropy as a strain intensity gauge in ferromagnetic granites
Journal of the Geological Society · 2005
46
cited
LLM-Assisted Code Cleaning For Training Accurate Code Generators
International Conference on Learning Representations · 2023
44
cited
Sotabase