Kon-Tiki - ISMM 2022

VenueThe Catamaran Resort, San Diego

Room nameKon-Tiki

Room InformationNo extra information available

Program

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

Mon 13 Jun
Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:00	TalkPLMW at Kon-Tiki

09:00 60m Talk		Verified Trustworthy Software Specification PLMW Philippa Gardner Imperial College London

10:30 - 12:00	Panel DiscussionPLMW at Kon-Tiki

10:30 90m Panel		Mentoring Panel: Surviving Grad School PLMW Sunjay Cauligi University of California at San Diego, USA, Ethan Cecchetti University of Maryland, College Park, Niki Vazou IMDEA Software Institute, Ningning Xie University of Toronto, S: Tamara Rezk INRIA

13:30 - 15:00	TalkPLMW at Kon-Tiki +12h

13:30 90m Talk		Your Research and Everyone Else PLMW Martin C. Rinard Massachusetts Institute of Technology

15:30 - 17:00	TalkPLMW at Kon-Tiki +12h

15:30 90m Talk		How to Write a Technical Paper PLMW Michael Hicks University of Maryland at College Park

Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change

01:30 - 03:00	TalkPLMW at Kon-Tiki

01:30 90m Talk		Your Research and Everyone Else PLMW Martin C. Rinard Massachusetts Institute of Technology

03:30 - 05:00	TalkPLMW at Kon-Tiki

03:30 90m Talk		How to Write a Technical Paper PLMW Michael Hicks University of Maryland at College Park

09:00 - 10:00	TalkPLMW at Kon-Tiki +12h

09:00 60m Talk		A Research Mindset PLMW Kathryn S McKinley Google

10:30 - 12:00	PanelPLMW at Kon-Tiki +12h

10:30 90m Panel		Mentoring Panel: Post-graduate Career Paths PLMW Michael Greenberg Stevens Institute of Technology, Chris Hawblitzel Microsoft Research, Hila Peleg Technion, Sukyoung Ryu KAIST, S: Deian Stefan University of California at San Diego

13:30 - 15:00	TalkPLMW at Kon-Tiki +12h

13:30 90m Talk		Whose Life Are You Making Better PLMW John Regehr University of Utah

15:30 - 17:00	PanelPLMW at Kon-Tiki +12h

15:30 90m Panel		Mentoring Panel: Hot Topics in PL PLMW Michael Carbin Massachusetts Institute of Technology, Andrew Myers Cornell University, Nadia Polikarpova University of California at San Diego, S: Limin Jia Carnegie Mellon University, Nikhil Swamy Microsoft Research

21:00 - 22:00	TalkPLMW at Kon-Tiki

21:00 60m Talk		A Research Mindset PLMW Kathryn S McKinley Google

22:30 - 00:00	PanelPLMW at Kon-Tiki

22:30 90m Panel		Mentoring Panel: Post-graduate Career Paths PLMW Michael Greenberg Stevens Institute of Technology, Chris Hawblitzel Microsoft Research, Hila Peleg Technion, Sukyoung Ryu KAIST, S: Deian Stefan University of California at San Diego

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

01:30 - 03:00	TalkPLMW at Kon-Tiki

01:30 90m Talk		Whose Life Are You Making Better PLMW John Regehr University of Utah

03:30 - 05:00	PanelPLMW at Kon-Tiki

03:30 90m Panel		Mentoring Panel: Hot Topics in PL PLMW Michael Carbin Massachusetts Institute of Technology, Andrew Myers Cornell University, Nadia Polikarpova University of California at San Diego, S: Limin Jia Carnegie Mellon University, Nikhil Swamy Microsoft Research

09:00 - 10:10	Keynote: Emery BergerPLDI at Kon-Tiki +12h Chair(s): Işıl Dillig University of Texas at Austin

09:00 10m Other		Welcome to PLDI 2022 PLDI Işıl Dillig University of Texas at Austin, Ranjit Jhala University of California at San Diego; Amazon Web Services
09:10 60m Keynote		Getting Your Research Adopted PLDI Emery D. Berger University of Massachusetts Amherst Pre-print Media Attached

10:40 - 12:00	SecurityPLDI at Kon-Tiki +12h Chair(s): Yu Feng University of California, Santa Barbara

