andreas.rossberg

Professional

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

--------

Standards committee :: JavaScript (Ecma TC 39) :: since 2011

--------

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 :: 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

--------

Miscellaneous

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 language feature team.

--------

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.

--------