UNSOUND 2024
Sun 20 - Fri 25 October 2024 Pasadena, California, United States
co-located with SPLASH 2024
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
SPLASH Catering

Mon 21 Oct

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

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

Tue 22 Oct

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

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

Wed 23 Oct

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

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

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

17:40 - 19:40
17:40
8m
Poster
AUTOINC: Incrementality for Free
SPLASH Posters
17:48
8m
Poster
Meerkat: Distributed Reactive Live Semantics with Causal Consistency
SPLASH Posters
17:57
8m
Poster
Ordering Rejectable Stacks in SGLR Parsing
SPLASH 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
SPLASH 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
SPLASH Student Research Competition
18:22
8m
Poster
A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual Machines
SPLASH Student Research Competition
Youwei Zhong Shanghai Jiao Tong University
18:31
8m
Poster
Automatically Generating an Abstract Interpretation-based Optimizer from a DSL
SPLASH Student Research Competition
18:40
8m
Poster
Automatic Local Inverse Calculation for Change of Variables
SPLASH Student Research Competition
18:48
8m
Poster
Design of Fractional Permissions for a Gradual Verifier
SPLASH Student Research Competition
18:57
8m
Poster
Grammar Derivation Visualization in Automata Theory
SPLASH Student Research Competition
19:05
8m
Poster
Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
SPLASH 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
SPLASH Student Research Competition
Leyi Cui Columbia University, New York
19:22
8m
Poster
Understanding Program Visualizations in the Wild
SPLASH 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
SPLASH Student Research Competition
Samuel Larsen , Kevin Johanson , Cyrus Liu Samsung Semiconductor
DOI
17:40 - 19:40
Reception and Poster sessionSPLASH Catering at California
17:40
2h
Dinner
Reception
SPLASH Catering

Thu 24 Oct

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

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

Fri 25 Oct

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

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

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

Sun 20 Oct

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

Mon 21 Oct

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

Tue 22 Oct

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

Wed 23 Oct

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

Thu 24 Oct

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

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