10:40 20m Talk		P4BID: Information Flow Control in P4 PLDI Karuna Grewal , Loris D'Antoni University of Wisconsin-Madison, USA, Justin Hsu Cornell University DOI
11:00 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. DOI Pre-print
11:20 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 DOI
11:40 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 DOI Pre-print

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

13:30 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 DOI Pre-print
13:50 20m Talk		Synthesizing Analytical SQL Queries from Computation DemonstrationDistinguished Paper Award PLDI Xiangyu Zhou University of Washington, Rastislav Bodík University of Washington, Alvin Cheung University of California, Berkeley, Chenglong Wang University of Washington, USA DOI
14:10 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 DOI
14:30 20m Talk		Visualization Question Answering Using Introspective Program SynthesisDistinguished Paper Award PLDI Yanju Chen University of California, Santa Barbara, Xifeng Yan University of California, Santa Barbara, Yu Feng University of California, Santa Barbara DOI

15:30 - 16:55	Synthesis IIPLDI at Kon-Tiki +12h Chair(s): Roopsha Samanta Purdue University

15:30 20m Talk		Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends? PLDI Wonhyuk Choi Meta; Columbia University, Bernd Finkbeiner CISPA Helmholtz Center for Information Security, Ruzica Piskac Yale University, Mark Santolucito Barnard College, Columbia University, USA DOI 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 DOI
16:10 20m Talk		TF-Coder: Program Synthesis for Tensor Manipulations (TOPLAS) PLDI Kensen Shi Google Brain, David Bieber Google Brain, Rishabh Singh Google Brain Link to publication DOI Authorizer link Pre-print
16:30 20m Talk		“Synthesizing Input Grammars”: A Replication Study PLDI Bachir Bendrissou CISPA Helmholtz Center for Information Security, Rahul Gopinath University of Sydney, Andreas Zeller CISPA Helmholtz Center for Information Security DOI Pre-print
16:50 5m Talk		Response by authors of "Synthesizing Input Grammars" PLDI Osbert Bastani University of Pennsylvania

17:00 - 17:40	EXPOPLDI at Kon-Tiki

17:00 20m Talk		Designing for ABI-Stable Software Evolution in the Swift Programming Language PLDI Doug Gregor Apple
17:20 20m Talk		Meta Research and Opportunities PLDI Francesco Logozzo Facebook

21:00 - 22:10	Keynote: Emery BergerPLDI at Kon-Tiki

21:00 10m Other		Welcome to PLDI 2022 PLDI Işıl Dillig University of Texas at Austin, Ranjit Jhala University of California at San Diego; Amazon Web Services
21:10 60m Keynote		Getting Your Research Adopted PLDI Emery D. Berger University of Massachusetts Amherst Pre-print Media Attached

22:40 - 00:00	SecurityPLDI at Kon-Tiki

22:40 20m Talk		P4BID: Information Flow Control in P4 PLDI Karuna Grewal , Loris D'Antoni University of Wisconsin-Madison, USA, Justin Hsu Cornell University DOI
23:00 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. DOI Pre-print
23:20 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 DOI
23:40 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 DOI Pre-print

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

01:30 - 02:50	Synthesis I PLDI at Kon-Tiki

01:30 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 DOI Pre-print
01:50 20m Talk		Synthesizing Analytical SQL Queries from Computation DemonstrationDistinguished Paper Award PLDI Xiangyu Zhou University of Washington, Rastislav Bodík University of Washington, Alvin Cheung University of California, Berkeley, Chenglong Wang University of Washington, USA DOI
02:10 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 DOI
02:30 20m Talk		Visualization Question Answering Using Introspective Program SynthesisDistinguished Paper Award PLDI Yanju Chen University of California, Santa Barbara, Xifeng Yan University of California, Santa Barbara, Yu Feng University of California, Santa Barbara DOI

03:30 - 04:55	Synthesis IIPLDI at Kon-Tiki

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

09:00 - 10:10	Keynote: Margo SeltzerPLDI at Kon-Tiki +12h Chair(s): Ranjit Jhala University of California at San Diego; Amazon Web Services

