John Renner

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 7

Top Topics

Web Technologies

Computed Tomography

Memory Footprint

Top Venues

Proc. ACM Program. Lang.

Publications

John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, Deian Stefan
Scooter & Sidecar: a domain-specific approach to writing secure database migrations. PLDI (2021)
Fraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, Deian Stefan
Towards a verified range analysis for JavaScript JITs. PLDI (2020)
Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, Deian Stefan
FaCT: a DSL for timing-sensitive computation. PLDI (2019)
Marco Vassena, Gary Soeller, Peter Amidon, Matthew Chan, John Renner, Deian Stefan
Foundations for Parallel Information Flow Control Runtime Systems. POST (2019)
Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, Deian Stefan
CT-wasm: type-driven secure cryptography for the web ecosystem. Proc. ACM Program. Lang. 3 (POPL) (2019)
Craig Disselkoen, John Renner, Conrad Watt, Tal Garfinkel, Amit Levy, Deian Stefan
Position Paper: Progressive Memory Safety for WebAssembly. HASP@ISCA (2019)
Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, Deian Stefan
CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem. CoRR (2018)