About Me

I'm a graduate currently pursuing my PhD in Computer Science at UCSD. Much of my work has been focused on programming languages. If for any reason you'd like to connect with me, please reach out to me via email.

Education


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

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.

Publications

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},
}