09:00 10m Other		The PLDI Song PLDI John Wickerson Imperial College London, Alastair F. Donaldson Imperial College London
09:10 60m Keynote		Imposter Syndrome, Stupid Questions, and Eight (+/-2) Problems I Need your Help With PLDI Margo Seltzer University of British Columbia

10:40 - 12:00	DistributionPLDI at Kon-Tiki +12h Chair(s): Constantin Enea Ecole Polytechnique / LIX / CNRS

10:40 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 DOI Pre-print
11:00 20m Talk		Hamband: RDMA Replicated Data Types PLDI Farzin Houshmand University of California, Riverside, Javad Saberlatibari University of California Riverside, Mohsen Lesani University of California at Riverside DOI
11:20 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 DOI
11:40 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 DOI Pre-print

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

13:30 20m Talk		A Flexible Type System for Fearless Concurrency PLDI Mae Milano University of California, Berkeley, Julia Turcotti University of California, Berkeley, Andrew Myers Cornell University DOI
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. DOI
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 DOI
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 DOI File Attached

15:30 - 16:50	SemanticsPLDI at Kon-Tiki +12h 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 DOI
15:50 20m Talk		Deep and Shallow Types for Gradual Languages PLDI Ben Greenman Brown University DOI
16:10 20m Talk		Kleene Algebra Modulo Theories: A Framework for Concrete KATsDistinguished Paper Award 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) DOI

21:00 - 22:10	Keynote: Margo SeltzerPLDI at Kon-Tiki

21:00 10m Other		The PLDI Song PLDI John Wickerson Imperial College London, Alastair F. Donaldson Imperial College London
21:10 60m Keynote		Imposter Syndrome, Stupid Questions, and Eight (+/-2) Problems I Need your Help With PLDI Margo Seltzer University of British Columbia

22:40 - 00:00	DistributionPLDI at Kon-Tiki

22:40 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 DOI Pre-print
23:00 20m Talk		Hamband: RDMA Replicated Data Types PLDI Farzin Houshmand University of California, Riverside, Javad Saberlatibari University of California Riverside, Mohsen Lesani University of California at Riverside DOI
23:20 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 DOI
23:40 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 DOI Pre-print

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

01:30 - 02:50	ConcurrencyPLDI at Kon-Tiki

01:30 20m Talk		A Flexible Type System for Fearless Concurrency PLDI Mae Milano University of California, Berkeley, Julia Turcotti University of California, Berkeley, Andrew Myers Cornell University DOI
01:50 20m Talk		A Study of Real-world Data Races in Golang PLDI Milind Chabbi Uber Technologies Inc., Murali Krishna Ramanathan Uber Technologies Inc. DOI
02: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 DOI
02: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 DOI File Attached

03:30 - 04:50	SemanticsPLDI at Kon-Tiki

03: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 DOI
03:50 20m Talk		Deep and Shallow Types for Gradual Languages PLDI Ben Greenman Brown University DOI
04:10 20m Talk		Kleene Algebra Modulo Theories: A Framework for Concrete KATsDistinguished Paper Award PLDI Michael Greenberg Stevens Institute of Technology, Ryan Beckett Microsoft Research, USA, Eric Campbell Cornell University DOI Pre-print
04: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) DOI

09:00 - 10:00	Business MeetingPLDI at Kon-Tiki +12h

09:00 60m Meeting		Business Meeting PLDI Işıl Dillig University of Texas at Austin, Ranjit Jhala University of California at San Diego; Amazon Web Services, Steve Blackburn Google and Australian National University

10:40 - 12:00	Hardware IPLDI at Kon-Tiki +12h Chair(s): Clément Pit-Claudel EPFL, AWS

10:40 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 DOI
11:00 20m Talk		Exocompilation for Productive Programming of Hardware Accelerators PLDI Yuka Ikarashi MIT, Gilbert Bernstein University of California at Berkeley, Alex Reinking UC Berkeley, Hasan Genc UC Berkeley, Jonathan Ragan-Kelley MIT DOI
11:20 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 Myers Cornell University DOI
11:40 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 +12h 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 DOI
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 Link to publication DOI 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 DOI
14:30 20m Talk		RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe CodeDistinguished Paper Award 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 DOI

