Archive

1. An Introduction to Formal Methods
   14 Mar 2022 research presentation
2. Compiling Volatile Correctly in Java
   25 Feb 2022 research ECOOP
3. Formalizing Java's Access Modes
   12 Nov 2019 presentation OOPSLA
4. NP-complete: how hard is that climb?
   22 Jun 2014 complexity
5. Differential Semantics
   07 Apr 2014 presentation semantics
6. A Better SQL
   04 Nov 2013 semantics sql
7. Why I'm Getting a PhD
   16 Sep 2013 career education
8. Faster JavaScript through Category Theory
   29 Aug 2013 presentation
9. Splitting jQuery in Two, A Proposal
   19 Jul 2012 javascript math
10. A Natural Transformation in JavaScript
    22 Mar 2012 javascript math
11. Faster Javascript Through Category Theory
    09 Feb 2012 javascript math

← Home