Sotabase

Career

· Professor, University of California, Los Angeles (Current)2004–
· Chief Scientist, Intentionet (Current)1996–2003
· Ph.D. , Computer Science, University of Washington1996–2003
· Computer Science, Brown University1992–1996

Publications (146)

Automatic predicate abstraction of C programs
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2001
641
cited
Navigational Plans For Data Integration
AAAI/IAAI · 1999
373
cited
A General Approach to Network Configuration Analysis
Symposium on Networked Systems Design and Implementation · 2015
358
cited
MultiJava: modular open classes and symmetric multiple dispatch for Java
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2000
357
cited
RERAN: Timing- and touch-sensitive record and replay for Android
International Conference on Software Engineering · 2013
342
cited
Dr. Android and Mr. Hide: fine-grained permissions in android applications
Security and Privacy in Smartphones and Mobile Devices · 2012
283
cited
Automatic SAT-Compilation of Planning Problems
International Joint Conference on Artificial Intelligence · 1997
208
cited
Data-driven precondition inference with learned features
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2016
146
cited
Automatically proving the correctness of compiler optimizations
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2003
144
cited
Titian: Data Provenance Support in Spark
Proceedings of the VLDB Endowment · 2015
139
cited
This Paper Is Included in the Proceedings of the 12th Usenix Symposium on Operating Systems Design and Implementation (osdi '16). Efficient Network Reachability Analysis Using a Succinct Control Plane Representation Efficient Network Reachability Analysis Using a Succinct Control Plane Representatio
130
cited
Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations
Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication · 2016
126
cited
Modular Statically Typed Multimethods
Information and Computation · 1999
124
cited
MultiJava: Design rationale, compiler implementation, and applications
TOPL · 2006
118
cited
Automated repair of HTML generation errors in PHP applications using string constraint solving
International Conference on Software Engineering · 2012
115
cited
Scaling exact inference for discrete probabilistic programs
Proc. ACM Program. Lang. · 2020
106
cited
Reliable and efficient programming abstractions for wireless sensor networks
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2007
101
cited
End-to-end sequential consistency
International Symposium on Computer Architecture · 2012
100
cited
Query containment for data integration systems
Journal of computer and system sciences (Print) · 2000
99
cited
A framework for implementing pluggable type systems
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2006
96
cited
Sotabase
Todd Millstein | Researcher Profile | Sotabase | Sotabase