Lerner, Sorin - Department of Computer Science and Engineering, University of California at San Diego

Advanced Search

Lerner, Sorin - Department of Computer Science and Engineering, University of California at San Diego

Dataflow Analysis for Concurrent Programs using Datarace Detection
Automatic Inference of Optimizer Flow Functions from Semantic Meanings
Equality Saturation: a New Approach to Optimization Ross Tate Michael Stepp Zachary Tatlock Sorin Lerner
EQUALITY SATURATION: A NEW APPROACH TO OPTIMIZATION ROSS TATE, MICHAEL STEPP, ZACHARY TATLOCK, AND SORIN LERNER
Addressing Common Crosscutting Problems with Arcum Macneil Shonle William G. Griswold Sorin Lerner
TRANSLATING BETWEEN PEGS AND CFGS ROSS TATE, MICHAEL STEPP, ZACHARY TATLOCK, AND SORIN LERNER
Deep Typechecking and Refactoring Zachary Tatlock
Dataflow Analysis for Concurrent Programs using Datarace Detection #
Automatically Proving the Correctness of Program Analyses and Transformations
Appears in the 14th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'09)
When Refactoring Acts like Modularity Keeping Options Open with Persistent Condition Checking
Automatically Proving the Correctness of Compiler Optimizations
OPIUM: Optimal Package Install/Uninstall Manager Chris Tucker
Latent Variable Models for Predicting File Dependencies in Large-Scale Software Development
Staged Information Flow for JavaScript Ravi Chugh Jeffrey A. Meister Ranjit Jhala Sorin Lerner
Automated Refinement Checking of Concurrent Systems Sudipta Kundu, Sorin Lerner, and Rajesh Gupta
RELAY: Static Race Detection on Millions of Lines of Code
Beyond Refactoring: A Framework for Modular Maintenance of Crosscutting Design Idioms