Sotabase

Career

· Associate Director, Simons Institute for the Theory of Computing, UC Berkeley2024–
· Henry Salvatori Professor in the Department of Computer and Information Science, University of Pennsylvania2024–
· Associate Director for Theoretical Computer Science, Simons Institute, UC Berkeley2010–
· PhD Graduate, UC Berkeley (alumnus)1989–
· Graduate Student, UC Berkeley (as a student, PhD 1989)1989–

Publications (170)

Designing programs that check their work
Symposium on the Theory of Computing · 1989
626
cited
Checking the correctness of memories
[1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science · 1991
360
cited
Implicit representation of graphs
Symposium on the Theory of Computing · 1992
272
cited
Java-MaC: A Run-Time Assurance Approach for Java Programs
Formal Methods Syst. Des. · 2004
249
cited
Randomized pursuit-evasion in a polygonal environment
IEEE Transactions on robotics · 2005
221
cited
Spot-checkers
Symposium on the Theory of Computing · 1998
214
cited
The relationship between public key encryption and oblivious transfer
Proceedings 41st Annual Symposium on Foundations of Computer Science · 2000
212
cited
Java-MaC: a Run-time Assurance Tool for Java Programs
RV@CAV · 2001
211
cited
Runtime Assurance Based On Formal Specifications
International Conference on Parallel and Distributed Processing Techniques and Applications · 1999
205
cited
On graph problems in a semi-streaming model
Theoretical Computer Science · 2005
180
cited
Reconstructing strings from random traces
ACM-SIAM Symposium on Discrete Algorithms · 2004
168
cited
Formally specified monitoring of temporal properties
Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99 · 1999
157
cited
A robust model for finding optimal evolutionary trees
Symposium on the Theory of Computing · 1993
156
cited
Graph distances in the streaming model: the value of space
ACM-SIAM Symposium on Discrete Algorithms · 2005
149
cited
Oracles and queries that are sufficient for exact learning (extended abstract)
Annual Conference Computational Learning Theory · 1994
136
cited
Graph Distances in the Data-Stream Model
SIAM journal on computing (Print) · 2008
134
cited
Communicating Hierarchical State Machines
International Colloquium on Automata, Languages and Programming · 1999
125
cited
A fast algorithm for the computation and enumeration of perfect phylogenies when the number of character states is fixed
ACM-SIAM Symposium on Discrete Algorithms · 1995
101
cited
The Exponential Mechanism for Social Welfare: Private, Truthful, and Nearly Optimal
IEEE Annual Symposium on Foundations of Computer Science · 2012
101
cited
Detecting Wikipedia vandalism via spatio-temporal analysis of revision metadata?
European Workshop on System Security · 2010
92
cited
Sotabase