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)

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
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2000
357
cited
International Conference on Software Engineering · 2013
342
cited
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
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2016
146
cited
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2003
144
cited
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
Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication · 2016
126
cited
Information and Computation · 1999
124
cited
115
cited
106
cited
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2007
101
cited
International Symposium on Computer Architecture · 2012
100
cited
Journal of computer and system sciences (Print) · 2000
99
cited
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2006
96
cited
Sotabase
Todd Millstein | Researcher Profile | Sotabase | Sotabase