Sorin Lerner

Not registered as user yet

Name:Sorin Lerner
Country:United States
Affiliation:University of California at San Diego

Contributions

GPCE 2021 Author of GPCE Keynote - Live Programming and Programming by Example: Better Together within the GPCE-track
SPLASH 2021 Author of Scooter & Sidecar: A domain-specific approach to writing secure migrations within the SIGPLAN Papers-track
Author of Towards a Verified Range Analysis for JavaScript JITs within the SIGPLAN Papers-track
Author of LooPy: Interactive Program Synthesis with Control Structures within the OOPSLA-track
PLDI 2021 Author of Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations within the PLDI-track
ESEC/FSE 2021 Author of Synthesis of Web Layouts from Examples within the Research Papers-track
MAPL 2020 Author of Generating Correctness Proofs with Neural Networks within the MAPL-track
PLDI 2020 Author of Towards a Verified Range Analysis for JavaScript JITs within the PLDI Research Papers-track
Committee Member in External Program Committee within the PLDI Research Papers-track
CPP 2020 Author of REPLICA: REPL Instrumentation for Coq Analysis within the CPP 2020-track
PLDI 2018 Committee Member in Distinguished Paper Committee
Author of Finding Root Causes of Floating Point Error within the PLDI Research Papers-track
Committee Member in Program Committee
Session Chair of Dynamic Techniques (part of PLDI Research Papers)
POPL 2018 Committee Member in Program Committee within the Research Papers-track
SOAP 2016 Author of Invited Talk: Toward Gamification of Proofs about Programs within the SOAP-track
PLDI 2017 Committee Member in External Program Committee
CoqPL 2016 Author of Formal Verification of Stability Properties of Cyber-Physical Systems within the CoqPL-track
POPL 2016 ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
Author of Printing Floating-Point Numbers: A Faster, Always Correct Method within the Research Papers-track
PLDI 2015 Author of Interactive Parser Synthesis by Example within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
SPLASH 2011 Committee Member in Program Committee within the OOPSLA-track