Co-organiser ::
Real-World Programming Language Specification (
RPLS 2025) ::
Dagstuhl, Germany
--------
Co-organiser ::
Utilising and Scaling the WebAssembly Semantics (
Dagstuhl Seminar 25241) ::
Dagstuhl, Germany
--------
Program committee ::
WebAssembly Workshop (
WAW 2025) ::
Dagstuhl, Germany
--------
Program committee ::
ML Family Workshop (
ML 2024) ::
Milan, Italy
--------
Program committee ::
17th International Symposium on Functional and Logic Programming (
FLOPS 2024) ::
Kumamoto, Japan
--------
Co-organiser ::
WebAssembly Workshop (
WAW 2024) ::
Dagstuhl, Germany
--------
Program committee ::
ML Family Workshop (
ML 2023) ::
Seattle, USA
--------
Program committee ::
44th ACM-SIGPLAN Conference on Programming Language Design and Implementation (
PLDI 2023) ::
Online
--------
Co-organiser ::
Foundations of WebAssembly (
Dagstuhl Seminar 23101) ::
Dagstuhl, Germany
--------
Program committee ::
ACM-SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications
(
OOPSLA 2022) ::
Auckland, New Zealand
--------
Award committee ::
ACM-SIGPLAN Programming Languages Software Award (2022)
--------
Program committee ::
9th ACM-SIGPLAN Workshop on Higher-Order Programming with Effects (
HOPE 2021) ::
Online
--------
Program committee ::
42nd ACM-SIGPLAN Conference on Programming Language Design and Implementation (
PLDI 2021) ::
Online
--------
Co-organiser ::
Scalable Handling of Effects (
Dagstuhl Seminar 20312) ::
Dagstuhl, Germany
--------
Program committee ::
3rd Workshop on Formal Methods for Blockchains (
FMBC 2021) ::
Los Angeles, California, USA
--------
Program committee ::
Workshop on Principles of Secure Compilation (
PriSC 2021) ::
Online
--------
Co-organiser ::
Foundations of WebAssembly (
Dagstuhl Seminar 21012) (canceled due to Covid-19) ::
Dagstuhl, Germany
--------
Working Group ::
IFIP TC2 Working Group 2.16 on Programming Language Design (
WG 2.16)
--------
Program committee ::
Virtual Machines and Intermediate Languages (
VMIL 2020) ::
Chicago, Illinois, USA
--------
Program committee ::
OCaml Users and Developers Workshop (
OCAML 2020) ::
Jersey City, New Jersey, USA
--------
Program committee ::
2nd Workshop on Formal Methods for Blockchains (
FMBC 2020) ::
Los Angeles, California, USA
--------
External review committee ::
41st ACM-SIGPLAN Conference on Programming Language Design and Implementation (
PLDI 2020) ::
London, UK
--------
Working Group ::
IFIP TC2 WG 2.16 Working Group on Language Design (
WGLD)
--------
External review committee ::
24th ACM-SIGPLAN International Conference on Functional Programming (
ICFP 2019) ::
Berlin, Germany
--------
Program committee ::
ACM-SIGPLAN Workshop on ML (
ML 2019) ::
Berlin, Germany
--------
Steering committee ::
ACM-SIGPLAN International Conference on Funcitonal Programming (
ICFP) ::
2018-2022
--------
Steering committee ::
ACM-SIGPLAN ML Family Workshop (
ML) ::
2018-2023
--------
Program committee ::
ACM-SIGPLAN Conference on Programming Language Design and Implementation (
PLDI 2018) ::
Philadelphia, Pennsylvania, USA
--------
Program committee ::
27th European Symposium on Programming (
ESOP 2018) ::
Thessaloniki, Greece
--------
Program committee ::
Fourteenth International Symposium on Functional and Logic Programming (
FLOPS 2018) ::
Nagoya, Japan
--------
Program committee ::
ACM-SIGPLAN Workshop on ML (
ML 2017) ::
Oxford, UK
--------
Program committee ::
Syntax and Semantics of Low-Level Languages (
LOLA 2017) ::
Reykjavik, Iceland
--------
Program committee ::
Programming Technology for the Future Web (
ProWeb 2017) ::
Brussels, Belgium
--------
Program committee ::
26th International Conference on Compiler Construction (
CC 2017) ::
Austin, Texas, USA
--------
External review committee ::
21th ACM-SIGPLAN International Conference on Functional Programming (
ICFP 2016) ::
Nara, Japan
--------
Program committee ::
20th ACM-SIGPLAN International Conference on Functional Programming (
ICFP 2015) ::
Vancouver, Canada
--------
Program committee ::
OCaml Users and Developers Workshop (
OCaml 2014) ::
Gothenburg, Sweden
--------
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
--------
Steering committee ::
ACM-SIGPLAN Workshop on ML (
ML Workshop) ::
2009-2013
--------
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 ::
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, ICFP, CFP, PPDP, ESOP, ECOOP, OOPSLA, APLAS, PADL, CC, MFPS, JFP
--------
WebAssembly, a safe and portable code format. I co-designed the language, I am the author and editor of its
specification and
formalisation and maintainer of the
reference interpreter, and I am an active member of the
W3C working group driving forward its design and standardisation.
--------
V8, a high-performance virtual machine for JavaScript, used e.g. in Chrome, Android, Opera, and by node.js. I am the lead of the JavaScript language team, responsible for new language features.
--------
Ecma TC 39, I have been a member of the standardisation committee for JavaScript since 2011, and took part in the design of the lomg-awaited
6th edition (ES6 a.k.a. ES2015), as well as consecutive ones.
--------
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.
--------
Successor ML, an attempt to evolve SML past its 1997 edition. I
proposed and
specified various language extensions, some of which have been
merged into the language definition and are being implemented in
MLton and
SML/NJ.
--------
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.
--------