ISSTA/ECOOP 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria

This program is tentative and subject to change.

Mon 16 Sep 2024 11:00 - 11:15 at EI 9 Hlawka - Strauss Session

In this article we propose a methodology based on fuzzing to test which features are supported by pasers and register an experiment applying this methodology to Verilog-consuming tools. SystemVerilog is a hardware description, specification and verification language widely used in hardware design, and with an active standard committee. Most SystemVerilog-consuming tools have incomplete support and support additional features. These tools do not provide the list of features they support, so identifying commonly supported SystemVerilog features is complicated. This hinders design portability and tool interoperability. We think current efforts to test Verilog-consuming tools feature support are insufficient. All of the previous points justify why Verilog-consuming tools are a good candidate for our methodology. We also provide the first (to our knowledge) open-source parser and fuzzer for Verilog with full support and compliance with the 2005 standard.

This program is tentative and subject to change.

Mon 16 Sep

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

10:30 - 12:00
Strauss SessionFUZZING at EI 9 Hlawka
10:30
15m
Talk
Directed or Undirected: Investigating Fuzzing Strategies in a CI/CD Setup
FUZZING
Madonna Huang University of British Columbia, Caroline Lemieux University of British Columbia
10:45
15m
Talk
Effective Fuzzing within CI/CD Pipelines
FUZZING
Arindam Sharma Imperial College London, UK, Cristian Cadar Imperial College London, Jonathan Metzman Google
11:00
15m
Talk
Automated Feature Testing of Verilog Parsers using Fuzzing
FUZZING
Quentin Corradi Imperial College London, John Wickerson Imperial College London, George A. Constantinides Imperial College London, UK
11:15
15m
Talk
WebAssembly as a Fuzzing Compilation Target
FUZZING
Florian Bauckholt CISPA Helmholtz Center for Information Security, Thorsten Holz CISPA Helmholtz Center for Information Security
11:30
15m
Talk
Visualization Task Taxonomy to Understand the Fuzzing Internals
FUZZING
Sriteja Kummita Fraunhofer IEM, Miao Miao The University of Texas at Dallas, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Shiyi Wei University of Texas at Dallas

Information for Participants
Mon 16 Sep 2024 10:30 - 12:00 at EI 9 Hlawka - Strauss Session
Info for room EI 9 Hlawka:

Map: https://tuw-maps.tuwien.ac.at/?q=CAEG17

Room tech: https://raumkatalog.tiss.tuwien.ac.at/room/13939