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:
- Burak Emir. Object-oriented pattern matching. Thesis, EPFL Lausanne, 2007.
- Burak Emir, Martin Odersky, John Williams. Matching objects with patterns. ECOOP 2007.
- Burak Emir, Qin Ma, Martin Odersky. Translation Correctness for First-Order Object-Oriented Pattern Matching. APLAS 2007
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).
- Burak Emir, Andrew Kennedy, Claudio Russo, Dachuan Yu. Variance and Generalized Constraints for C# generics. ECOOP 2006
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.