Concepedia

Sorin Lerner

SL

60

Publications

3.7K

Citations

29

H-Index

2002

Active since

Affiliations

University of California San Diego(Current)

University of Washington

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

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsFormal VerificationComputer EngineeringSoftware EngineeringAutomated ReasoningVerification

Publications per year

2002–2024

60

Publications

60

ESP

Manuvir Das, Sorin Lerner, Mark Seigle · 2002 · 545 citations

Program Checking, Engineering, Temporal Safety Property +17

Jan W. Voung, Ranjit Jhala, Sorin Lerner · 2007 · 335 citations

Cluster Computing, Engineering, Computer Architecture +18

Staged information flow for javascript

Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala et al. · 2009 · 234 citations

Engineering, Static Information Flow, Information Security +19

Equality saturation

Ross Tate, Michael Stepp, Zachary Tatlock et al. · 2009 · 176 citations

Engineering, Compiler Technology, Computer Architecture +17

An empirical study of privacy-violating information flows in JavaScript web applications

Dongseok Jang, Ranjit Jhala, Sorin Lerner et al. · 2010 · 172 citations

Privacy Protection, Engineering, Information Security +16

Rows per page

1–5 of 60