I'm a graduate currently pursuing my PhD in Computer Science at UCSD. My work uses programming language techniques to solve security problems.
Projects & Work
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.
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.