Andreas Rossberg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
2003–2023
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | DLS | Keeping the asm in Wasm: Running High-Level Languages on a Low-Level VM (Invited Talk). | Andreas Rossberg |
| 2017 | PLDI | Bringing the web up to speed with WebAssembly. | Andreas Haas, Andreas Rossberg, Derek L. Schuff, Ben L. Titzer, Michael Holman, Dan Gohman, Luke Wagner, Alon Zakai, J. F. Bastien |
| 2015 | ICFP | 1ML - core and modules united (F-ing first-class modules). | Andreas Rossberg |
| 2010 | POPL | A relational modal logic for higher-order stateful ADTs. | Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal |
| 2009 | ICFP | Non-parametric parametricity. | Georg Neis, Derek Dreyer, Andreas Rossberg |
| 2009 | POPL | State-dependent representation independence. | Amal Ahmed, Derek Dreyer, Andreas Rossberg |
| 2008 | ICFP | Mixin' up the ML module system. | Derek Dreyer, Andreas Rossberg |
| 2006 | ICFP | The missing link: dynamic components for ML. | Andreas Rossberg |
| 2003 | PPDP | Generativity and dynamic opacity for abstract types. | Andreas Rossberg |