ISMM 2022
Tue 14 Jun 2022
San Diego, California, United States
co-located with
PLDI 2022
Toggle navigation
Attending
Venue: The Catamaran Resort, San Diego
PLDI 2022
Virtual Attendance
Registration
Code of Conduct
Sponsorship
Visa
Childcare
Students
Student Volunteers
Restaurants
COVID
Jobs
Program
ISMM Program
Your Program
Tue 14 Jun
Track/Call
Organization
ISMM 2022 Committees
Track Committees
Organizing Committee
Program Committee
External Review Committee
Steering Committee
Contributors
People Index
Search
Series
Series
ISMM 2025
ISMM 2024
ISMM 2023
ISMM 2022
ISMM 2021
ISMM 2020
ISMM 2019
ISMM 2018
ISMM 2017
ISMM 2016
ISMM 2015
Sign in
Sign up
PLDI 2022
(
series
) /
ISMM 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
PLDI 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 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
PLDI 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
Sat 21 Dec 15:07