Sotabase

Career

· Researcher, Google DeepMind2022–
· Professor, University of Washington (Current)2015–2015
· Professor, UC Berkeley2002–2015
· Doctor of Philosophy - PhD, Computer Science, University of Pittsburgh1992–1999

Publications (171)

The Landscape of Parallel Computing Research: A View from Berkeley
2006
2,450
cited
Programming With Models: Writing Statistical Algorithms for General Model Structures With NIMBLE
2015
968
cited
Syntax-guided synthesis
Formal Methods in Computer-Aided Design · 2013
871
cited
Combinatorial sketching for finite programs
ASPLOS XII · 2006
861
cited
Mining specifications
ACM-SIGACT Symposium on Principles of Programming Languages · 2002
760
cited
Program synthesis by sketching
2008
528
cited
Jungloid mining: helping to navigate the API jungle
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2005
512
cited
Refinement-based context-sensitive points-to analysis for Java
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2006
333
cited
Programming by sketching for bit-streaming programs
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2005
297
cited
ABCD: eliminating array bounds checks on demand
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2000
275
cited
A Retrospective on: A “Flight Data Recorder” for Enabling Full-system Multiprocessor Deterministic Replay
273
cited
Focusing processor policies via critical-path prediction
Proceedings 28th Annual International Symposium on Computer Architecture · 2001
270
cited
Thin slicing
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2007
268
cited
A lightweight symbolic virtual machine for solver-aided host languages
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2014
257
cited
Growing solver-aided languages with rosette
SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software · 2013
251
cited
Demand-driven points-to analysis for Java
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2005
231
cited
Synthesizing highly expressive SQL queries from input-output examples
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2017
218
cited
Sketching concurrent data structures
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2008
206
cited
A serializability violation detector for shared-memory server programs
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2005
187
cited
Sketching stencils
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2007
171
cited
Sotabase
Ras Bodik | Researcher Profile | Sotabase | Sotabase