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, Rao Xiaojia, Conrad Watt, Andreas Rossberg
ACM-SIGPLAN Conference on Programming Language Design and Implementation (
PLDI 2024)
Copenhagen, Denmark, June 2024
--------
Mutually Iso-recursive Subtyping (Expanded)
Andreas Rossberg
ACM-SIGPLAN Conference track on Object-Oriented Programming, Systems, Languages & Applications (
OOSPLA 2023)
Cascais, Portugal, October 2023
expanded version with technical appendix
--------
Continuing WebAssembly with Effect Handlers
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, KC Sivaramakrishnan, Matija Pretnar, Sam Lindley
ACM-SIGPLAN Conference track on Object-Oriented Programming, Systems, Languages & Applications (
OOSPLA 2023)
Cascais, Portugal, October 2023
--------
Weakening WebAssembly (Extended)
Conrad Watt, Andreas Rossberg, Jean Pichon-Pharabod
ACM-SIGPLAN Conference track on Object-Oriented Programming, Systems, Languages & Applications (
OOSPLA 2019)
Athens, Greece, November 2019
best printed in color;
extended version with appendices
--------
1ML — Core and modules united
Andreas Rossberg
Journal of Functional Programming (
JFP 28), 2018
best printed in color;
revised and expanded version of
ICFP 2015 paper
--------
Bringing the Web up to Speed with WebAssembly
Andreas Rossberg, Ben Titzer, Andreas Haas, Derek Schuff, Dan Gohman, Luke Wagner, Alon Zakai, JF Bastien, Michael Holman
Communications of the ACM (
CACM 61(12)), 2018
revised and updated version of
PLDI 2017 paper
--------
Bringing the Web up to Speed with WebAssembly
Andreas Haas, Andreas Rossberg, Derek Schuff, Ben Titzer, Dan Gohman, Luke Wagner, Alon Zakai, JF Bastien, Michael Holman
ACM-SIGPLAN Conference on Programming Language Design and Implementation (
PLDI 2017)
Barcelona, Spain, June 2017
Distinguished Paper Award and
ACM SIGPLAN Research Highlight
--------
1ML with Special Effects (F-ing Generativity Polymorphism)
Andreas Rossberg
WadlerFest 2016 (
WF 2016)
Edinburgh, UK, April 2016
best printed in color
--------
1ML — Core and modules united (F-ing first-class modules)
Andreas Rossberg
20th ACM-SIGPLAN International Conference on Functional Programming (
ICFP 2015)
Extended Version with technical appendices available as Technical Report
best printed in color
prototype implementation available from
project page
--------
F-ing Modules
Andreas Rossberg, Claudio Russo, Derek Dreyer
Journal of Functional Programming (
JFP 24, 5), 2014
revised and significantly extended version of our
TLDI 2010 paper; best printed in color
--------
1ML — core and modules as one (Abstract)
Andreas Rossberg
ACM-SIGPLAN ML Family Workshop (
ML 2014)
Gothenburg, Sweden, September 2014
--------
Mixin' Up the ML Module System
Andreas Rossberg, Derek Dreyer
ACM Transactions on Programming Languages and Systems (
TOPLAS 35, 1), 2013
revised and 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
ACM-SIGPLAN Workshop on ML (
ML 2012)
Copenhagen, Denmark, September 2012
--------
Non-Parametric Parametricity
Georg Neis, Derek Dreyer, Andreas Rossberg
Journal of Functional Programming (
JFP 21, 4 & 5), 2011
revised and significantly expanded version of our
ICFP 2009 paper
my presentation at ICFP can be viewed
online
--------
F-ing Modules
Andreas Rossberg, Claudio Russo, Derek Dreyer
5th ACM-SIGPLAN Workshop on Types in Language Design and Implementation (
TLDI 2010)
Madrid, Spain, January 2010
Coq proof scripts available from
project page
--------
A Relational Modal Logic for Higher-Order Stateful ADTs
Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal
37th Annual ACM-SIGPLAN/SIGACT Symposium on Principles of Programming Languages (
POPL 2010)
Madrid, Spain, January 2010
Technical Appendix with additional details and proofs available as Technical Report
--------
ML'09: Proceedings of the 2009 ACM-SIGPLAN Workshop on ML
Andreas Rossberg (editor)
Edinburgh, GB, September 2009. ACM
--------
Non-Parametric Parametricity
Georg Neis, Derek Dreyer, Andreas Rossberg
14th ACM-SIGPLAN International Conference on Functional Programming (
ICFP 2009)
Edinburgh, GB, September 2009
Technical Appendix with proofs and more examples
my presentation at ICFP can be viewed
online
--------
State-Dependent Representation Independence
Amal Ahmed, Derek Dreyer, Andreas Rossberg
36th Annual ACM-SIGPLAN/SIGACT Symposium on Principles of Programming Languages (
POPL 2009)
Savannah, Georgia, USA, January 2009
Technical Appendix with proofs and more examples available
online
--------
Mixin' Up the ML Module System
Derek Dreyer, Andreas Rossberg
13th ACM-SIGPLAN International Conference on Functional Programming (
ICFP 2008)
Victoria, Canada, September 2008
Extended Version with technical appendices available as Technical Report
prototype implementation available from
project page
--------
Mechanizing the Metatheory of a Language With Linear Resources and Context Effects (Abstract)
Daniel Lee, Derek Dreyer, Andreas Rossberg
ACM-SIGPLAN Informal Workshop on Mechanizing Metatheory (
WMM 2008)
Victoria, Canada, September 2008
--------
Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions
Andreas Rossberg
24th Conference on Mathematical Foundations of Programming Semantics (
MFPS 2008)
Philadelphia, USA, May 2008
--------
HOT Pickles, and How To Serve Them
Andreas Rossberg, Guido Tack, Leif Kornstaedt
2007 ACM-SIGPLAN Workshop on ML (
ML 2007)
Freiburg, Germany, October 2007
--------
The Missing Link - Dynamic Components for ML
Andreas Rossberg
11th ACM-SIGPLAN International Conference on Functional Programming (
ICFP 2006)
Portland, Oregon, USA, September 2006
Extended Version with proofs available as Technical Report
--------
Modular Grammar Design with Typed Parametric Principles
Ralph Debusmann, Denys Duchier, Andreas Rossberg
10th Conference on Formal Grammar & 9th Meeting on Mathematics of Language (
FG-MOL 2005)
Edinburgh, GB, 2005
--------
Alice Through the Looking Glass
Andreas Rossberg, Didier Le Botlan, Guido Tack, Gert Smolka
5th Symposium on Trends in Functional Programming (
TFP 2004)
Munich, Germany, 2004
Trends in Functional Programming, Vol. 5, 2006
Intellect Books, Bristol, GB, ISBN 1-84150144-1
Extended Version available as a Technical Report
--------
Generativity and Dynamic Opacity for Abstract Types
Andreas Rossberg
5th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (
PPDP 2003)
Uppsala, Sweden, September 2003
Extended Version with proofs available as Technical Report
--------
Safety First: WebAssembly as a Formally Specified Universal Compute Platform
Formal Specification and Validation at Scale, Cambridge, U.K., 2024
--------
Evolving a Formal Language Standard
Big Specification, Cambridge, U.K., 2024
--------
Memory of Past and Future
Keynote,
ISMM 2024, Copenhagen, Denmark, 2024
--------
Keeping the asm in Wasm — Running high-level languages on a low-level VM
DLS 2023, Cascais, Portugal, 2023
--------
As low-level as possible, but no lower
Keynote,
ICFP 2023, Seattle, USA, 2023
--------
WebAssembly 2.0 and Beyond
Keynote,
PAW 2022, Berlin, Germany, 2022
--------
On WebAssembly
POPL 2022 Virtual Workshop, Philadelphia, USA, 2022
--------
Who's Afraid of the Turnstile?
ECOOP and ISSTA 2021 Summer School, online, 2021
--------
Security through Modularity in WebAssembly
Developing Secure Systems Summit, online, 2020
--------
Bridging the Gap (or Falling into it)
Keynote,
SPLASH 2019 Doctoral Symposium, Athens, Greece, 2019
--------
Who's Afraid of the Turnstile?
Keynote,
VMIL 2019, Athens, Greece, 2019
--------
Language formalisation goes mainstream
Verified Software Workshop, Cambridge, UK, 2019
--------
Neither Web nor Assembly
Keynote,
Haskell Symposium, Amsterdam, Holland, 2018
--------
WebAssembly, Past, Present, and Future
with Ben Titzer
Keynote,
Curry On!, Amsterdam, Holland, 2018
--------
Experiments with Strengthening JavaScript
STOP 2015, Prague, Czechia, 2015
--------
Typed Open Programming - A higher-order, typed approach to dynamic modularity and distribution
Andreas Rossberg
Doctoral Thesis
Universität des Saarlandes, January 2007
--------
WebAssembly Core Specification (Release 2.0)
Andreas Rossberg (editor)
W3C Recommendation, 2022
--------
WebAssembly Core Specification (Release 1.0)
Andreas Rossberg
W3C Recommendation, 2019
--------
Defects in the Revised Definition of Standard ML
Andreas Rossberg
Programming Systems Lab, Universität des Saarlandes, 2001
(Updated 2004/06/22, 2005/01/13, 2005/01/26, 2006/07/18, 2007/01/22, 2013/09/18)
Updates available on the
project page
--------
The Definition of Standard ML with Packages
Andreas Rossberg
Programming Systems Lab, Universität des Saarlandes, 2005
--------
Beyond Type Classes
Andreas Rossberg, Martin Sulzmann
Universität des Saarlandes & University of Melbourne, 2002
--------
Dynamic Opacity for Abstract Types
Andreas Rossberg
Programming Systems Lab, Universität des Saarlandes, 2002
--------
Standard ML Grammar
Andreas Rossberg
A web page giving the full grammar of Standard ML
--------
Standard ML and Objective Caml, side by side
Jens Olsson, Andreas Rossberg
A quick chart comparing the syntax of Standard ML and Objective Caml
--------
A Tour to Wonderland
Andreas Rossberg
A brief tutorial presenting the Alice ML language and system
--------
