Kon-Tiki - PLDI 2022

VenueThe Catamaran Resort, San Diego

Room nameKon-Tiki

Room InformationNo extra information available

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:00	KeynotePLDI at Kon-Tiki Chair(s): Isil Dillig University of Texas at Austin

09:00 60m Keynote		Getting Your Research Adopted PLDI Emery D. Berger University of Massachusetts Amherst

10:30 - 11:50	SecurityPLDI at Kon-Tiki Chair(s): Yu Feng University of California, Santa Barbara

10:30 20m Talk		Modular Information Flow Through Ownership PLDI Will Crichton Stanford University, Marco Patrignani University of Trento, Maneesh Agrawala Stanford University, Pat Hanrahan Stanford University, USA Pre-print
10:50 20m Talk		ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification PLDI Sankha Narayan Guria University of Maryland, College Park, Niki Vazou IMDEA Software Institute, Marco Guarnieri IMDEA Software Institute, James Parker Galois, Inc. Pre-print
11:10 20m Talk		Hardening Attack Surfaces with Formally Proven Binary Format Parsers PLDI Nikhil Swamy Microsoft Research, Tahina Ramananandro Microsoft Research, Aseem Rastogi Microsoft Research, Irina Spiridonova Microsoft Research, Haobin Ni Cornell University, Dmitry Malloy Microsoft, Juan Vazquez Microsoft, Michael Tang Microsoft, Omar Cardona Microsoft, Arti Gupta Microsoft
11:30 20m Talk		P4BID: Information Flow Control in P4 PLDI Karuna Grewal , Loris D'Antoni University of Wisconsin-Madison, USA, Justin Hsu Cornell University

13:30 - 14:50	Synthesis I PLDI at Kon-Tiki Chair(s): Ruben Martins Carnegie Mellon University

13:30 20m Talk		Type-Directed Program Synthesis for RESTful APIs PLDI Zheng Guo University of California, San Diego, David Cao University of California, San Diego, Davin Tjong University of California, San Diego, Jean Yang Akita Software, Cole Schlesinger Akita Software, Nadia Polikarpova University of California at San Diego
13:50 20m Talk		Visualization Question Answering Using Introspective Program Synthesis PLDI Yanju Chen University of California, Santa Barbara, Xifeng Yan University of California, Santa Barbara, Yu Feng University of California, Santa Barbara
14:10 20m Talk		WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration PLDI Rui Dong University of Michigan, Zhicheng Huang University of Michigan, Ian Iong Lam University of Michigan, Yan Chen University of Michigan, Xinyu Wang University of Michigan Pre-print
14:30 20m Talk		Synthesizing Analytical SQL Queries from Computation Demonstration PLDI Xiangyu Zhou University of Washington, Rastislav Bodik University of Washington, Alvin Cheung University of California, Berkeley, Chenglong Wang University of Washington, USA

15:30 - 16:50	Synthesis IIPLDI at Kon-Tiki Chair(s): Roopsha Samanta Purdue University

15:30 20m Talk		Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends? PLDI Wonhyuk Choi Columbia University, Bernd Finkbeiner CISPA Helmholtz Center for Information Security, Ruzica Piskac Yale University, Mark Santolucito Barnard College, Columbia University, USA Pre-print
15:50 20m Talk		Recursion Synthesis with Unrealizability Witnesses PLDI Azadeh Farzan University of Toronto, Danya Lette University of Toronto, Victor Nicolet University of Toronto
16:10 20m Talk		“Synthesizing Input Grammars”: A Replication Study PLDI Bachir Bendrissou CISPA Helmholtz Center for Information Security, Rahul Gopinath CISPA, Germany, Andreas Zeller CISPA Helmholtz Center for Information Security
16:30 20m Talk		TF-Coder: Program Synthesis for Tensor Manipulations (TOPLAS) PLDI Kensen Shi Stanford University, David Bieber Google Brain, Rishabh Singh Google Brain Link to publication DOI Authorizer link Pre-print

Thu 16 Jun
Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:00	KeynotePLDI at Kon-Tiki Chair(s): Ranjit Jhala University of California at San Diego

09:00 60m Keynote		Imposter Syndrome, Stupid Questions, and Eight (+/-2) Problems I Need your Help With PLDI Margo Seltzer University of British Columbia

