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

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