John Renner PhD Student @ UCSD

I'm a graduate currently pursuing my PhD in Computer Science at UCSD. My work uses programming language techniques to solve security problems.

Email: john@jrenner.net

Education


PhD Student
2017-Now
B.S. Software Engineering
2017-Now

Publications

Towards a Verified Range Analysis for Javascript JITs

Fraser Brown, John Renner, Andres Noetzli, Sorin Lerner, Hovav Schacham, Deian Stefan
PLDI '20
@inproceedings{brown:2020:vera,
  author    = {Fraser Brown and John Renner and Andres Noetzli and Sorin Lerner and Hovav Schacham and Deian Stefan},
  title     = {Towards a Verified Range Analysis for Javascript JITs},
  booktitle = {Programming Language Design and Implementation (PLDI)},
  month     = {June},
  year      = {2020},
  publisher = {ACM SIGPLAN}
}

CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem

Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, Deian Stefan
POPL '19
@inproceedings{watt:2019:ct-wasm,
  author    = {Conrad Watt and John Renner and Natalie Popescu and Sunjay Cauligi and Deian Stefan},
  title     = {{CT-Wasm}: Type-Driven Secure Cryptography for the Web Ecosystem},
  booktitle = {ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)},
  month     = {January},
  year      = {2019},
  publisher = {ACM}
}

Constant-time WebAssembly

John Renner, Sunjay Cauligi, Deian Stefan
PriSC '18
@inproceedings{renner:2018:ct-wasm,
    author    = {John Renner and Sunjay Cauligi and Deian Stefan},
    title     = {Constant-Time {WebAssembly}},
    booktitle = {Principles of Secure Compilation (PriSC)},
    month     = {January},
    year      = {2018},
}

Projects & Work


Kythe Language Server

Implemented a Language Server capable of providing local cross-references and type information supplied by Kythe’s static index. My work was incorporated into the default workstation config at Google.

Rust Indexer for Kythe

Designed and built a tool for indexing cross-references in Rust code using the Kythe knowledge graph protocols, enabling definition lookups and codesearch.

Facebook Cache Monitoring

Created a service for determining and alerting on realtime cache consistency for Facebook’s whole memcache and TAO deployment.