PLMW
Mon 13 - Tue 14 June 2022 San Diego, California, United States
co-located with PLDI 2022
VenueThe Catamaran Resort, San Diego
Room nameKon-Tiki
Room InformationNo extra information available
Program

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 Cambridge, 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
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 C. 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
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 C. 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): Isil Dillig University of Texas at Austin
09:00
10m
Other
Welcome to PLDI 2022
PLDI
Isil 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 Demonstration
PLDI
Xiangyu Zhou University of Washington, Rastislav Bodik 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 Synthesis
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
21:00 - 22:10
Keynote: Emery BergerPLDI at Kon-Tiki
21:00
10m
Other
Welcome to PLDI 2022
PLDI
Isil 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 Demonstration
PLDI
Xiangyu Zhou University of Washington, Rastislav Bodik 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 Synthesis
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, Joshua Turcotti University of California, Berkeley, Andrew C. 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 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)
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, Joshua Turcotti University of California, Berkeley, Andrew C. 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 KATs
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
Isil 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 Louis 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 C. 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 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
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
Isil 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 Louis 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 C. 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 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
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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Kon-Tiki

Tue 14 Jun

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

Room1:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Kon-Tiki

Wed 15 Jun

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

Room1:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Kon-Tiki

Thu 16 Jun

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

Room1:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Kon-Tiki

Fri 17 Jun

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

Room1:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Kon-Tiki

Sat 18 Jun

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

Mon 13 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Kon-Tiki

Tue 14 Jun

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

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Kon-Tiki

Wed 15 Jun

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

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Kon-Tiki

Thu 16 Jun

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

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Kon-Tiki
PLDI
The PLDI Song
09:00 - 09:10
PLDI
The PLDI Song
21:00 - 21:10

Fri 17 Jun

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

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Kon-Tiki