15:30 - 16:50	Verification IIPLDI at Kon-Tiki +12h 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 Link to publication DOI Pre-print
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 DOI
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 DOI 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 DOI

21:00 - 22:00	Business MeetingPLDI at Kon-Tiki

21:00 60m Meeting		Business Meeting PLDI Işıl Dillig University of Texas at Austin, Ranjit Jhala University of California at San Diego; Amazon Web Services, Steve Blackburn Google and Australian National University

22:40 - 00:00	Hardware IPLDI at Kon-Tiki

22:40 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 DOI
23:00 20m Talk		Exocompilation for Productive Programming of Hardware Accelerators PLDI Yuka Ikarashi MIT, Gilbert Bernstein University of California at Berkeley, Alex Reinking UC Berkeley, Hasan Genc UC Berkeley, Jonathan Ragan-Kelley MIT DOI
23:20 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 Myers Cornell University DOI
23:40 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

Sat 18 Jun
Displayed time zone: Pacific Time (US & Canada) change

01:30 - 02:50	Verification IPLDI at Kon-Tiki

01: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 DOI
01: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 Link to publication DOI Pre-print
02: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 DOI
02:30 20m Talk		RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe CodeDistinguished Paper Award 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 DOI

03:30 - 04:50	Verification IIPLDI at Kon-Tiki

03: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 Link to publication DOI Pre-print
03: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 DOI
04: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 DOI Pre-print
04:30 20m Talk		Computing Correctly with Inductive Relations PLDI Zoe Paraskevopoulou Northeastern University, Aaron Eline University of Maryland, Leonidas Lampropoulos University of Maryland DOI

Mon 13 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	PLMW Talk																		PLMW Panel Discussion																																				PLMW Talk																								PLMW Talk

Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Kon-Tiki							PLMW Talk																								PLMW Talk																																																																		PLMW Talk																		PLMW Panel																																				PLMW Talk																								PLMW Panel																																																																		PLMW Talk																		PLMW Panel

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


Room	1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Kon-Tiki							PLMW Talk																								PLMW Panel																																																																		PLDI Keynote: Emery Berger																				PLDI Security																																		PLDI Synthesis I																								PLDI Synthesis II																		PLDI EXPO																																																PLDI Keynote: Emery Berger																				PLDI Security

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


Room	1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Kon-Tiki							PLDI Synthesis I																								PLDI Synthesis II																																																																		PLDI Keynote: Margo Seltzer																				PLDI Distribution																																		PLDI Concurrency																								PLDI Semantics																																																																		PLDI Keynote: Margo Seltzer																				PLDI Distribution

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


Room	1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Kon-Tiki							PLDI Concurrency																								PLDI Semantics																																																																		PLDI Business Meeting																				PLDI Hardware I																																		PLDI Verification I																								PLDI Verification II																																																																		PLDI Business Meeting																				PLDI Hardware I

Sat 18 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	1:00						30						2:00						30						3:00						30						4:00						30
Kon-Tiki							PLDI Verification I																								PLDI Verification II

Mon 13 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	PLMW Verified Trustworthy Software Specification 09:00 - 10:00																		PLMW Mentoring Panel: Surviving Grad School 10:30 - 12:00																																				PLMW Your Research and Everyone Else 13:30 - 15:00																								PLMW How to Write a Technical Paper 15:30 - 17:00

Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			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			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
Kon-Tiki							PLMW Your Research and Everyone Else 01:30 - 03:00																								PLMW How to Write a Technical Paper 03:30 - 05:00																																																																		PLMW A Research Mindset 09:00 - 10:00																		PLMW Mentoring Panel: Post-graduate Career Paths 10:30 - 12:00																																				PLMW Whose Life Are You Making Better 13:30 - 15:00																								PLMW Mentoring Panel: Hot Topics in PL 15:30 - 17:00																																																																		PLMW A Research Mindset 21:00 - 22:00																		PLMW Mentoring Panel: Post-graduate Career Paths 22:30 - 00:00

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


