PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Thu 27 Jun 2024 14:20 - 14:40 at Finland / Norway - Formal Verification 2 Chair(s): Clément Pit-Claudel

Thu 27 Jun

Displayed time zone: Windhoek change

13:40 - 14:40
Formal Verification 2PLDI Research Papers at Finland / Norway
Chair(s): Clément Pit-Claudel EPFL
13:40
20m
Talk
Mechanised Hypersafety Proofs about Structured Data
PLDI Research Papers
Vladimir Gladshtein National University of Singapore, Qiyuan Zhao National University of Singapore, Willow Ahrens Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology, Ilya Sergey National University of Singapore
DOI Pre-print
14:00
20m
Talk
Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties
PLDI Research Papers
Thibault Dardinier ETH Zurich, Peter Müller ETH Zurich
DOI
14:20
20m
Talk
A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata
PLDI Research Papers
Zhe Zhou Purdue University, Qianchuan Ye Purdue University, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University
DOI