10:30 - 11:50	DistributionPLDI at Kon-Tiki Chair(s): Constantin Enea Ecole Polytechnique / LIX / CNRS

10:30 20m Talk		Certified Mergeable Replicated Data Types PLDI Vimala Soundarapandian IIT Madras, Adharsh Kamath NITK Surathkal, Kartik Nagar IIT Madras, KC Sivaramakrishnan IIT Madras and Tarides Pre-print
10:50 20m Talk		Hamband: RDMA Replicated Data Types PLDI Farzin Houshmand University of California, Riverside, Javad Saberlatibari , Mohsen Lesani University of California at Riverside
11:10 20m Talk		RunTime-Assisted Convergence in Replicated Data Types PLDI Gowtham Kaki University of Colorado Boulder, Prasanth Prahladan University of Colorado Boulder, Nicholas V. Lewchenko University of Colorado Boulder
11:30 20m Talk		Adore: Atomic Distributed Objects with Certified Reconfiguration PLDI Wolf Honore Yale University, Ji-Yong Shin Northeastern University, Jieung Kim Yale University, USA, Zhong Shao Yale University Pre-print

13:30 - 14:50	ConcurrencyPLDI at Kon-Tiki Chair(s): Mike Dodds Galois, Inc.

13:30 20m Talk		A Flexible Type System for Fearless Concurrency PLDI Mae Milano University of California, Berkeley, Joshua Turcotti University of California, Berkeley, Andrew C. Myers Cornell University
13:50 20m Talk		A Study of Real-world Data Races in Golang PLDI Milind Chabbi Uber Technologies Inc., Murali Krishna Ramanathan Uber Technologies Inc.
14:10 20m Talk		Checking Robustness to Weak Persistency Models PLDI Hamed Gorjiara University of California, Irvine, Weiyu Luo University of California, Irvine, Alex Lee University of California, Irvine, Guoqing Harry Xu University of California at Los Angeles, Brian Demsky University of California, Irvine
14:30 20m Talk		Sound Sequentialization for Concurrent Program Verification PLDI Azadeh Farzan University of Toronto, Dominik Klumpp University of Freiburg, Andreas Podelski University of Freiburg, Germany

15:30 - 16:50	SemanticsPLDI at Kon-Tiki Chair(s): Nate Foster Cornell University

15:30 20m Talk		A Typed Continuation-Passing Translation for Lexical Effect Handlers PLDI Philipp Schuster University of Tübingen, Jonathan Immanuel Brachthäuser University of Tübingen, Marius Müller University of Tübingen, Klaus Ostermann University of Tuebingen
15:50 20m Talk		Deep and Shallow Types for Gradual Languages PLDI Ben Greenman Brown University
16:10 20m Talk		Kleene Algebra Modulo Theories: A Framework for Concrete KATs PLDI Michael Greenberg Stevens Institute of Technology, Ryan Beckett Microsoft Research, USA, Eric Campbell Cornell University DOI Pre-print
16:30 20m Talk		Semantic Soundness for Language Interoperability PLDI Daniel Patterson Northeastern University, Noble Mushtak Northeastern University, Andrew Wagner Northeastern University, Amal Ahmed Northeastern University (USA)

Fri 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

10:30 - 11:50	Hardware IPLDI at Kon-Tiki Chair(s): Clément Pit-Claudel EPFL, AWS

10:30 20m Talk		Bind the Gap: Compiling Real Software to Hardware FFT Accelerators PLDI Jackson Woodruff University of Edinburgh, Jordi Armengol-Estapé University of Edinburgh, Sam Ainsworth University of Edinburgh, UK, Michael F. P. O'Boyle University of Edinburgh
10:50 20m Talk		Exocompilation for Productive Programming of Hardware Accelerators PLDI Yuka Ikarashi MIT, Gilbert Louis Bernstein University of California at Berkeley, Alex Reinking UC Berkeley, Hasan Genc UC Berkeley, Jonathan Ragan-Kelley MIT
11:10 20m Talk		PDL: A High-Level Hardware Design Language for Pipelined Processors PLDI Drew Zagieboylo Cornell University, Charles Sherk Cornell University, G. Edward Suh Cornell University / Facebook, Andrew C. Myers Cornell University
11:30 20m Talk		WARio: Efficient Code Generation for Intermittent Computing PLDI Vito Kortbeek Delft University of Technology, Souradip Ghosh Carnegie Mellon University, Josiah Hester Northwestern University, Simone Campanoni Northwestern University, USA, Przemysław Pawełczak Delft University of Technology DOI Pre-print

