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: Beach North
Venue
The Catamaran Resort, San Diego
Room name
Beach North
Floor
0
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
12:00 - 13:00
Monday Lunch
PLDI
at
Beach North
12:00
60m
Lunch
Lunch
social
PLDI
Tue 14 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
12:00 - 13:00
Tuesday Lunch
PLDI
at
Beach North
12:00
60m
Lunch
Lunch
social
PLDI
Wed 15 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
12:00 - 13:00
Wednesday Lunch & SIGPLAN Awards
PLDI
at
Beach North
12:00
60m
Lunch
Lunch
social
PLDI
17:30 - 19:00
Student Research Competition (SRC) Session and Reception
SRC
at
Beach North
17:30
90m
Poster
Control Logic Synthesis Using Formal ISA Specifications
SRC
Benjamin Darnell
University of California, Santa Barbara
Media Attached
17:30
90m
Poster
Coupled Applicative Functors
SRC
Lisa Vasilenko
IMDEA Software Institute
Media Attached
17:30
90m
Poster
Program Synthesis for Processor Development Using Formal Specifications
SRC
Zachary Sisco
UC Santa Barbara
Media Attached
17:30
90m
Poster
Path Alignment Automata are Probabilistic Couplings
SRC
Qian Meng
Cornell university
Media Attached
17:30
90m
Poster
Multi-Phase Invariant Synthesis
SRC
Daniel Riley
Florida State University
Media Attached
17:30
90m
Poster
Finding Good Generators with Multi-Armed Bandits
SRC
Joseph W. Cutler
University of Pennsylvania
Media Attached
17:30
90m
Poster
Impacts of Range Reduction on Polynomial Approximation Efficiency
SRC
Sehyeok Park
Rutgers University
Media Attached
17:30
90m
Poster
Automating NISQ Application Design with Meta Quantum Circuits with Constraints (MQCC)
SRC
Haowei Deng
University of Maryland at College Park
Media Attached
17:30
90m
Poster
A Type System for Safe Intermittent Computing
SRC
Milijana Surbatovich
Carnegie Mellon University
Media Attached
17:30
90m
Poster
PBUnit: A Live Programming Environment for Unit Testing
SRC
Justin Du
University of California, San Diego
,
Mandeep Syal
University of California, San Diego
,
Thanh-Nha Tran
University of California, San Diego
Media Attached
17:30
90m
Poster
Visualization with Refinement Types
SRC
Junrui Liu
University of California, Santa Barbara
Media Attached
18:00 - 19:00
PLDI 2022 Reception
PLDI
at
Beach North
18:00
60m
Social Event
PLDI 2022 Reception (sponsored by WhatsApp by Meta)
social
PLDI
Thu 16 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
12:00 - 13:00
Thursday Lunch
PLDI
at
Beach North
12:00
60m
Lunch
Lunch
social
PLDI
Fri 17 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
12:00 - 13:00
Friday Lunch
PLDI
at
Beach North
12:00
60m
Lunch
Lunch
social
PLDI
Mon 13 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
12:00
30
Beach North
PLDI
Monday Lunch
Tue 14 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
12:00
30
Beach North
PLDI
Tuesday Lunch
Wed 15 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Beach North
PLDI
Wednesday Lunch & SIGPLAN Awards
SRC
Student Research Competition (SRC) Session and Reception
PLDI
PLDI 2022 Reception
18:00 - 19:00
Thu 16 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
12:00
30
Beach North
PLDI
Thursday Lunch
Fri 17 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
12:00
30
Beach North
PLDI
Friday Lunch
Mon 13 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
12:00
15
30
45
Beach North
PLDI
social
Lunch
12:00 - 13:00
Tue 14 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
12:00
15
30
45
Beach North
PLDI
social
Lunch
12:00 - 13:00
Wed 15 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
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
Beach North
PLDI
social
Lunch
12:00 - 13:00
PLDI SRC
Control Logic Synthesis Using Formal ISA Specifications
17:30 - 19:00
Coupled Applicative Functors
17:30 - 19:00
Program Synthesis for Processor Development Using Formal Specifications
17:30 - 19:00
Path Alignment Automata are Probabilistic Couplings
17:30 - 19:00
Multi-Phase Invariant Synthesis
17:30 - 19:00
Finding Good Generators with Multi-Armed Bandits
17:30 - 19:00
Impacts of Range Reduction on Polynomial Approximation Efficiency
17:30 - 19:00
Automating NISQ Application Design with Meta Quantum Circuits with Cons ...
17:30 - 19:00
A Type System for Safe Intermittent Computing
17:30 - 19:00
PBUnit: A Live Programming Environment for Unit Testing
17:30 - 19:00
Visualization with Refinement Types
17:30 - 19:00
PLDI
social
PLDI 2022 Reception (sponsored by WhatsApp by Meta)
18:00 - 19:00
Thu 16 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
12:00
15
30
45
Beach North
PLDI
social
Lunch
12:00 - 13:00
Fri 17 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
12:00
15
30
45
Beach North
PLDI
social
Lunch
12:00 - 13:00
x
Wed 4 Dec 16:55