Andreas Rossberg

30 papers A* 3A 4B 1C 3Journal 14Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Utilising and Scaling the WebAssembly Semantics (Dagstuhl Seminar 25241).
Dagstuhl Reports
Amal Ahmed, Andreas Rossberg, Deian Stefan, Conrad Watt, Michelle Thalakottur
2024 J jnl
Bringing the WebAssembly Standard up to Speed with SpecTec.
Proc. ACM Program. Lang.
Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, Andreas Rossberg
2023 J jnl
Continuing WebAssembly with Effect Handlers.
CoRR
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley
2023 J jnl
Continuing WebAssembly with Effect Handlers.
Proc. ACM Program. Lang.
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley
2023 J jnl
Foundations of WebAssembly (Dagstuhl Seminar 23101).
Dagstuhl Reports
Karthikeyan Bhargavan, Jonathan Protzenko, Andreas Rossberg, Deian Stefan
2023 C conf
Is Wasm Becoming Garbage? (Keynote).
MPLR
Andreas Rossberg
2023 C conf
Keeping the asm in Wasm: Running High-Level Languages on a Low-Level VM (Invited Talk).
DLS
Andreas Rossberg
2023 J jnl
Mutually Iso-Recursive Subtyping.
Proc. ACM Program. Lang.
Andreas Rossberg
2023 J jnl
Wasm SpecTec: Engineering a Formal Language Standard.
CoRR
Joachim Breitner, Philippa Gardner, Jaehyun Lee, Sam Lindley, Matija Pretnar, Xiaojia Rao, Andreas Rossberg, Sukyoung Ryu, Wonho Shin, Conrad Watt, Dongjun Youn
2021 J jnl
Scalable Handling of Effects (Dagstuhl Seminar 21292).
Dagstuhl Reports
Danel Ahman, Amal Ahmed, Sam Lindley, Andreas Rossberg
2019 J jnl
Weakening WebAssembly.
Proc. ACM Program. Lang.
Conrad Watt, Andreas Rossberg, Jean Pichon-Pharabod
2018 J jnl
1ML - Core and modules united.
J. Funct. Program.
Andreas Rossberg
2018 J jnl
Bringing the web up to speed with WebAssembly.
Commun. ACM
Andreas Rossberg, Ben L. Titzer, Andreas Haas, Derek L. Schuff, Dan Gohman, Luke Wagner, Alon Zakai, J. F. Bastien, Michael Holman
2017 A* conf
Bringing the web up to speed with WebAssembly.
PLDI
Andreas Haas, Andreas Rossberg, Derek L. Schuff, Ben L. Titzer, Michael Holman, Dan Gohman, Luke Wagner, Alon Zakai, J. F. Bastien
2016 — conf
1ML with Special Effects - F-ing Generativity Polymorphism.
A List of Successes That Can Change the World
Andreas Rossberg
2015 A conf
1ML - core and modules united (F-ing first-class modules).
ICFP
Andreas Rossberg
2014 J jnl
F-ing modules.
J. Funct. Program.
Andreas Rossberg, Claudio V. Russo, Derek Dreyer
2013 J jnl
Mixin' Up the ML Module System.
ACM Trans. Program. Lang. Syst.
Andreas Rossberg, Derek Dreyer
2011 J jnl
Non-parametric parametricity.
J. Funct. Program.
Georg Neis, Derek Dreyer, Andreas Rossberg
2010 A* conf
A relational modal logic for higher-order stateful ADTs.
POPL
Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal
2010 — conf
F-ing modules.
TLDI
Andreas Rossberg, Claudio V. Russo, Derek Dreyer
2009 A conf
Non-parametric parametricity.
ICFP
Georg Neis, Derek Dreyer, Andreas Rossberg
2009 A* conf
State-dependent representation independence.
POPL
Amal Ahmed, Derek Dreyer, Andreas Rossberg
2008 B conf
Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions.
MFPS
Andreas Rossberg
2008 A conf
Mixin' up the ML module system.
ICFP
Derek Dreyer, Andreas Rossberg
2007 — conf
Status report: hot pickles, and how to serve them.
ML
Andreas Rossberg, Guido Tack, Leif Kornstaedt
2007 — —
Typed open programming: a higher-order, typed approach to dynamic modularity and distribution.
Andreas Rossberg
2006 A conf
The missing link: dynamic components for ML.
ICFP
Andreas Rossberg
2004 — conf
Alice through the looking glass.
Trends in Functional Programming
Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka
2003 C conf
Generativity and dynamic opacity for abstract types.
PPDP
Andreas Rossberg