PLDI 2024 (series) / PLDI Research Papers /
Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation
This program is tentative and subject to change.
Thu 27 Jun 2024 11:20 - 11:40 at Finland / Norway - Formally Verified
This program is tentative and subject to change.
Thu 27 JunDisplayed time zone: Windhoek change
Thu 27 Jun
Displayed time zone: Windhoek change
10:40 - 12:20 | |||
10:40 20mTalk | The Functional Essence of Imperative Binary Search Trees PLDI Research Papers Anton Lorenzen University of Edinburgh, Daan Leijen Microsoft Research, Wouter Swierstra Utrecht University, Netherlands, Sam Lindley University of Edinburgh DOI | ||
11:00 20mTalk | Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq PLDI Research Papers DOI | ||
11:20 20mTalk | Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation PLDI Research Papers DOI | ||
11:40 20mTalk | Live Verification in an Interactive Proof Assistant PLDI Research Papers Samuel Gruetter Massachusetts Institute of Technology, Viktor Fukala Massachusetts Institute of Technology, Adam Chlipala Massachusetts Institute of Technology DOI | ||
12:00 20mTalk | Predictable Verification using Intrinsic Definitions PLDI Research Papers Adithya Murali University of Illinois at Urbana-Champaign, Cody Rivera University of Illinois at Urbana-Champaign, P. Madhusudan University of Illinois at Urbana-Champaign DOI |