Sorin Lerner

Not registered as user yet

Name: Sorin Lerner

Affiliation: University of California at San Diego, USA

Personal website: http://cseweb.ucsd.edu/users/lerner/

Contributions

MAPL 2020Author of Generating Correctness Proofs with Neural Networks within the MAPL-track
PLDI 2020Author 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 2020Author of REPLICA: REPL Instrumentation for Coq Analysis within the CPP 2020-track
PLDI 2018Committee 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 2018Committee Member in Program Committee within the Research Papers-track
SOAP 2016Author of Invited Talk: Toward Gamification of Proofs about Programs within the SOAP-track
PLDI 2017Committee Member in External Program Committee
CoqPL 2016Author of Formal Verification of Stability Properties of Cyber-Physical Systems within the CoqPL-track
POPL 2016ERC 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 2015Author of Interactive Parser Synthesis by Example within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
SPLASH 2011