andreas.rossberg

Academic

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

--------

Projects

WebAssembly, a safe and portable format for efficient native-code execution on the web, soon to ship in all major browsers. I am the main author and maintainer of the spec interpreter.

--------

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 significantly extended 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.

--------

Miscellaneous

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.

--------