andreas.rossberg

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

--------

now- working at Google :: since 2010.02

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

Program committee :: OUD 2014

--------

Program committee :: POPL 2013

--------

Program committee :: ICFP 2012

--------

Program committee :: LOLA 2012

--------

Program committee :: PADL 2012

--------

Standards committee :: JavaScript/EcmaScript

--------

Steering committee :: ML Workshop

--------

more...

New Papers

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

--------

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 a blog about my bathroom experiences. Thank you for your attention.