PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Wed 26 Jun 2024 14:20 - 14:40 at Finland / Norway - Pot Pourri 1 Chair(s): Steve Blackburn

Wed 26 Jun

Displayed time zone: Windhoek change

13:40 - 15:20
Pot Pourri 1PLDI Research Papers at Finland / Norway
Chair(s): Steve Blackburn Google and Australian National University
13:40
20m
Talk
Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
PLDI Research Papers
Peixin Wang University of Oxford, Tengshun Yang SKLCS, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Hongfei Fu Shanghai Jiao Tong University, Guanyan Li University of Oxford, C.-H. Luke Ong NTU
DOI
14:00
20m
Talk
Consolidating Smart Contracts with Behavioral Contracts
PLDI Research Papers
Guannan Wei Purdue University, Danning Xie Purdue University, Wuqi Zhang The Hong Kong University of Science and Technology, Yongwei Yuan Purdue University, Zhuo Zhang Purdue University
DOI
14:20
20m
Talk
NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks
PLDI Research Papers
Ajay Brahmakshatriya Massachusetts Institute of Technology, Christopher Rinard Massachusetts Institute of Technology, Manya Ghobadi Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology
DOI
14:40
20m
Talk
KATch: A Fast Symbolic Verifier for NetKAT
PLDI Research Papers
Mark Moeller Cornell University, Jules Jacobs Cornell University, Olivier Savary BĂ©langer Galois, Inc., David Darais Galois, Cole Schlesinger Galois, Steffen Smolka Google, Nate Foster Cornell University and Jane Street, Alexandra Silva Cornell University
DOI