Program committee ::
40th ACM-SIGPLAN/SIGACT Symposium on Principles of Programming Languages (
POPL 2013) :: Rome, Italy
--------
Program committee ::
17th ACM-SIGPLAN International Conference on Functional Programming (
ICFP 2012) :: Copenhagen, Denmark
--------
Program committee ::
Syntax and Semantics of Low-Level Languages (
LOLA 2012) :: Dubrovnik, Croatia
--------
Program committee ::
Fourteenth International Symposium on Practical Aspects of Declarative Languages (
PADL 2012) :: Philadelphia, Pennsylvania, USA
--------
Standards committee ::
JavaScript (
Ecma TC 39) :: for Google and V8, since 2011
--------
Invited participant ::
Modelling, Controlling and Reasoning About State (
Dagstuhl Seminar 10351) :: 2010
--------
Steering committee ::
ACM-SIGPLAN Workshop on ML (
ML Workshop) :: since 2009
--------
Program chair ::
2009 ACM-SIGPLAN Workshop on ML (
ML 2009) :: Edinburgh, Scotland, UK
--------
Committee for 2009 ACM-SIGPLAN Dissertation Award
--------
Program committee ::
2009 ACM-SIGPLAN Workshop on Types in Language Design and Implementation (
TLDI 2009) :: Savannah, Georgia, USA
--------
Program committee ::
4th Computer Science Symposium in Russia (
CSR 2009) :: Novosibirsk, Russia
--------
Invited participant ::
Types, Logics and Semantics for State (
Dagstuhl Seminar 08061) :: 2008
--------
Program committee ::
2005 ACM-SIGPLAN Workshop on ML (
ML 2005) :: Tallinn, Estonia
--------
Program committee ::
Second International Mozart/Oz Conference (
MOZ 2004) :: Louvain, Belgium
--------
External reviewer for conferences and journals :: POPL, PLDI, ESOP, ICFP, PPDP, OOPSLA, APLAS, PADL, CC, MFPS, JFP
--------
V8, a high-performance virtual machine for JavaScript, used e.g. in Chrome, Android, and by node.js. I am responsible for implementing upcoming language features.
--------
Alice ML, a language for
typed open programming, i.e., with support for type-safe dynamic linking, dynamic export, concurrency and distribution. This also was the topic of my
PhD thesis.
--------
HaMLet, a model implementation of
Standard ML. I try to maintain a list of
defects and ambiguities in the language's specification.
--------
SML and OCaml, side by side, a quick
chart comparing the syntax of Standard ML and Objective Caml (the most visited of my pages).
--------
ICFP Programming Contest, together with different colleagues I participated in several contests as team "Helikopter" (named after the famous "Helikopter-Streichquartett" by Karlheinz Stockhausen). We were astonished when we won the Judge's Prize in
2000!
--------
Together with
Martin Sulzmann from Uni Singapore and the Chameleon team I worked a bit on the overloading framework based on
constraint handling rules and the
Chameleon language.
--------
M, a purely functional, higher-order module language that I co-designed and implemented as a graduate student (now long dead).
--------
Sartre, not done by me, but remains my favorite programming language of all time.
--------