PLDI 2022
Mon 13 - Fri 17 June 2022
San Diego, California, United States
Toggle navigation
Attending
Venue: The Catamaran Resort, San Diego
Virtual Attendance
Registration
Code of Conduct
Sponsorship
Visa
Childcare
Students
Student Volunteers
Restaurants
COVID
Jobs
Program
PLDI Program
Your Program
Filter by Day
Mon 13 Jun
Tue 14 Jun
Wed 15 Jun
Thu 16 Jun
Fri 17 Jun
Sat 18 Jun
Sun 19 Jun
Mon 20 Jun
Tue 21 Jun
Tracks
PLDI 2022
Research Artifacts
PLDI
Tutorials
Workshops and Tutorials
SIGPLAN Track
SRC
Student Volunteering
W@PLDI
Co-hosted Conferences
ISMM
LCTES
Workshops
ARRAY
ASA
Commute
EGRAPHS
Infer
MAPS
PLMW
SOAP
SOAP
- Static Analysis for Data Scientists
- Using static analysis to scale security at Meta
Organization
PLDI 2022 Committees
Organizing Committee
Track Committees
Research Artifacts
PLDI
Workshops and Tutorials
SIGPLAN Track
SRC
Student Volunteering
W@PLDI
Contributors
People Index
Co-hosted Conferences
ISMM
Organizing Committee
Program Committee
External Review Committee
Steering Committee
LCTES
Organizing Committee
Program Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Program Committee
ASA
Organizing Committee
Program Committee
Commute
Organizing Committee
Program Committee
EGRAPHS
Organizing Committee
Program Committee
Infer
Organizing Committee
Program Committee
MAPS
Organizing Committee
Program Committee
PLMW
Organizing Committee
SOAP
Organizing Committee
Program Committee
Search
Series
Series
PLDI 2025
PLDI 2024
PLDI 2023
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2022
(
series
) /
The Catamaran Resort, San Diego
/
Room information: Kon-Tiki
Venue
The Catamaran Resort, San Diego
Room name
Kon-Tiki
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Talk
PLMW
at
Kon-Tiki
09:00
60m
Talk
Verified Trustworthy Software Specification
PLMW
Philippa Gardner
Imperial College London
10:30 - 12:00
Panel Discussion
PLMW
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
Talk
PLMW
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
Talk
PLMW
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
Talk
PLMW
at
Kon-Tiki
01:30
90m
Talk
Your Research and Everyone Else
PLMW
Martin C. Rinard
Massachusetts Institute of Technology
03:30 - 05:00
Talk
PLMW
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
Talk
PLMW
at
Kon-Tiki
+12h
09:00
60m
Talk
A Research Mindset
PLMW
Kathryn S McKinley
Google
10:30 - 12:00
Panel
PLMW
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
Talk
PLMW
at
Kon-Tiki
+12h
13:30
90m
Talk
Whose Life Are You Making Better
PLMW
John Regehr
University of Utah
15:30 - 17:00
Panel
PLMW
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
Talk
PLMW
at
Kon-Tiki
21:00
60m
Talk
A Research Mindset
PLMW
Kathryn S McKinley
Google
22:30 - 00:00
Panel
PLMW
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
Talk
PLMW
at
Kon-Tiki
01:30
90m
Talk
Whose Life Are You Making Better
PLMW
John Regehr
University of Utah
03:30 - 05:00
Panel
PLMW
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 Berger
PLDI
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
Security
PLDI
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
Distinguished 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 Synthesis
Distinguished 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 II
PLDI
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
EXPO
PLDI
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 Berger
PLDI
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
Security
PLDI
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
Distinguished 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 Synthesis
Distinguished 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 II
PLDI
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 Seltzer
PLDI
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
Distribution
PLDI
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
Concurrency
PLDI
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
Semantics
PLDI
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
Distinguished 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 Seltzer
PLDI
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
Distribution
PLDI
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
Concurrency
PLDI
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
Semantics
PLDI
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
Distinguished 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 Meeting
PLDI
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 I
PLDI
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 I
PLDI
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
Distinguished 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 II
PLDI
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 Meeting
PLDI
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 I
PLDI
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 I
PLDI
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
Distinguished 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 II
PLDI
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
x
Wed 4 Dec 17:18