John Renner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2019–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SOSP | 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 |
| 2021 | PLDI | Scooter & Sidecar: a domain-specific approach to writing secure database migrations. | John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, Deian Stefan |
| 2020 | PLDI | Towards a verified range analysis for JavaScript JITs. | Fraser Brown, John Renner, Andres Ntzli, Sorin Lerner, Hovav Shacham, Deian Stefan |
| 2019 | ISCA | Position Paper: Progressive Memory Safety for WebAssembly. | Craig Disselkoen, John Renner, Conrad Watt, Tal Garfinkel, Amit Levy, Deian Stefan |
| 2019 | PLDI | FaCT: a DSL for timing-sensitive computation. | Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grgoire, Gilles Barthe, Ranjit Jhala, Deian Stefan |