conf.researchr.org / John Renner
John Renner

Registered user since Tue 14 Nov 2017

Name: John Renner

Affiliation: University of California at San Diego, USA

Contributions

REMS-DeepSpec 2020Author of WebAssembly: sequential and concurrent semantics within the REMS-DeepSpec 2020-track
PLDI 2020Author 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 2019Author of Foundations for Parallel Information Flow Control Runtime Systems within the POST 2019-track
PLDI 2019Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track
POPL 2019Author of CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem within the Research Papers-track
PriSC 2018Author of Constant-time WebAssembly within the PriSC 2018-track