ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany

Program Analysis for WebAssembly (PAW) 2022

WebAssembly is a recently introduced portable virtual machine, to which code written in many high-level languages can be compiled in order to be executed in web browsers and other runtimes. There have been several independent efforts to bring static and dynamic analysis tools to the WebAssembly ecosystem. This workshop aims to bring together researchers working in the domain of static and dynamic analyses for WebAssembly. Specifically, this workshop aims to discuss all techniques related to detecting bugs and vulnerabilities in WebAssembly binaries, to build models of such binaries, to prove their correctness, to monitor their execution, or to optimize binaries for running time and binary size. The workshop will be a community-building event to exchange ideas and build collaborations in these domains. To that end, contributions in the form of submitted talks are welcome. The workshop will also hold discussion sessions in order to foster collaborations.

Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 6 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
PAW Welcome and KeynotePAW at Pine
09:00
90m
Keynote
Andreas Rossberg: WebAssembly 2.0 and Beyond
PAW
K: Andreas Rossberg Dfinity Stiftung
10:30 - 11:00
10:30
30m
Coffee break
Coffee break
Catering

11:00 - 12:30
Session 1PAW at Pine
11:00
30m
Talk
MEWE: Multi-variant Execution for WebAssembly
PAW
Javier Cabrera Arteaga KTH Royal Institute of Technology, Martin Monperrus KTH Royal Institute of Technology, Benoit Baudry KTH
11:30
30m
Talk
Dynamic Analysis for WebAssembly with Wasabi
PAW
Daniel Lehmann University of Stuttgart, Michael Pradel University of Stuttgart
12:00
30m
Talk
A Type System with Subtyping for WebAssembly's Stack Polymorphism
PAW
Yasuaki Morita Reykjavik University, Dylan McDermott Reykjavik University, Tarmo Uustalu Reykjavik University
12:30 - 13:30
12:30
60m
Lunch
Lunch
Catering

13:30 - 15:00
Session 2PAW at Pine
13:30
30m
Talk
Wimpl: A Simple IR for Static Analysis of WebAssembly Binaries
PAW
Michelle Thalakottur Northeastern University, Daniel Lehmann University of Stuttgart, Frank Tip Northeastern University, Michael Pradel University of Stuttgart
14:00
30m
Talk
A Modular Static Analysis Platform for WebAssembly
PAW
Sebastian Erdweg JGU Mainz, Katharina Brandl JGU Mainz, Sven Keidel TU Darmstadt, Germany
14:30
30m
Talk
Building Static Analyses for WebAssembly Binaries with Wassail
PAW
Quentin Stiévenart Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
15:00 - 15:30
15:00
30m
Coffee break
Coffee break
Catering

15:30 - 17:00
Session 3PAW at Pine
15:30
30m
Talk
SecWasm: Information Flow Control for WebAssembly
PAW
Iulia Bastys Chalmers University of Technology, Maximilian Algehed Chalmers University of Technology, Sweden, Alexander Sjösten TU Wien, Andrei Sabelfeld Chalmers University of Technology
16:00
30m
Talk
Static Execution Costs of WebAssembly Functions
PAW
John Shortt Carleton University, Anil Somayaji Carleton University, Amy Felty University of Ottawa
16:30
30m
Day closing
Open Discussion on Program Analyses for WebAssembly
PAW

Call for presentations

WebAssembly is a recently introduced portable virtual machine, to which code written in many high-level languages can be compiled in order to be executed in web browsers and other runtimes. There have been several independent efforts to bring static and dynamic analysis tools to the WebAssembly ecosystem. This workshop aims to bring together researchers working in the domain of static and dynamic analyses for WebAssembly. Specifically, this workshop aims to discuss all techniques related to detecting bugs and vulnerabilities in WebAssembly binaries, to build models of such binaries, to prove their correctness, to monitor their execution, or to optimise binaries for running time and binary size. The PAW workshop is a community-building event, for exchanging ideas and fostering collaborations in these domains.

The workshop will consist of submitted and invited talks, as well as discussion sessions. To that end, we invite submissions for talks in the form of a 1-page abstract delineating at a high-level the content of the proposed presentation.

Submission site: https://easychair.org/conferences/?conf=paw2022

Timeline:

  • April 11 2022: Submission deadline
  • May 2 2022: Acceptance notification
  • June 6-10 2022: ECOOP conference

Questions? Use the PAW contact form.