Research

Pattern Matching

I studied programming languages in Martin Odersky's group at EPFL and worked on Scala, specifically pattern matching. I am delighted to see that pattern matching has meanwhile become part of rust, Java and python3. dblp

Here are some papers:

Constrained Polymorphism

During an internship at Microsoft Research in Cambridge, I got to apply some Scala techniques to C#. The results are described here (variance annotations made it into C# 4.0 later).

Symbolic Execution

At Google (2010?), I got a 20% intern sponsorship to host Stefan Bucur on a project related to Cloud9. We tried symbolic execution as an alternative to fuzzing to look for vulnerabilities in Chrome. Our results were negative, though we learned a lot (this was before Google had a consistent cloud offering). Stefan joined Google later and is working in security.