John Renner -

Registered user since Tue 14 Nov 2017

Name:John Renner

Affiliation:University of California at San Diego, USA

Contributions

PriSC 2023	Author of Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers within the PriSC 2023-track
SPLASH 2021	Author of Towards a Verified Range Analysis for JavaScript JITs within the SIGPLAN Papers-track Session Chair of OOPSLA 2020 Papers 1 (part of SIGPLAN Papers) Author of Scooter & Sidecar: A domain-specific approach to writing secure migrations within the SIGPLAN Papers-track
PLDI 2021	Author of Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations within the PLDI-track
PLDI 2020	Author of Towards a Verified Range Analysis for JavaScript JITs within the PLDI Research Papers-track Student Volunteer Co-Chair in Student Volunteering within the Student Volunteering-track Student Volunteer Co-Chair in Organizing Committee
REMS-DeepSpec 2020	Author of WebAssembly: sequential and concurrent semantics within the REMS-DeepSpec 2020-track
PLDI 2019	Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track
POST 2019	Author of Foundations for Parallel Information Flow Control Runtime Systems within the POST 2019-track
POPL 2019	Author of CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem within the Research Papers-track
PriSC 2018	Author of Constant-time WebAssembly within the PriSC 2018-track