formerly- post-doctoral researcher ::
Max Planck Institute for Software Systems ::
Type Systems and Functional Programming Group
--------
now- working at Google :: since 2010.02Research Interests
type systems :: module systems :: functional languages :: object-oriented languages :: compilers :: runtime systems :: concurrency :: program semantics :: mechanized meta-theory :: broken beatsContact
web- www.mpi-sws.org/~rossberg :: mail- rossberg@mpi-sws.orgCurrent Activities
Program committee :: ICFP 2015--------
Program committee :: OCaml 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 ModulesAndreas Rossberg, Claudio Russo, Derek Dreyer :: to appear in JFP, 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