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