I'm a software engineer, working at GitHub, on CodeQL. CodeQL is a query language for code analysis. It's used to find security vulnerabilities in code.

I've helped find some vulnerabilities in real world code: look at the vulnerabilities page.

Paper: C♭: A New Approach to Efficient and Tunable Collections

Pregel Presentation

Multicore Day Presentation

Tracing as a Service

Getting Feedback in IOOPM

Parallel Objects for Multicores: Encore (Paper)

Disjointness Domains (Paper)

subscribe via RSS