Wed 26 JunDisplayed time zone: Windhoek change
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 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 | ||