John Renner

According to our database, John Renner authored at least 8 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution.

Naomi Smith, Abhishek Sharma, John Renner, David Thien, Fraser Brown, Hovav Shacham, Ranjit Jhala, Deian Stefan

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

2022

Language Techniques for Automated Verifiction of Web Security

John Renner

PhD thesis, 2022

2021

Scooter & Sidecar: a domain-specific approach to writing secure database migrations.

John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, Deian Stefan

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Towards a verified range analysis for JavaScript JITs.

Fraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, Deian Stefan

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

CT-wasm: type-driven secure cryptography for the web ecosystem.

Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, Deian Stefan

Proc. ACM Program. Lang., 2019

Foundations for Parallel Information Flow Control Runtime Systems.

Marco Vassena, Gary Soeller, Peter Amidon, Matthew Chan, John Renner, Deian Stefan

Proceedings of the Principles of Security and Trust - 8th International Conference, 2019

FaCT: a DSL for timing-sensitive computation.

Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, Deian Stefan

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Position Paper: Progressive Memory Safety for WebAssembly.

Craig Disselkoen, John Renner, Conrad Watt, Tal Garfinkel, Amit Levy, Deian Stefan

Proceedings of the 8th International Workshop on Hardware and Architectural Support for Security and Privacy, 2019