Weakening WebAssembly (Extended)
Conrad Watt, Andreas Rossberg, Jean Pichon-Pharabod
ACM-SIGPLAN Conference on Systems, Programming, Languages and Applications:
Software for Humanity / Track on Object-Oriented Programming, Systems, Language and Architectures (
SPLASH/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
--------
WebAssembly 2.0 and Beyond
PAW 2022, Berlin, Germany, 2022
--------
On WebAssembly
POPL 2022 Virtual Workshop, Philadelphia, Pennsylvania, 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)
SPLASH 2019 Doctoral Symposium, Athens, Greece, 2019
--------
Who's Afraid of the Turnstile?
VMIL 2019, Athens, Greece, 2019
--------
Language formalisation goes mainstream
Verified Software Workshop, Cambridge, UK, 2019
--------
Neither Web nor Assembly
Haskell Symposium, Amsterdam, Holland, 2018
--------
WebAssembly, Past, Present, and Future
with Ben Titzer
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
--------