Room	1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			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			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
Kon-Tiki							PLMW Whose Life Are You Making Better 01:30 - 03:00																								PLMW Mentoring Panel: Hot Topics in PL 03:30 - 05:00																																																																		PLDI Welcome to PLDI 2022 09:00 - 09:10		PLDI Getting Your Research Adopted 09:10 - 10:10																		PLDI P4BID: Information Flow Control in P4 10:40 - 11:00				PLDI ANOSY: Approximated Knowledge Synthesis with Refinement Types for Decla ... 11:00 - 11:20				PLDI Hardening Attack Surfaces with Formally Proven Binary Format Parsers 11:20 - 11:40				PLDI Modular Information Flow Through Ownership 11:40 - 12:00																						PLDI WebRobot: Web Robotic Process Automation using Interactive Programming- ... 13:30 - 13:50				PLDI Distinguished Paper Award Synthesizing Analytical SQL Queries from Computation Demonstration 13:50 - 14:10				PLDI Type-Directed Program Synthesis for RESTful APIs 14:10 - 14:30				PLDI Distinguished Paper Award Visualization Question Answering Using Introspective Program Synthesis 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 TF-Coder: Program Synthesis for Tensor Manipulations (TOPLAS) 16:10 - 16:30				PLDI “Synthesizing Input Grammars”: A Replication Study 16:30 - 16:50				PLDI Response by authors of "Synthesizing Input Grammars" 16:50 - 16:55		PLDI Designing for ABI-Stable Software Evolution in the Swift Programming La ... 17:00 - 17:20				PLDI Meta Research and Opportunities 17:20 - 17:40																																												PLDI Welcome to PLDI 2022 21:00 - 21:10		PLDI Getting Your Research Adopted 21:10 - 22:10																		PLDI P4BID: Information Flow Control in P4 22:40 - 23:00				PLDI ANOSY: Approximated Knowledge Synthesis with Refinement Types for Decla ... 23:00 - 23:20				PLDI Hardening Attack Surfaces with Formally Proven Binary Format Parsers 23:20 - 23:40				PLDI Modular Information Flow Through Ownership 23:40 - 00:00

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


Room	1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			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			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
Kon-Tiki							PLDI WebRobot: Web Robotic Process Automation using Interactive Programming- ... 01:30 - 01:50				PLDI Distinguished Paper Award Synthesizing Analytical SQL Queries from Computation Demonstration 01:50 - 02:10				PLDI Type-Directed Program Synthesis for RESTful APIs 02:10 - 02:30				PLDI Distinguished Paper Award Visualization Question Answering Using Introspective Program Synthesis 02:30 - 02:50												PLDI Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends? 03:30 - 03:50				PLDI Recursion Synthesis with Unrealizability Witnesses 03:50 - 04:10				PLDI TF-Coder: Program Synthesis for Tensor Manipulations (TOPLAS) 04:10 - 04:30				PLDI “Synthesizing Input Grammars”: A Replication Study 04:30 - 04:50				PLDI Response by authors of "Synthesizing Input Grammars" 04:50 - 04:55																																																		PLDI The PLDI Song 09:00 - 09:10		PLDI Imposter Syndrome, Stupid Questions, and Eight (+/-2) Problems I Need ... 09:10 - 10:10																		PLDI Certified Mergeable Replicated Data Types 10:40 - 11:00				PLDI Hamband: RDMA Replicated Data Types 11:00 - 11:20				PLDI RunTime-Assisted Convergence in Replicated Data Types 11:20 - 11:40				PLDI Adore: Atomic Distributed Objects with Certified Reconfiguration 11:40 - 12:00																						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 Distinguished Paper Award Kleene Algebra Modulo Theories: A Framework for Concrete KATs 16:10 - 16:30				PLDI Semantic Soundness for Language Interoperability 16:30 - 16:50																																																						PLDI The PLDI Song 21:00 - 21:10		PLDI Imposter Syndrome, Stupid Questions, and Eight (+/-2) Problems I Need ... 21:10 - 22:10																		PLDI Certified Mergeable Replicated Data Types 22:40 - 23:00				PLDI Hamband: RDMA Replicated Data Types 23:00 - 23:20				PLDI RunTime-Assisted Convergence in Replicated Data Types 23:20 - 23:40				PLDI Adore: Atomic Distributed Objects with Certified Reconfiguration 23:40 - 00:00

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


