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
2023
PriSC
Author of Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers within the PriSC 2023-track
2021
SPLASH
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
Author of Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations within the PLDI-track
2020
PLDI
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
DeepSpec
Author of WebAssembly: sequential and concurrent semantics within the REMS-DeepSpec 2020-track
2019
PLDI
Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track
POST
Author of Foundations for Parallel Information Flow Control Runtime Systems within the POST 2019-track
POPL
Author of CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem within the Research Papers-track
2018
PriSC
Author of Constant-time WebAssembly within the PriSC 2018-track
Share
x
Thu 21 Nov 11:30
