Sorin Lerner - Concepedia

Author

Sorin Lerner

University of California San Diego ORCID

Also Known As

Lerner, Sorin, S. Lerner, Sorin Lerner

151

Publications

Citations

H-Index

Concepts

All Affiliations

University of California San Diego University of Washington

About

Sorin Lerner is an author at University of California San Diego specializing in computer science, engineering, and program analysis.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	27	52	3.4K
2	Language Studies	3	3	70
3	Business	2	2	35
4	Management	2	2	99
5	Medicine	1	1	86

Sorin Lerner

Publications

3.7K

Citations

H-Index

Page 1

	Year	Citations
ESP Manuvir Das, Sorin Lerner, Mark Seigle Program CheckingEngineeringTemporal Safety PropertyVerificationComputer-aided Verification	2002	545
RELAY Jan W. Voung, Ranjit Jhala, Sorin Lerner Cluster ComputingEngineeringComputer ArchitectureSoftware AnalysisHardware Security	2007	335
Staged information flow for javascript Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, EngineeringStatic Information FlowInformation SecurityVerificationCommunication	2009	234
Equality saturation Ross Tate, Michael Stepp, Zachary Tatlock, EngineeringCompiler TechnologyComputer ArchitectureSoftware AnalysisFormal Verification	2009	176
An empirical study of privacy-violating information flows in JavaScript web applications Dongseok Jang, Ranjit Jhala, Sorin Lerner, Privacy ProtectionEngineeringInformation SecurityDynamic NatureWeb Analytics	2010	172
On Subnormal Floating Point and Abnormal Timing Marc Andrysco, David Kohlbrenner, Keaton Mowery, EngineeringInformation SecurityComputer ArchitectureSide-channel AttackSoftware Analysis	2015	161
Automated soundness proofs for dataflow analyses and transformations via local rules Sorin Lerner, Todd Millstein, Erika Rice, EngineeringCompiler TechnologyAutomated Soundness ProofsVerificationComputer-aided Verification	2005	133
SAFEDISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks Dongseok Jang, Zachary Tatlock, Sorin Lerner	2014	129
Automatically proving the correctness of compiler optimizations Sorin Lerner, Todd Millstein, Craig Chambers ACM SIGPLAN Notices EngineeringCompiler TechnologyVerificationSoftware EngineeringSoftware Analysis	2003	116
Proving optimizations correct using parameterized program equivalence S. Kundu, Zachary Tatlock, Sorin Lerner Program CheckingEngineeringVerificationComputer-aided VerificationSoftware Engineering	2009	111

Page 1