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

This program is tentative and subject to change.

Fri 28 Jun 2024 13:40 - 14:00 at Finland / Norway - Pot Pourri 2

This program is tentative and subject to change.

Fri 28 Jun

Displayed time zone: Windhoek change

13:40 - 15:20
13:40
20m
Talk
Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis
PLDI Research Papers
Peisen Yao Zhejing University, Jinguo Zhou Ant Group, Xiao Xiao Ant Group, Qingkai Shi Nanjing University, Rongxin Wu School of Informatics, Xiamen University, Charles Zhang The Hong Kong University of Science and Technology
DOI
14:00
20m
Talk
A Proof Recipe for Linearizability in Relaxed Memory Separation Logic
PLDI Research Papers
Sunho Park KAIST, Jaewoo Kim KAIST, Ike Mulder Radboud University Nijmegen, Jaehwang Jung KAIST, Janggun Lee KAIST, Robbert Krebbers Radboud University Nijmegen, Jeehoon Kang KAIST
DOI
14:20
20m
Talk
Compositional Semantics for Shared-Variable Concurrency
PLDI Research Papers
Mikhail Svyatlovskiy Tel Aviv University, Shai Mermelstein Tel Aviv University, Ori Lahav Tel Aviv University
DOI
14:40
20m
Talk
Input-Relational Verification of Deep Neural Networks
PLDI Research Papers
Debangshu Banerjee University of Illinois at Urbana-Champaign, Changming Xu University of Illinois at Urbana-Champaign, Gagandeep Singh University of Illinois at Urbana-Champaign; VMware Research
DOI
15:00
20m
Talk
Automated Verification of Fundamental Algebraic Laws
PLDI Research Papers
George Zakhour University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen
DOI