Andreas Rossberg

According to our database, Andreas Rossberg authored at least 24 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Bringing the WebAssembly Standard up to Speed with SpecTec.

Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, Andreas Rossberg

Proc. ACM Program. Lang., 2024

2023

Mutually Iso-Recursive Subtyping.

Andreas Rossberg

Proc. ACM Program. Lang., October, 2023

Continuing WebAssembly with Effect Handlers.

Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley

Proc. ACM Program. Lang., October, 2023

Foundations of WebAssembly (Dagstuhl Seminar 23101).

Karthikeyan Bhargavan, Jonathan Protzenko, Andreas Rossberg, Deian Stefan

Dagstuhl Reports, March, 2023

Wasm SpecTec: Engineering a Formal Language Standard.

Joachim Breitner, Philippa Gardner, Jaehyun Lee, Sam Lindley, Matija Pretnar, Xiaojia Rao, Andreas Rossberg, Sukyoung Ryu, Wonho Shin, Conrad Watt, Dongjun Youn

CoRR, 2023

Is Wasm Becoming Garbage? (Keynote).

Andreas Rossberg

Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2023

Keeping the asm in Wasm: Running High-Level Languages on a Low-Level VM (Invited Talk).

Andreas Rossberg

Proceedings of the 19th ACM SIGPLAN International Symposium on Dynamic Languages, 2023

2021

Scalable Handling of Effects (Dagstuhl Seminar 21292).

Danel Ahman, Amal Ahmed, Sam Lindley, Andreas Rossberg

Dagstuhl Reports, 2021

2019

Weakening WebAssembly.

Conrad Watt, Andreas Rossberg, Jean Pichon-Pharabod

Proc. ACM Program. Lang., 2019

2018

1ML - Core and modules united.

Andreas Rossberg

J. Funct. Program., 2018

Bringing the web up to speed with WebAssembly.

Andreas Rossberg, Ben L. Titzer, Andreas Haas, Derek L. Schuff, Dan Gohman, Luke Wagner, Alon Zakai, J. F. Bastien, Michael Holman

Commun. ACM, 2018

2016

1ML with Special Effects - F-ing Generativity Polymorphism.

Andreas Rossberg

Proceedings of the A List of Successes That Can Change the World, 2016

2015

1ML - core and modules united (F-ing first-class modules).

Andreas Rossberg

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014

F-ing modules.

Andreas Rossberg, Claudio V. Russo, Derek Dreyer

J. Funct. Program., 2014

2013

Mixin' Up the ML Module System.

Andreas Rossberg, Derek Dreyer

ACM Trans. Program. Lang. Syst., 2013

2011

Non-parametric parametricity.

Georg Neis, Derek Dreyer, Andreas Rossberg

J. Funct. Program., 2011

2010

A relational modal logic for higher-order stateful ADTs.

Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009

State-dependent representation independence.

Amal Ahmed, Derek Dreyer, Andreas Rossberg

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

2008

Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions.

Andreas Rossberg

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

2007

Typed open programming: a higher-order, typed approach to dynamic modularity and distribution.

Andreas Rossberg

PhD thesis, 2007

Status report: hot pickles, and how to serve them.

Andreas Rossberg, Guido Tack, Leif Kornstaedt

Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, 2007

2006

The missing link: dynamic components for ML.

Andreas Rossberg

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

2004

Alice through the looking glass.

Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka

Proceedings of the Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, 2004

2003

Generativity and dynamic opacity for abstract types.

Andreas Rossberg

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003