Sotabase

Career

· Dean, Cornell University2025–
· Professor, UC San Diego2006–2025
· Doctor of Philosophy - PhD, Computer Science, University of Washington1999–2006
· Bachelor of Engineering - BE, Computer Engineering, McGill University1995–1999

Publications (107)

ESP: path-sensitive program verification in polynomial time
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2002
603
cited
RELAY: static race detection on millions of lines of code
ESEC-FSE '07 · 2007
366
cited
Equality saturation: a new approach to optimization
ACM-SIGACT Symposium on Principles of Programming Languages · 2009
300
cited
Staged information flow for javascript
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2009
259
cited
An empirical study of privacy-violating information flows in JavaScript web applications
Conference on Computer and Communications Security · 2010
210
cited
On Subnormal Floating Point and Abnormal Timing
IEEE Symposium on Security and Privacy · 2015
203
cited
SafeDispatch: Securing C++ Virtual Calls from Memory Corruption Attacks
Network and Distributed System Security Symposium · 2014
160
cited
Automatically proving the correctness of compiler optimizations
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2003
144
cited
Mojo: A Dynamic Optimization System
2000
132
cited
Proving optimizations correct using parameterized program equivalence
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2009
120
cited
WitchDoctor: IDE support for real-time auto-completion of refactorings
International Conference on Software Engineering · 2012
112
cited
Composing dataflow analyses and transformations
ACM-SIGACT Symposium on Principles of Programming Languages · 2002
102
cited
OPIUM: Optimal Package Install/Uninstall Manager
International Conference on Software Engineering · 2007
97
cited
Retrofitting Fine Grain Isolation in the Firefox Renderer (Extended Version)
USENIX Security Symposium · 2020
85
cited
Equality-Based Translation Validator for LLVM
International Conference on Computer Aided Verification · 2011
82
cited
Finding root causes of floating point error
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2017
78
cited
Protecting C++ Dynamic Dispatch Through VTable Interleaving
Network and Distributed System Security Symposium · 2016
76
cited
Path-Sensitive Program Veri cation in Polynomial Time
2002
71
cited
Generating correctness proofs with neural networks
MAPL@PLDI · 2019
69
cited
Establishing Browser Security Guarantees through Formal Shim Verification
USENIX Security Symposium · 2012
67
cited
Sotabase
Sorin Lerner | Researcher Profile | Sotabase | Sotabase