PLDI 2024 (series) / PLDI Research Papers /
A Proof Recipe for Linearizability in Relaxed Memory Separation Logic
Fri 28 JunDisplayed time zone: Windhoek change
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 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 DOI | ||
15:00 20mTalk | 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 | ||