John Renner -

Registered user since Tue 14 Nov 2017

Name: John Renner

Affiliation: University of California at San Diego, USA

Contributions

REMS-DeepSpec 2020	Author of WebAssembly: sequential and concurrent semantics within the REMS-DeepSpec 2020-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
POST 2019	Author of Foundations for Parallel Information Flow Control Runtime Systems within the POST 2019-track
PLDI 2019	Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-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