13:30 - 14:50	Verification IPLDI at Kon-Tiki Chair(s): Ralf Jung MPI-SWS

13:30 20m Talk		Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic PLDI Hoang-Hai Dang MPI-SWS, Jaehwang Jung KAIST, South Korea, Jaemin Choi KAIST, Duc-Than Nguyen University of Illinois at Chicago, William Mansky University of Illinois at Chicago, Jeehoon Kang KAIST, Derek Dreyer MPI-SWS
13:50 20m Talk		Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris PLDI Ike Mulder Radboud University Nijmegen, Robbert Krebbers Radboud University Nijmegen, Herman Geuvers Radboud University Nijmegen, Netherlands Pre-print
14:10 20m Talk		Islaris: Verification of Machine Code Against Authoritative ISA Semantics PLDI Michael Sammler MPI-SWS, Angus Hammond University of Cambridge, Rodolphe Lepigre MPI-SWS, Brian Campbell University of Edinburgh, Jean Pichon-Pharabod Aarhus University, Derek Dreyer MPI-SWS, Deepak Garg MPI-SWS, Peter Sewell University of Cambridge
14:30 20m Talk		RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code PLDI Yusuke Matsushita The University of Tokyo, Xavier Denis Université Paris-Saclay, CNRS, ENS Paris-Saclay, INRIA, Laboratoire Méthodes Formelles, Jacques-Henri Jourdan Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles, Derek Dreyer MPI-SWS

15:30 - 16:50	Verification IIPLDI at Kon-Tiki Chair(s): Thomas Wahl GrammaTech, Inc.

15:30 20m Talk		Relational Compilation for Performance-Critical Applications PLDI Clément Pit-Claudel EPFL, AWS, Jade Philipoom MIT CSAIL, Dustin Jamner MIT CSAIL, Andres Erbsen MIT CSAIL, Adam Chlipala MIT CSAIL
15:50 20m Talk		Formally Verified Lifting of C-compiled x86-64 Binaries PLDI Freek Verbeek Open University of The Netherlands & Virginia Tech, Joshua A. Bockenek Virginia Tech, Zhoulai Fu University of California, Davis, Binoy Ravindran Virginia Tech
16:10 20m Talk		Leapfrog: Certified Equivalence for Protocol Parsers PLDI Ryan Doenges Cornell University, Tobias Kappé ILLC, University of Amsterdam, John Sarracino Cornell University, Nate Foster Cornell University, Greg Morrisett Cornell Tech Pre-print
16:30 20m Talk		Computing Correctly with Inductive Relations PLDI Zoe Paraskevopoulou Northeastern University, Aaron Eline University of Maryland, Leonidas Lampropoulos University of Maryland

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Kon-Tiki	PLDI Keynote																		PLDI Security																																				PLDI Synthesis I																								PLDI Synthesis II

Thu 16 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Kon-Tiki	PLDI Keynote																		PLDI Distribution																																				PLDI Concurrency																								PLDI Semantics

Fri 17 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Kon-Tiki	PLDI																		PLDI Hardware I																																				PLDI Verification I																								PLDI Verification II

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Kon-Tiki	PLDI Getting Your Research Adopted 09:00 - 10:00																		PLDI Modular Information Flow Through Ownership 10:30 - 10:50				PLDI ANOSY: Approximated Knowledge Synthesis with Refinement Types for Decla ... 10:50 - 11:10				PLDI Hardening Attack Surfaces with Formally Proven Binary Format Parsers 11:10 - 11:30				PLDI P4BID: Information Flow Control in P4 11:30 - 11:50																								PLDI Type-Directed Program Synthesis for RESTful APIs 13:30 - 13:50				PLDI Visualization Question Answering Using Introspective Program Synthesis 13:50 - 14:10				PLDI WebRobot: Web Robotic Process Automation using Interactive Programming- ... 14:10 - 14:30				PLDI Synthesizing Analytical SQL Queries from Computation Demonstration 14:30 - 14:50												PLDI Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends? 15:30 - 15:50				PLDI Recursion Synthesis with Unrealizability Witnesses 15:50 - 16:10				PLDI “Synthesizing Input Grammars”: A Replication Study 16:10 - 16:30				PLDI TF-Coder: Program Synthesis for Tensor Manipulations (TOPLAS) 16:30 - 16:50

