Sorin Lerner
Associate Professor
Department of Computer Science and Engineering
University of California, San Diego

Office: EBU3B 3116
email: my last name at cs.ucsd.edu
phone: 858-534-8883

[ Projects | Papers | Teaching | Students ] 		 

My research interests lie in programming language and analysis techniques for making software systems easier to write, maintain and understand, including static program analysis, domain specific languages, compilation, formal methods and automated theorem proving. I am a member of the UCSD Programming Systems Group.

Projects

Collider

Quark: Practical web browser that has been formally verified in Coq.
Collider

Collider: Correct optimizations from high-level specifications.
Javascript Security

Javascript Security: Program analysis for Javascript security.

Previous projects

Radar

Radar: Generate concurrent analyses from their sequential counterparts.
Quail

Quail: Typechecking and refactoring for systems using the Java Persistence API.
Arccos

Arccos: Translation Validation for High-Level Synthesis.

Arcum

Arcum: Modular maintenance of crosscutting design idioms.

Teaching

Spring 2013
CSE 130 Programming Languages
Winter 2013
CSE 130 Programming Languages
Previous quarters
   

Students