PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

This program is tentative and subject to change.

Wed 26 Jun 2024 14:40 - 15:00 at Iceland / Denmark - Formal Verification 1

This program is tentative and subject to change.

Wed 26 Jun

Displayed time zone: Windhoek change

13:40 - 15:20
Formal Verification 1PLDI Research Papers at Iceland / Denmark
13:40
20m
Talk
Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language
PLDI Research Papers
Gaurav Parthasarathy ETH Zurich, Thibault Dardinier ETH Zurich, Benjamin Bonneau Verimag, Peter Müller ETH Zurich, Alexander J. Summers University of British Columbia
DOI
14:00
20m
Talk
Verified Extraction from Coq to OCaml
PLDI Research Papers
DOI
14:20
20m
Talk
Verification under Intel-x86 with Persistency
PLDI Research Papers
Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Sweden, Ahmed Bouajjani IRIF, Université Paris Diderot, K Narayan Kumar Chennai Mathematical Institute, Prakash Saivasan The Institute of Mathematical Sciences, India
DOI
14:40
20m
Talk
RefinedRust: A Type System for High-Assurance Verification of Rust Programs
PLDI Research Papers
Lennard Gäher MPI-SWS, Michael Sammler MPI-SWS, Ralf Jung ETH Zurich, Robbert Krebbers Radboud University Nijmegen, Derek Dreyer MPI-SWS
DOI
15:00
20m
Talk
Hyperblock Scheduling for Verified High-Level Synthesis
PLDI Research Papers
Yann Herklotz Imperial College London, John Wickerson Imperial College London
DOI Pre-print