Sorin Lerner
Sorin Lerner
Professor, CSE Dept, UC San Diego
Verified email at cs.ucsd.edu
Title
Cited by
Cited by
Year
ESP: Path-sensitive program verification in polynomial time
M Das, S Lerner, M Seigle
Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002
6812002
RELAY: static race detection on millions of lines of code
JW Voung, R Jhala, S Lerner
Proceedings of the the 6th joint meeting of the European software …, 2007
3452007
Staged information flow for JavaScript
R Chugh, JA Meister, R Jhala, S Lerner
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
3012009
An empirical study of privacy-violating information flows in JavaScript web applications
D Jang, R Jhala, S Lerner, H Shacham
Proceedings of the 17th ACM conference on Computer and communications …, 2010
2282010
ProtectMyPrivacy: detecting and mitigating privacy leaks on iOS devices using crowdsourcing
Y Agarwal, M Hall
Proceeding of the 11th annual international conference on Mobile systems …, 2013
2172013
Mojo: A dynamic optimization system
WK Chen, S Lerner, R Chaiken, DM Gillies
3rd ACM Workshop on Feedback-Directed and Dynamic Optimization (FDDO-3), 81-90, 2000
1762000
Automatically proving the correctness of compiler optimizations
S Lerner, T Millstein, C Chambers
Proceedings of the ACM SIGPLAN 2003 conference on Programming language …, 2003
1682003
Equality saturation: a new approach to optimization
R Tate, M Stepp, Z Tatlock, S Lerner
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2009
1642009
SafeDispatch: Securing C++ Virtual Calls from Memory Corruption Attacks.
D Jang, Z Tatlock, S Lerner
NDSS, 2014
1552014
Automated soundness proofs for dataflow analyses and transformations via local rules
S Lerner, T Millstein, E Rice, C Chambers
ACM SIGPLAN Notices 40 (1), 364-377, 2005
1482005
Composing dataflow analyses and transformations
S Lerner, D Grove, C Chambers
ACM SIGPLAN Notices 37 (1), 270-282, 2002
1212002
Proving optimizations correct using parameterized program equivalence
S Kundu, Z Tatlock, S Lerner
ACM Sigplan Notices 44 (6), 327-337, 2009
1142009
On subnormal floating point and abnormal timing
M Andrysco, D Kohlbrenner, K Mowery, R Jhala, S Lerner, H Shacham
2015 IEEE Symposium on Security and Privacy, 623-639, 2015
1032015
WitchDoctor: IDE support for real-time auto-completion of refactorings
SR Foster, WG Griswold, S Lerner
2012 34th International Conference on Software Engineering (ICSE), 222-232, 2012
1002012
Opium: Optimal package install/uninstall manager
C Tucker, D Shuffelton, R Jhala, S Lerner
29th International Conference on Software Engineering (ICSE'07), 178-188, 2007
992007
Establishing browser security guarantees through formal shim verification
D Jang, Z Tatlock, S Lerner
Presented as part of the 21st {USENIX} Security Symposium ({USENIX} Security …, 2012
712012
Verifying GPU kernels by test amplification
A Leung, M Gupta, Y Agarwal, R Gupta, R Jhala, S Lerner
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012
692012
Dataflow analysis for concurrent programs using datarace detection
R Chugh, JW Voung, R Jhala, S Lerner
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
692008
Protecting C++ Dynamic Dispatch Through VTable Interleaving.
D Bounov, RG Kici, S Lerner
NDSS, 2016
672016
Towards verifying android apps for the absence of no-sleep energy bugs
P Vekris, R Jhala, S Lerner, Y Agarwal
Presented as part of the 2012 Workshop on Power-Aware Computing and Systems, 2012
582012
The system can't perform the operation now. Try again later.
Articles 1–20