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

Share
xWed 3 Mar 22:50
using conf.researchr.org (v1.43.1)
Support page
Sign Up