mpi alumnus
independent researcher & language engineer
--------
formerly- principal researcher, Dfinity :: software engineer, Google :: post-doc, Max Planck Institute for Software SystemsResearch Interests
type systems :: module systems :: effects :: concurrencyfunctional 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.orgCurrent Activities
Program committee :: ML 2024--------
Program committee :: FLOPS 2024--------
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
Bringing the WebAssembly Standard up to Speed with SpecTecDongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Rao Xiaojia, Conrad Watt, Andreas Rossberg :: PLDI 2024
--------
Mutually Iso-recursive Subtyping (Expanded)Andreas Rossberg :: OOSPLA 2023
expanded version with technical appendix
--------
Continuing WebAssembly with Effect HandlersLuna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, KC Sivaramakrishnan, Matija Pretnar, Sam Lindley :: OOSPLA 2023
--------
WebAssembly Core Specification (Release 2.0)Andreas Rossberg (editor) :: W3C Recommendation, 2022
--------
Weakening WebAssembly (Extended)Conrad Watt, Andreas Rossberg, Jean Pichon-Pharabod :: 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 unitedAndreas Rossberg :: JFP 28, 2018
best printed in color; revised and expanded version of ICFP 2015 paper
--------
Bringing the Web up to Speed with WebAssemblyAndreas 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 WebAssemblyAndreas 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 ModulesAndreas 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 SystemAndreas 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 ParametricityGeorg Neis, Derek Dreyer, Andreas Rossberg :: JFP 21 (4 & 5), 2011
--------
F-ing ModulesAndreas Rossberg, Claudio Russo, Derek Dreyer :: TLDI 2010
with Coq proof scripts
--------
A Relational Modal Logic for Higher-Order Stateful ADTsDerek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal :: POPL 2010
--------
Non-Parametric ParametricityGeorg Neis, Derek Dreyer, Andreas Rossberg :: ICFP 2009
my presentation at ICFP can be viewed online