andreas.rossberg

Andreas Rossberg
now- senior staff researcher
Dfinity Foundation ::
programming language and virtual machine research and design
WebAssembly :: proposal wizard & spec guru

--------

formerly- staff software engineer
Google Germany ::
Chrome V8 :: JS language team lead
WebAssembly :: co-designer & spec author

--------

formerly- post-doctoral researcher ::
Max Planck Institute for Software Systems ::
Type Systems and Functional Programming Group

Research Interests

type systems :: module systems :: functional languages :: object-oriented languages :: compilers :: runtime systems :: concurrency :: program semantics :: mechanized meta-theory :: broken beats

Contact

web- www.mpi-sws.org/~rossberg :: mail- rossberg@mpi-sws.org

Current Activities

External review committee :: ICFP 2019

--------

Steering committee :: ICFP

--------

Steering committee :: ML

--------

Program committee :: PLDI 2018

--------

Program committee :: ESOP 2018

--------

Program committee :: FLOPS 2018

--------

Program committee :: ML 2017

--------

Program committee :: LOLA 2017

--------

Program committee :: ProWeb 2017

--------

Program committee :: CC 2017

--------

more...

New Papers

1ML — Core and modules united
Andreas Rossberg :: to appear in JFP, 2019
best printed in color; revised and expanded version of ICFP 2015 paper

--------

Bringing the Web up to Speed with WebAssembly
Andreas Rossberg, Ben Titzer, Andreas Haas, Derek Schuff, Dan Gohman, Luke Wagner, Alon Zakai, JF Bastien, Michael Holman
CACM 61(12), 2018
revised and updated version of PLDI 2017 paper

--------

Bringing the Web up to Speed with WebAssembly
Andreas Haas, Andreas Rossberg, Derek Schuff, Ben Titzer, Dan Gohman, Luke Wagner, Alon Zakai, JF Bastien, Michael Holman :: PLDI 2017
Distinguished Paper Award and ACM SIGPLAN Research Highlight

--------

1ML with Special Effects (F-ing Generativity Polymorphism)
Andreas Rossberg :: WadlerFest 2016
best printed in color

--------

1ML — Core and modules united (F-ing first-class modules)
Andreas Rossberg :: ICFP 2015
best printed in color; with prototype interpreter

--------

F-ing Modules
Andreas Rossberg, Claudio Russo, Derek Dreyer :: JFP 24 (5), 2014
revised and significantly extended version of our TLDI 2010 paper; best printed in color

--------

1ML — core and modules as one (Abstract)
Andreas Rossberg :: ML 2014

--------

Mixin' Up the ML Module System
Andreas Rossberg, Derek Dreyer :: TOPLAS 35 (1), 2013
revised and significantly expanded version of our ICFP 2008 paper
prototype implementation available from project page

--------

F-ing Applicative Functors (Abstract) (Slides)
Andreas Rossberg, Claudio Russo, Derek Dreyer :: ML 2012

--------

Non-Parametric Parametricity
Georg Neis, Derek Dreyer, Andreas Rossberg :: JFP 21 (4 & 5), 2011

--------

F-ing Modules
Andreas Rossberg, Claudio Russo, Derek Dreyer :: TLDI 2010
with Coq proof scripts

--------

A Relational Modal Logic for Higher-Order Stateful ADTs
Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal :: POPL 2010

--------

Non-Parametric Parametricity
Georg Neis, Derek Dreyer, Andreas Rossberg :: ICFP 2009
my presentation at ICFP can be viewed online

--------

more...

Note

Welcome to my homepage. Please note that it is here only for professional purposes. I will not bother you with poems, my favorite recipes, or my beauty procedures. Thank you for your attention.