VenueThe Catamaran Resort, San Diego
Room nameBeach North
Floor0
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

12:00 - 13:00
Monday LunchPLDI at Beach North
12:00
60m
Lunch
Lunchsocial
PLDI

Tue 14 Jun

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

12:00 - 13:00
Tuesday LunchPLDI at Beach North
12:00
60m
Lunch
Lunchsocial
PLDI

Wed 15 Jun

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

12:00 - 13:00
Wednesday Lunch & SIGPLAN AwardsPLDI at Beach North
12:00
60m
Lunch
Lunchsocial
PLDI

17:30 - 19:00
Student Research Competition (SRC) Session and ReceptionPLDI SRC at Beach North
17:30
90m
Poster
Control Logic Synthesis Using Formal ISA Specifications
PLDI SRC
Benjamin Darnell University of California, Santa Barbara
Media Attached
17:30
90m
Poster
Coupled Applicative Functors
PLDI SRC
Lisa Vasilenko IMDEA Software Institute
Media Attached
17:30
90m
Poster
Program Synthesis for Processor Development Using Formal Specifications
PLDI SRC
Zachary Sisco UC Santa Barbara
Media Attached
17:30
90m
Poster
Path Alignment Automata are Probabilistic Couplings
PLDI SRC
Qian Meng Cornell university
Media Attached
17:30
90m
Poster
Multi-Phase Invariant Synthesis
PLDI SRC
Daniel Riley Florida State University
Media Attached
17:30
90m
Poster
Finding Good Generators with Multi-Armed Bandits
PLDI SRC
Joseph W. Cutler University of Pennsylvania
Media Attached
17:30
90m
Poster
Impacts of Range Reduction on Polynomial Approximation Efficiency
PLDI SRC
Sehyeok Park Rutgers University
Media Attached
17:30
90m
Poster
Automating NISQ Application Design with Meta Quantum Circuits with Constraints (MQCC)
PLDI SRC
Haowei Deng University of Maryland at College Park
Media Attached
17:30
90m
Poster
A Type System for Safe Intermittent Computing
PLDI SRC
Milijana Surbatovich Carnegie Mellon University
Media Attached
17:30
90m
Poster
PBUnit: A Live Programming Environment for Unit Testing
PLDI 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
PLDI SRC
Junrui Liu University of California, Santa Barbara
Media Attached
18:00 - 19:00
PLDI 2022 ReceptionPLDI 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 LunchPLDI at Beach North
12:00
60m
Lunch
Lunchsocial
PLDI

Fri 17 Jun

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

12:00 - 13:00
Friday LunchPLDI at Beach North
12:00
60m
Lunch
Lunchsocial
PLDI

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

Mon 13 Jun

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

Room12:00153045
Beach North
PLDI social
Lunch
12:00 - 13:00

Tue 14 Jun

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

Room12:00153045
Beach North
PLDI social
Lunch
12:00 - 13:00

Thu 16 Jun

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

Room12:00153045
Beach North
PLDI social
Lunch
12:00 - 13:00

Fri 17 Jun

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

Room12:00153045
Beach North
PLDI social
Lunch
12:00 - 13:00