PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Fri 28 Jun 2024 13:40 - 14:00 at Finland / Norway - Pot Pourri 2 Chair(s): Caleb Stanford

Fri 28 Jun

Displayed time zone: Windhoek change

13:40 - 15:20
Pot Pourri 2PLDI Research Papers at Finland / Norway
Chair(s): Caleb Stanford University of California, Davis
13:40
20m
Talk
Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis
PLDI Research Papers
Peisen Yao Zhejiang 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