[TYPES/announce] Call for presentations: Program Analyses for WebAssembly (PAW @ ECOOP 2022)

[Quentin Stievenart]

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
presentation.

More info: https://urldefense.com/v3/__https://2022.ecoop.org/home/paw-2022__;!!IBzWLUs!FHowReDlyJ09rqs1K-NFTWfzi2ZMHb0XjO2rvN1VfVgyQpKg6nWyMwqypGOf37zLzs4VKiGL7PBMCA$ 
Submission site: https://urldefense.com/v3/__https://easychair.org/conferences/?conf=paw2022__;!!IBzWLUs!FHowReDlyJ09rqs1K-NFTWfzi2ZMHb0XjO2rvN1VfVgyQpKg6nWyMwqypGOf37zLzs4VKiEAM5copA$ 
Timeline:
April 11 2022: Submission deadline
May 2 2022: Acceptance notification
June 6-10 2022: ECOOP conference
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220307/618cf0a6/attachment.htm>