Sorin Lerner
University of California San Diego(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Software Engineering Research, Software Testing and Debugging Techniques, Security and Verification in Computing
Most-Cited Works
- → ESP(2002)545 cited
- → RELAY(2007)335 cited
- → Staged information flow for javascript(2009)234 cited
- → Equality saturation(2009)177 cited
- → An empirical study of privacy-violating information flows in JavaScript web applications(2010)172 cited
- → On Subnormal Floating Point and Abnormal Timing(2015)164 cited
- → Automated soundness proofs for dataflow analyses and transformations via local rules(2005)133 cited
- → SAFEDISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks(2014)130 cited
- → Automatically proving the correctness of compiler optimizations(2003)116 cited
- → Proving optimizations correct using parameterized program equivalence(2009)111 cited