VenueHilton Pasadena
Room nameCalifornia
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

Sun 20 Oct

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

12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

Mon 21 Oct

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

12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

Tue 22 Oct

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

12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

Wed 23 Oct

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

12:20 - 13:40
Junior faculty lunchDEI Activities at California
12:20
80m
Break
Junior faculty lunch
DEI Activities

12:20 - 13:40
12:20
80m
Lunch
Lunch
Catering

17:40 - 19:40
17:40
8m
Poster
AUTOINC: Incrementality for Free
Posters
17:48
8m
Poster
Meerkat: Distributed Reactive Live Semantics with Causal Consistency
Posters
17:57
8m
Poster
Ordering Rejectable Stacks in SGLR Parsing
Posters
Jeff Smits Delft University of Technology, Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands
18:05
8m
Poster
TickTalk: A Programming Language and System for Distributed, Time-Sensitive Applications
Posters
Kyle Liang Carnegie Mellon University, Edward Andert Arizona State University, Aviral Shrivastava Arizona State University, Jonathan Aldrich Carnegie Mellon University
18:14
8m
Poster
Algebraic effect handlers with bidirectional type-checking
Student Research Competition
18:22
8m
Poster
A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual Machines
Student Research Competition
Youwei Zhong Shanghai Jiao Tong University
18:31
8m
Poster
Automatically Generating an Abstract Interpretation-based Optimizer from a DSL
Student Research Competition
18:40
8m
Poster
Automatic Local Inverse Calculation for Change of Variables
Student Research Competition
18:48
8m
Poster
Design of Fractional Permissions for a Gradual Verifier
Student Research Competition
18:57
8m
Poster
Grammar Derivation Visualization in Automata Theory
Student Research Competition
19:05
8m
Poster
Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
Student Research Competition
Zheyuan Wu , Haoyi Zeng , Aaron Bies Saarland University
19:14
8m
Poster
Towards a Formal Approach to the Analysis of Human-Machine Interaction
Student Research Competition
Leyi Cui Columbia University, New York
19:22
8m
Poster
Understanding Program Visualizations in the Wild
Student Research Competition
Joel Castro University of California, Berkeley, Olohi Goodness John Smith College
19:31
8m
Poster
VESC:Towards Temporal Verification of Smart Contracts
Student Research Competition
Samuel Larsen , Kevin Johanson , Cyrus Liu Samsung Semiconductor
DOI
17:40 - 19:40
Reception and Poster sessionCatering at California
17:40
2h
Dinner
Reception
Catering

Thu 24 Oct

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

12:20 - 13:40
12:20
80m
Lunch
Lunch
Catering

Fri 25 Oct

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

12:20 - 13:50
Lunch and AwardsCatering at California
12:20
90m
Lunch
Awards Lunch
Catering

12:20 - 13:50
SIGPLAN Milner Award Talk - Armando Solar-LezamaKeynotes at California
12:20
90m
Keynote
SIGPLAN Milner Award Talk
Keynotes
Armando Solar-Lezama Massachusetts Institute of Technology

Sun 20 Oct

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

Room12:003013:0030
California

Mon 21 Oct

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

Room12:003013:0030
California

Tue 22 Oct

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

Room12:003013:0030
California

Wed 23 Oct

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

Thu 24 Oct

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

Room12:003013:0030
California

Fri 25 Oct

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

Sun 20 Oct

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

Room12:0015304513:00153045
California

Mon 21 Oct

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

Room12:0015304513:00153045
California

Tue 22 Oct

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

Room12:0015304513:00153045
California

Wed 23 Oct

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

Room12:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
California

Thu 24 Oct

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

Room12:0015304513:00153045
California

Fri 25 Oct

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

Room12:0015304513:00153045
California