andreas.rossberg

Andreas Rossberg
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.