mpi alumnus
independent researcher & language engineer
--------
formerly-
principal researcher,
Dfinity ::
software engineer,
Google ::
post-doc,
Max Planck Institute for Software Systems
Research Interests
type systems :: module systems :: effects :: concurrency
functional languages :: object-oriented languages :: webassembly :: language design
program semantics :: mechanized meta-theory :: language specification
compilers :: runtime systems :: interpreters
Contact
web-
www.mpi-sws.org/~rossberg :: mail-
rossberg@mpi-sws.org
Current Activities
Program committee ::
PLDI 2023
--------
Co-organiser ::
Dagstuhl Seminar 23101, Foundations of WebAssembly
--------
Program committee ::
OOPSLA 2022
--------
Award committee ::
SIGPLAN Programming Languages Software Award 2022
--------
Program committee ::
HOPE 2021
--------
Program committee ::
PLDI 2021
--------
Co-organiser ::
Dagstuhl Seminar 20312, Scalable Handling of Effects
--------
Program committee ::
FMBC 2021
--------
Program committee ::
PriSC 2021
--------
more...
New Papers
WebAssembly Core Specification (Release 2.0)
Andreas Rossberg (editor) ::
W3C Recommendation, 2022
--------
Weakening WebAssembly (Extended)
Conrad Watt, Andreas Rossberg, Jean Pichon-Pharabod ::
SPLASH/OOSPLA 2019
best printed in color;
extended version with appendices
--------
WebAssembly Core Specification (Release 1.0)
Andreas Rossberg ::
W3C Recommendation, 2019
--------
1ML — Core and modules united
Andreas Rossberg ::
JFP 28, 2018
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. For professional purposes only. No poems, recipes, or blogs. Thank you for your attention.