• Sign in
  • Sign up
conf.researchr.org / John Renner
  • ETAPS 2019 profile
  • PLDI 2019 profile
  • PLDI 2020 profile
  • PLDI 2021 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2023 profile
  • SPLASH 2021 profile
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

Share
xWed 22 Mar 20:23
using conf.researchr.org (v1.59.1)
Support page
Sign Up