Room	1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			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			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
Kon-Tiki							PLDI A Flexible Type System for Fearless Concurrency 01:30 - 01:50				PLDI A Study of Real-world Data Races in Golang 01:50 - 02:10				PLDI Checking Robustness to Weak Persistency Models 02:10 - 02:30				PLDI Sound Sequentialization for Concurrent Program Verification 02:30 - 02:50												PLDI A Typed Continuation-Passing Translation for Lexical Effect Handlers 03:30 - 03:50				PLDI Deep and Shallow Types for Gradual Languages 03:50 - 04:10				PLDI Distinguished Paper Award Kleene Algebra Modulo Theories: A Framework for Concrete KATs 04:10 - 04:30				PLDI Semantic Soundness for Language Interoperability 04:30 - 04:50																																																						PLDI Business Meeting 09:00 - 10:00																				PLDI Bind the Gap: Compiling Real Software to Hardware FFT Accelerators 10:40 - 11:00				PLDI Exocompilation for Productive Programming of Hardware Accelerators 11:00 - 11:20				PLDI PDL: A High-Level Hardware Design Language for Pipelined Processors 11:20 - 11:40				PLDI WARio: Efficient Code Generation for Intermittent Computing 11:40 - 12:00																						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 Distinguished Paper Award 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																																																						PLDI Business Meeting 21:00 - 22:00																				PLDI Bind the Gap: Compiling Real Software to Hardware FFT Accelerators 22:40 - 23:00				PLDI Exocompilation for Productive Programming of Hardware Accelerators 23:00 - 23:20				PLDI PDL: A High-Level Hardware Design Language for Pipelined Processors 23:20 - 23:40				PLDI WARio: Efficient Code Generation for Intermittent Computing 23:40 - 00:00

Sat 18 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45
Kon-Tiki							PLDI Compass: Strong and Compositional Library Specifications in Relaxed Mem ... 01:30 - 01:50				PLDI Diaframe: Automated Verification of Fine-Grained Concurrent Programs in ... 01:50 - 02:10				PLDI Islaris: Verification of Machine Code Against Authoritative ISA Semantics 02:10 - 02:30				PLDI Distinguished Paper Award RustHornBelt: A Semantic Foundation for Functional Verification of Rust ... 02:30 - 02:50												PLDI Relational Compilation for Performance-Critical Applications 03:30 - 03:50				PLDI Formally Verified Lifting of C-compiled x86-64 Binaries 03:50 - 04:10				PLDI Leapfrog: Certified Equivalence for Protocol Parsers 04:10 - 04:30				PLDI Computing Correctly with Inductive Relations 04:30 - 04:50

Room information: Kon-Tiki

Program Display Configuration

Mon 13 JunDisplayed time zone: Pacific Time (US & Canada) change

Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change

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

Sat 18 JunDisplayed time zone: Pacific Time (US & Canada) change

Mon 13 JunDisplayed time zone: Pacific Time (US & Canada) change

PLMW

PLMW

PLMW

PLMW

Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change

PLMW

PLMW

PLMW

PLMW

PLMW

PLMW

PLMW

PLMW

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

PLMW

PLMW

PLDI

PLDI

PLDI

PLDI

PLDI

PLDI

PLDI

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

PLDI

PLDI

PLDI

PLDI

PLDI

PLDI

PLDI

PLDI

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

PLDI

PLDI

PLDI

PLDI

PLDI

PLDI

PLDI

PLDI

Sat 18 JunDisplayed time zone: Pacific Time (US & Canada) change

PLDI

PLDI

Mon 13 JunDisplayed time zone: Pacific Time (US & Canada) change

Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change

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

Sat 18 JunDisplayed time zone: Pacific Time (US & Canada) change

Mon 13 Jun
Displayed time zone: Pacific Time (US & Canada) change

Tue 14 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

Sat 18 Jun
Displayed time zone: Pacific Time (US & Canada) change

Mon 13 Jun
Displayed time zone: Pacific Time (US & Canada) change

Tue 14 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

Sat 18 Jun
Displayed time zone: Pacific Time (US & Canada) change

Mon 13 Jun
Displayed time zone: Pacific Time (US & Canada) change

Tue 14 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

Sat 18 Jun
Displayed time zone: Pacific Time (US & Canada) change