andreas.rossberg

Awards

ACM SIGPLAN Programming Languages Software Award for WebAssembly :: 2021

--------

ACM SIGPLAN Research Highlight for Bringing the Web up to Speed with WebAssembly :: CACM 61(12) :: 2018

--------

Distinguished Paper Award for Bringing the Web up to Speed with WebAssembly :: PLDI :: 2017

--------

ACM SIGPLAN Programming Languages Software Award for V8 :: 2016

--------

Academic

Program committee :: 17th International Symposium on Functional and Logic Programming (FLOPS 2024) :: Kumamoto, Japan

--------

Program committee :: ACM-SIGPLAN Workshop on ML (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

--------

Projects

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.

--------

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.

--------