PriSC 2023
Sun 15 - Sat 21 January 2023
Boston, Massachusetts, United States
co-located with
POPL 2023
Toggle navigation
Attending
Venue: Boston Park Plaza
Program
Complete Program
Your Program
Filter by Day
Sun 15 Jan
Mon 16 Jan
Tue 17 Jan
Wed 18 Jan
Thu 19 Jan
Fri 20 Jan
Sat 21 Jan
Track/Call
Organization
PriSC 2023 Committees
Track Committees
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
PriSC 2024
PriSC 2023
PriSC 2022
PriSC 2021
PriSC 2020
PriSC 2019
PriSC 2018
Sign in
Sign up
POPL 2023
(
series
) /
PriSC 2023 (
series
) /
Boston Park Plaza
/
Room information: White Hill
Venue
Boston Park Plaza
Room name
White Hill
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-05:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03: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-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03: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+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13: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
Wed 18 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
08:30 - 08:50
Wednesday Breakfast Session Preview
POPL Session Previews
at
White Hill
Chair(s):
Nate Foster
Cornell University
08:30
10m
Talk
Automated Verification: Session Preview
POPL Session Previews
Michael Greenberg
Stevens Institute of Technology
08:40
10m
Talk
Types I: Session Preview
POPL Session Previews
Neel Krishnaswami
University of Cambridge
10:20 - 10:40
Wednesday Morning Break Session Preview
POPL Session Previews
at
White Hill
Chair(s):
Eric Campbell
Cornell University
10:20
10m
Talk
Security: Session Preview
POPL Session Previews
Limin Jia
Carnegie Mellon University
10:30
10m
Talk
Synthesis I: Session Preview
POPL Session Previews
Nadia Polikarpova
University of California at San Diego
12:40 - 13:20
Wednesday Lunch Session Preview
POPL Session Previews
at
White Hill
Chair(s):
Chelsea Edmonds
University of Cambridge
12:40
10m
Talk
Logic & Decidability I: Session Preview
POPL Session Previews
Zachary Kincaid
Princeton University
12:50
10m
Talk
Program Logics & Resources: Session Preview
POPL Session Previews
Philippa Gardner
Imperial College London
13:00
10m
Talk
Verified Compilation: Session Preview
POPL Session Previews
Deian Stefan
University of California at San Diego
13:10
10m
Talk
Probabilistic Inference: Session Preview
POPL Session Previews
Alexandra Silva
Cornell University
18:10 - 18:30
Wednesday Evening Session Preview
POPL Session Previews
at
White Hill
Chair(s):
Xuejing Huang
University of Hong Kong
18:10
10m
Talk
Synthesis II: Session Preview
POPL Session Previews
Nate Foster
Cornell University
18:20
10m
Talk
Semantics I: Session Preview
POPL Session Previews
Ugo Dal Lago
University of Bologna; Inria
Thu 19 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
08:20 - 08:50
Thursday Breakfast Session Preview
POPL Session Previews
at
White Hill
Chair(s):
Eric Campbell
Cornell University
08:20
10m
Talk
Program Analysis & Parsing: Session Preview
POPL Session Previews
David Pichardie
Meta
08:30
10m
Talk
Resource Analysis: Session Preview
POPL Session Previews
Xavier Rival
Inria; ENS; CNRS; PSL University
08:40
10m
Talk
Automatic Differentiation: Session Preview
POPL Session Previews
Sasa Misailovic
University of Illinois at Urbana-Champaign
10:05 - 10:15
Thursday Morning Break Session Preview
POPL Session Previews
at
White Hill
Chair(s):
Nate Foster
Cornell University
10:05
10m
Talk
Type Theory: Session Preview
POPL Session Previews
Max New
University of Michigan
13:00 - 13:20
Thursday Lunch Session Preview
POPL Session Previews
at
White Hill
Chair(s):
Gabe Grand
13:00
10m
Talk
Logic & Decidability II: Session Preview
POPL Session Previews
Caleb Stanford
University of California, San Diego; University of California, Davis
13:10
10m
Talk
Types II: Session Preview
POPL Session Previews
Benjamin C. Pierce
University of Pennsylvania
13:30 - 15:00
SRC Presentation
POPL Student Research Competition
at
White Hill
13:30
15m
Talk
Scalable Synthesis of Regular Expressions From Only Positive Examples
POPL Student Research Competition
Elizaveta Pertseva
UCSD
,
Mark Barbone
UCSD
13:45
15m
Talk
Synthesizing Vectorized Code via Verified Lifting
POPL Student Research Competition
Jeremy Ferguson
University of California-Berkeley
14:00
15m
Talk
Evaluating Soundness of a Gradual Verifier with Property Based Testing
POPL Student Research Competition
Jan-Paul Ramos-Davila
Cornell University
14:15
15m
Talk
On the metatheory of IRs and the CPS-calculus
POPL Student Research Competition
Paulo Torrens
University of Kent
14:30
15m
Talk
Wisening Assertions: A live Bayesian reasoning system for probabilistic correctness
POPL Student Research Competition
Joshua Turcotti
Cornell University
14:45
15m
Talk
Compiling and Running High-level Quantum Programs
POPL Student Research Competition
Hristo Venev
INSAIT
18:10 - 18:30
Thursday Evening Session Preview
POPL Session Previews
at
White Hill
Chair(s):
Alexandra E. Michael
University of California at San Diego; University of Washington
18:10
10m
Talk
Semantics & Effects: Session Preview
POPL Session Previews
Andrew K. Hirsch
University at Buffalo, SUNY
18:20
10m
Talk
Logic Programming: Session Preview
POPL Session Previews
Cody Roux
AWS
Fri 20 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
08:30 - 08:50
Friday Breakfast Session Preview
POPL Session Previews
at
White Hill
Chair(s):
Alexandre Moine
Inria
08:30
10m
Talk
Formal Methods in Compilation & Implementation: Session Preview
POPL Session Previews
Arjun Guha
Northeastern University and Roblox Research
08:40
10m
Talk
Quantum Computing: Session Preview
POPL Session Previews
Jens Palsberg
University of California, Los Angeles (UCLA)
10:20 - 10:40
Friday Morning Break Session Preview
POPL Session Previews
at
White Hill
Chair(s):
Neea Rusch
Augusta University
10:20
10m
Talk
Concurrency & Linearizability: Session Preview
POPL Session Previews
Chung-Kil Hur
Seoul National University
10:30
10m
Talk
Algorithmic Verification
POPL Session Previews
Umang Mathur
National University of Singapore
13:00 - 13:20
Friday Lunch Session Preview
POPL Session Previews
at
White Hill
13:00
10m
Talk
Relational & Automated Verification: Session Preview
POPL Session Previews
Eric Campbell
Cornell University
13:10
10m
Talk
Semantics II: Session Preview
POPL Session Previews
Robert Atkey
University of Strathclyde
Wed 18 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
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
White Hill
POPL Session Previews
Wednesday Breakfast Session Preview
POPL Session Previews
Wednesday Morning Break Session Preview
POPL Session Previews
Wednesday Lunch Session Preview
POPL Session Previews
Wednesday Evening Session Preview
Thu 19 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
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
White Hill
POPL Session Previews
Thursday Breakfast Session Preview
POPL Session Previews
Thursday Morning Break Session Preview
POPL Session Previews
Thursday Lunch Session Preview
POPL Student Research Competition
SRC Presentation
POPL Session Previews
Thursday Evening Session Preview
Fri 20 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
White Hill
POPL Session Previews
Friday Breakfast Session Preview
POPL Session Previews
Friday Morning Break Session Preview
POPL Session Previews
Friday Lunch Session Preview
Wed 18 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
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
White Hill
POPL Session Previews
Automated Verification: Session Preview
08:30 - 08:40
POPL Session Previews
Types I: Session Preview
08:40 - 08:50
POPL Session Previews
Security: Session Preview
10:20 - 10:30
POPL Session Previews
Synthesis I: Session Preview
10:30 - 10:40
POPL Session Previews
Logic & Decidability I: Session Preview
12:40 - 12:50
POPL Session Previews
Program Logics & Resources: Session Preview
12:50 - 13:00
POPL Session Previews
Verified Compilation: Session Preview
13:00 - 13:10
POPL Session Previews
Probabilistic Inference: Session Preview
13:10 - 13:20
POPL Session Previews
Synthesis II: Session Preview
18:10 - 18:20
POPL Session Previews
Semantics I: Session Preview
18:20 - 18:30
Thu 19 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
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
White Hill
POPL Session Previews
Program Analysis & Parsing: Session Preview
08:20 - 08:30
POPL Session Previews
Resource Analysis: Session Preview
08:30 - 08:40
POPL Session Previews
Automatic Differentiation: Session Preview
08:40 - 08:50
POPL Session Previews
Type Theory: Session Preview
10:05 - 10:15
POPL Session Previews
Logic & Decidability II: Session Preview
13:00 - 13:10
POPL Session Previews
Types II: Session Preview
13:10 - 13:20
POPL Student Research Competition
Scalable Synthesis of Regular Expressions From Only Positive Examples
13:30 - 13:45
POPL Student Research Competition
Synthesizing Vectorized Code via Verified Lifting
13:45 - 14:00
POPL Student Research Competition
Evaluating Soundness of a Gradual Verifier with Property Based Testing
14:00 - 14:15
POPL Student Research Competition
On the metatheory of IRs and the CPS-calculus
14:15 - 14:30
POPL Student Research Competition
Wisening Assertions: A live Bayesian reasoning system for probabilistic ...
14:30 - 14:45
POPL Student Research Competition
Compiling and Running High-level Quantum Programs
14:45 - 15:00
POPL Session Previews
Semantics & Effects: Session Preview
18:10 - 18:20
POPL Session Previews
Logic Programming: Session Preview
18:20 - 18:30
Fri 20 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
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
White Hill
POPL Session Previews
Formal Methods in Compilation & Implementation: Session Preview
08:30 - 08:40
POPL Session Previews
Quantum Computing: Session Preview
08:40 - 08:50
POPL Session Previews
Concurrency & Linearizability: Session Preview
10:20 - 10:30
POPL Session Previews
Algorithmic Verification
10:30 - 10:40
POPL Session Previews
Relational & Automated Verification: Session Preview
13:00 - 13:10
POPL Session Previews
Semantics II: Session Preview
13:10 - 13:20
x
Sat 23 Sep 00:46