Thu 16 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Kon-Tiki	PLDI Imposter Syndrome, Stupid Questions, and Eight (+/-2) Problems I Need ... 09:00 - 10:00																		PLDI Certified Mergeable Replicated Data Types 10:30 - 10:50				PLDI Hamband: RDMA Replicated Data Types 10:50 - 11:10				PLDI RunTime-Assisted Convergence in Replicated Data Types 11:10 - 11:30				PLDI Adore: Atomic Distributed Objects with Certified Reconfiguration 11:30 - 11:50																								PLDI A Flexible Type System for Fearless Concurrency 13:30 - 13:50				PLDI A Study of Real-world Data Races in Golang 13:50 - 14:10				PLDI Checking Robustness to Weak Persistency Models 14:10 - 14:30				PLDI Sound Sequentialization for Concurrent Program Verification 14:30 - 14:50												PLDI A Typed Continuation-Passing Translation for Lexical Effect Handlers 15:30 - 15:50				PLDI Deep and Shallow Types for Gradual Languages 15:50 - 16:10				PLDI Kleene Algebra Modulo Theories: A Framework for Concrete KATs 16:10 - 16:30				PLDI Semantic Soundness for Language Interoperability 16:30 - 16:50

Fri 17 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Kon-Tiki							PLDI Bind the Gap: Compiling Real Software to Hardware FFT Accelerators 10:30 - 10:50				PLDI Exocompilation for Productive Programming of Hardware Accelerators 10:50 - 11:10				PLDI PDL: A High-Level Hardware Design Language for Pipelined Processors 11:10 - 11:30				PLDI WARio: Efficient Code Generation for Intermittent Computing 11:30 - 11:50																								PLDI Compass: Strong and Compositional Library Specifications in Relaxed Mem ... 13:30 - 13:50				PLDI Diaframe: Automated Verification of Fine-Grained Concurrent Programs in ... 13:50 - 14:10				PLDI Islaris: Verification of Machine Code Against Authoritative ISA Semantics 14:10 - 14:30				PLDI RustHornBelt: A Semantic Foundation for Functional Verification of Rust ... 14:30 - 14:50												PLDI Relational Compilation for Performance-Critical Applications 15:30 - 15:50				PLDI Formally Verified Lifting of C-compiled x86-64 Binaries 15:50 - 16:10				PLDI Leapfrog: Certified Equivalence for Protocol Parsers 16:10 - 16:30				PLDI Computing Correctly with Inductive Relations 16:30 - 16:50

Room information: Kon-Tiki

This program is tentative and subject to change.

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

Thu 16 Jun
Displayed time zone: Pacific Time (US & Canada) change

Fri 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

PLDI

PLDI

PLDI

PLDI

Thu 16 Jun
Displayed time zone: Pacific Time (US & Canada) change

PLDI

PLDI

PLDI

PLDI

Fri 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

PLDI

PLDI

PLDI

PLDI

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

Thu 16 Jun
Displayed time zone: Pacific Time (US & Canada) change

Fri 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

Tracks

Co-hosted Conferences

Workshops

Room information: Kon-Tiki

This program is tentative and subject to change.

Program Display Configuration

Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change

Thu 16 JunDisplayed time zone: Pacific Time (US & Canada) change

Fri 17 JunDisplayed time zone: Pacific Time (US & Canada) change

Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change

PLDI

PLDI

PLDI

PLDI

Thu 16 JunDisplayed time zone: Pacific Time (US & Canada) change

PLDI

PLDI

PLDI

PLDI

Fri 17 JunDisplayed time zone: Pacific Time (US & Canada) change

PLDI

PLDI

PLDI

PLDI

Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change

Thu 16 JunDisplayed time zone: Pacific Time (US & Canada) change

Fri 17 JunDisplayed time zone: Pacific Time (US & Canada) change

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

Thu 16 Jun
Displayed time zone: Pacific Time (US & Canada) change

Fri 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

Thu 16 Jun
Displayed time zone: Pacific Time (US & Canada) change

Fri 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

Thu 16 Jun
Displayed time zone: Pacific Time (US & Canada) change

Fri 17 Jun
Displayed time zone: Pacific Time (US & Canada) change