Sotabase

Career

· Professor, Massachusetts Institute of Technology2006–
· Associate Professor, Massachusetts Institute of Technology2000–2006
· Assistant Professor, Massachusetts Institute of Technology1997–2000
· PhD in Computer Science, Stanford University1994–
· Assistant Professor, University of California at Santa Barbara1994–1997
· Teaching Fellow, Stanford University1989–
· Research Assistant, Stanford University1986–1994
· Software Engineer, Polygen Corporation1985–1986
· Sc.B. in Computer Science, Brown University1984–
· Software Engineer, Ikan Systems1984–1985
· Research Assistant, Brown University1982–1983

Publications (0)

Concurrent constraint programming
ACM-SIGACT Symposium on Principles of Programming Languages · 1989
956
cited
Ownership types for safe programming: preventing data races and deadlocks
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2002
625
cited
Automatic patch generation by learning correct code
ACM-SIGACT Symposium on Principles of Programming Languages · 2016
572
cited
Information Flow Analysis of Android Applications in DroidSafe
Network and Distributed System Security Symposium · 2015
521
cited
Managing performance vs. accuracy trade-offs with loop perforation
ESEC/FSE '11 · 2011
519
cited
The semantic foundations of concurrent constraint programming
ACM-SIGACT Symposium on Principles of Programming Languages · 1991
469
cited
An analysis of patch plausibility and correctness for generate-and-validate patch generation systems
International Symposium on Software Testing and Analysis · 2015
459
cited
Compositional pointer and escape analysis for Java programs
Conference on Object-Oriented Programming Systems, Languages, and Applications · 1999
456
cited
Automatically patching errors in deployed software
Symposium on Operating Systems Principles · 2009
428
cited
Staged program repair with condition synthesis
ESEC/SIGSOFT FSE · 2015
395
cited
Taint-based directed whitebox fuzzing
2009 IEEE 31st International Conference on Software Engineering · 2009
378
cited
Enhancing Server Availability and Security Through Failure-Oblivious Computing
USENIX Symposium on Operating Systems Design and Implementation · 2004
364
cited
Dynamic knobs for responsive power-aware computing
ASPLOS XVI · 2011
332
cited
Jade: a high-level, machine-independent language for parallel programming
Computer · 1993
310
cited
A parameterized type system for race-free Java programs
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2001
307
cited
Verifying quantitative reliability for programs that execute on unreliable hardware
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2013
262
cited
Control Jujutsu: On the Weaknesses of Fine-Grained Control Flow Integrity
Conference on Computer and Communications Security · 2015
248
cited
Purity and Side Effect Analysis for Java Programs
International Conference on Verification, Model Checking and Abstract Interpretation · 2005
234
cited
Automatic detection and repair of errors in data structures
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2003
233
cited
Quality of service profiling
2010 ACM/IEEE 32nd International Conference on Software Engineering · 2010
229
cited
Sotabase