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.
Mon 6 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 90mKeynote | Andreas Rossberg: WebAssembly 2.0 and Beyond PAW | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering | ||
11:00 - 12:30 | |||
11:00 30mTalk | 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 30mTalk | Dynamic Analysis for WebAssembly with Wasabi PAW | ||
12:00 30mTalk | 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 60mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 30mTalk | 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 30mTalk | A Modular Static Analysis Platform for WebAssembly PAW | ||
14:30 30mTalk | Building Static Analyses for WebAssembly Binaries with Wassail PAW | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee break Catering | ||
15:30 - 17:00 | |||
15:30 30mTalk | 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 30mTalk | Static Execution Costs of WebAssembly Functions PAW | ||
16:30 30mDay closing | Open Discussion on Program Analyses for WebAssembly PAW | ||
Accepted Papers
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
| Mon 6 Jun 2022 Workshop Date |
| Mon 2 May 2022 Acceptance notification |
| Mon 18 Apr 2022 Presentation proposal deadline |
Javier Cabrera Arteaga
KTH Royal Institute of Technology
Sweden
Coen De Roover
Vrije Universiteit Brussel
Belgium
Sebastian Erdweg
JGU Mainz
Germany
Michael Pradel
University of Stuttgart
Germany
Christophe Scholliers
Universiteit Gent, Belgium
Quentin Stiévenart
Vrije Universiteit Brussel
Belgium
Weihang Wang
University at Buffalo, SUNY
Conrad Watt
University of Cambridge
United Kingdom