Write a Blog >>
PLDI 2020
Mon 15 - Sat 20 June 2020
PLDI 2020 (series) / Sorin Lerner
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
Show activities from other conferences

Using general profile