Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation (NASA Formal Methods 2023 - NFM 2023)

Who

Sam Lasser, Chris Casinghino, Derek Egolf, Kathleen Fisher, Cody Roux

Track

NASA Formal Methods 2023 NFM

Time Zone

The program is currently displayed in (GMT-05:00) Central Time (US & Canada).

Use conference time zone: (GMT-05:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Wed 17 May 2023 16:00 - 16:25 - Software Verification Chair(s): Perry Alexander

Sam Lasser

Draper

United States

Chris Casinghino

Jane Street

Derek Egolf

Northeastern University

United States

Kathleen Fisher

Tufts University

United States

Cody Roux

Amazon Web Services

United States

Time Zone

The program is currently displayed in (GMT-05:00) Central Time (US & Canada).

Use conference time zone: (GMT-05:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Wed 17 May
Displayed time zone: Central Time (US & Canada) change

16:00 - 17:40	Software VerificationNFM 2023 Chair(s): Perry Alexander

16:00 25m Talk		*Verified ALL() Parsing with Semantic Actions and Dynamic Input Validation** NFM 2023 Sam Lasser Draper, Chris Casinghino Jane Street, Derek Egolf Northeastern University, Kathleen Fisher Tufts University, Cody Roux Amazon Web Services
16:25 25m Talk		Condition Synthesis Realizability via Constrained Horn Clauses NFM 2023 Bat-Chen Rothenberg Technion, Orna Grumberg Technion – Israel Institute of Technology, Yakir Vizel Technion—Israel Institute of Technology, Eytan Singher Technion - Israel Institute of Technology
16:50 25m Talk		A Toolkit for Automated Testing of Dafny NFM 2023 Aleksandr Fedchin Tufts University, Tyler Dean Brigham Young University, Jeffrey S. Foster Tufts University, Eric Mercer Brigham Young University, Zvonimir Rakamaric Amazon Web Services, Giles Reger University of Manchester, Neha Rungta Amazon Web Services, Robin Salkeld Amazon Web Services, Lucas Wagner Amazon Web Services, Cassidy Waldrip Brigham Young University
17:15 25m Talk		Automata-Based Software Model Checking of Hyperproperties NFM 2023 Bernd Finkbeiner CISPA Helmholtz Center for Information Security, Hadar Frenkel CISPA Helmholtz Center for Information Security, Jana Hofmann Microsoft Azure Research, Janine Lohse Saarland University Pre-print