Toggle navigation
Sign in
Sign up
conf.researchr.org
/
John Renner
conf.researchr.org general profile
ETAPS 2019 profile
PLDI 2019 profile
PLDI 2020 profile
PLDI 2021 profile
POPL 2018 profile
POPL 2019 profile
POPL 2023 profile
SPLASH 2021 profile
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
Share
x
Wed 22 Mar 20:23