UNSOUND 2024
Sun 20 - Fri 25 October 2024
Pasadena, California, United States
co-located with
SPLASH 2024
Toggle navigation
Attending
Venue: Hilton Pasadena
Program
UNSOUND Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Track/Call
Organization
UNSOUND 2024 Committees
Track Committees
Organizing Committee
Contributors
People Index
Search
Series
Series
UNSOUND 2024
Unsound 2022
Sign in
Sign up
SPLASH 2024
(
series
) /
UNSOUND 2024 (
series
) /
Hilton Pasadena
/
Room information: Pacific C
Venue
Hilton Pasadena
Room name
Pacific C
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-05: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-03: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+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
Sun 20 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
Session 1 - (JIT) Compilers
VMIL
at
Pacific C
09:00
10m
Day opening
Opening Remarks
VMIL
09:15
30m
Research paper
Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation
VMIL
Yen-Fu Chen
National Cheng Kung University
,
Meng-Hung Chen
National Cheng Kung University
,
Ching-Chun Huang
National Cheng Kung University
,
Chia-Heng Tu
National Cheng Kung University
DOI
File Attached
09:45
30m
Research paper
An Analysis of Compiled Code Reusability in Dynamic Compilation
VMIL
Andrej Pečimúth
Oracle Labs; Charles University
,
David Leopoldseder
Oracle Labs
,
Petr Tuma
Charles University
DOI
Pre-print
10:15
15m
Experience report
Inlined Code Generation for Smalltalk
VMIL
Dave Mason
Toronto Metropolitan University (formerly Ryerson University)
,
Daniel Franklin
Toronto Metropolitan University
File Attached
11:00 - 12:30
Keynote Session
VMIL
at
Pacific C
11:00
60m
Keynote
A tour of CPython's runtime
VMIL
K:
Brandt Bucher
Microsoft
14:00 - 15:30
Session 2 - Language Implementation
VMIL
at
Pacific C
14:00
30m
Research paper
Smarter Contract Upgrades with Orthogonal Persistence
VMIL
Luc Bläser
DFINITY Foundation
,
Claudio Russo
Dfinity
,
Gabor Greif
DFINITY
,
Ryan Vandersmith
DFINITY Foundation
,
Jason Ibrahim
DFINITY Foundation
DOI
14:30
30m
Research paper
Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine
VMIL
Xiaowen Hu
The University of Sydney
,
David Zhao
RelationalAI
,
Bernhard Scholz
University of Sydney
DOI
Pre-print
File Attached
15:00
15m
Short-paper
The Fuzion Intermediate Representation
VMIL
Fridtjof Siebert
Tokiwa Software GmbH
,
Michael Lill
Tokiwa Software GmbH
Pre-print
Media Attached
15:15
15m
Short-paper
An Effectively Ω(c) Language and Runtime
VMIL
Mark Marron
University of Kentucky
Pre-print
16:00 - 17:30
Session 3 - Performance Tuning
VMIL
at
Pacific C
16:00
30m
Research paper
On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code
VMIL
Christoph Pichler
Johannes Kepler University Linz
,
Paley Li
Oracle
,
Roland Schatz
Oracle Labs
,
Hanspeter Mössenböck
JKU Linz
DOI
Pre-print
16:30
30m
Research paper
Performant Bounds Checking for 64-Bit WebAssembly
VMIL
Lukas Döllerer
TU Munich
,
Alexis Engelke
TU Munich
DOI
Pre-print
17:00
30m
Research paper
Reducing Feedback Pollution
VMIL
Michal Stepanek
Czech Technical University
,
Sebastián Krynski
Czech Technical University in Prague
,
Filip Riha
Czech Technical University
,
Filip Křikava
Czech Technical University in Prague
,
Jan Vitek
Northeastern University
DOI
Pre-print
Mon 21 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
Morning Session
VIVEKFEST
at
Pacific C
Chair(s):
Jens Palsberg
University of California, Los Angeles (UCLA)
09:00
10m
Talk
Welcome (Raj Barik/Rajiv Gupta/Jens Palsberg)
VIVEKFEST
Raj Barik
Gitar Co.
,
Rajiv Gupta
University of California at Riverside (UCR)
,
Jens Palsberg
University of California, Los Angeles (UCLA)
09:10
20m
Research paper
Scalable Small Message Aggregation on Modern Interconnects
VIVEKFEST
Aaron Welch
,
Oscar Hernandez
ORNL
,
Stephen Poole
,
Wendy Poole
09:30
20m
Talk
Michael Hind (IBM Research)
VIVEKFEST
09:50
20m
Talk
Concurrent Collections: An Overview
VIVEKFEST
Kathleen Knobe
Rice University
,
Zoran Budimlic
Texas A&M University
,
Robert Harrison
,
Mohammad Mahdi Javanmard
Stony Brook University, NY, USA
,
Louis-Noël Pouchet
Colorado State University
10:10
20m
Research paper
Hidden assumptions in static verification of data-race free GPU programs
VIVEKFEST
Tiago Cogumbreiro
University of Massachusetts Boston
,
Julien Lange
Royal Holloway, University of London
11:00 - 12:30
Pre-lunch Session
VIVEKFEST
at
Pacific C
Chair(s):
Rajiv Gupta
University of California at Riverside (UCR)
11:00
20m
Research paper
Intrepydd: Toward Performance, Productivity, and Portability for Massive Heterogeneous Parallelism
VIVEKFEST
Jun Shirako
Georgia Institute of Technology
,
Tong Zhou
Georgia Institute of Technology
,
Akihiro Hayashi
Georgia Institute of Technology
11:20
20m
Research paper
Verification of Concurrent Programs Using Hybrid Concrete-Symbolic Interpretation
VIVEKFEST
Emily Tucker
,
Louis-Noël Pouchet
Colorado State University, USA
11:40
10m
Talk
A Few Lessons and Problems For Life; Source@Vivek Sarkar
VIVEKFEST
V Krishna Nandivada
IIT Madras
11:50
20m
Research paper
Evaluation of Speedup & Energy with Multigrain Parallelizing Compiler
VIVEKFEST
John Pickar
,
Tohma Kawasumi
,
Hiroki Mikami
Waseda University, Japan
,
Keiji Kimura
Waseda University; Japan
,
Hironori Kasahara
Waseda University, Japan
12:10
20m
Research paper
A Formal Model for Portable, Heterogeneous Accelerator Programming
VIVEKFEST
Zachary Sullivan
,
Samuel D. Pollard
Sandia National Laboratories
14:00 - 15:30
Post-lunch Session
VIVEKFEST
at
Pacific C
Chair(s):
Raj Barik
Gitar Co.
14:00
20m
Research paper
Learning to harness in-vitro biological neural networks
VIVEKFEST
Frithjof Gressmann
,
Lawrence Rauchwerger
University of Illinois at Urbana-Champaign
14:20
10m
Talk
Jason Cong (UCLA)
VIVEKFEST
Jason Cong
UCLA
14:30
20m
Research paper
Preliminary Study on Message Aggregation Optimizations for Energy Savings in PGAS Models
VIVEKFEST
Oscar Hernandez
ORNL
,
Aaron Welch
,
Wendy Poole
,
Stephen Poole
14:50
10m
Talk
Navigating the Frontier of EDDO-Based Accelerators: Programming and Code Optimization Challenges
VIVEKFEST
Prasanth Chatarasi
IBM Research
15:00
20m
Research paper
On the Cloud We Can’t Wait: Asynchronous Actors Perform Even Better on the Cloud
VIVEKFEST
Aniruddha Mysore
Georgia Institute of Technology
,
Youssef Elmougy
Georgia Institute of Technology, USA
,
Akihiro Hayashi
Georgia Institute of Technology
15:20
5m
Talk
Prof. P. Sadayappan (University of Utah)
VIVEKFEST
Ponnuswamy Sadayappan
University of Utah
15:25
5m
Other
Play pre-recorded videos from ex-colleagues
VIVEKFEST
16:00 - 17:30
Afternoon Session
VIVEKFEST
at
Pacific C
Chair(s):
Raj Barik
Gitar Co.
16:00
20m
Research paper
Enabling User-level Asynchronous Tasking in the FA-BSP Model - Case Study: Distributed Triangle Counting
VIVEKFEST
Akihiro Hayashi
Georgia Institute of Technology
,
Shubhendra Singhal
,
Youssef Elmougy
Georgia Institute of Technology, USA
,
Jiawei Yang
16:20
10m
Talk
Max Grossman (Cruise)
VIVEKFEST
Max Grossman
Rice University, USA
16:30
20m
Research paper
Retrieving Unknown SMT Formulas via Structural Mutations
VIVEKFEST
Shuo Ding
Georgia Institute of Technology
,
Qirun Zhang
Georgia Institute of Technology
16:50
30m
Talk
Vivek Sarkar (Georgia Tech)
VIVEKFEST
Vivek Sarkar
Georgia Institute of Technology
17:20
10m
Talk
Closing and proceed to "Collaborators' Toast: Drinks & Memories of Vivek's Work (6-8PM)"
VIVEKFEST
Tue 22 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
Invited and Lightning Talks
SPLASH Doctoral Symposium
at
Pacific C
09:00
5m
Day opening
Welcome and Introduction
SPLASH Doctoral Symposium
Alexander J. Summers
University of British Columbia
09:05
55m
Keynote
How to Manage Your PhD Research and Your Career
SPLASH Doctoral Symposium
Chao Wang
University of Southern California
10:04
2m
Talk
(Lightning Talk) JMVX: Improving Record-Replay for Managed Languages
SPLASH Doctoral Symposium
David Schwartz
University of Illinois at Chicago
10:08
2m
Talk
(Lightning Talk) A VM-based Approach For Power Modeling
SPLASH Doctoral Symposium
Joseph Raskind
SUNY Binghamton
10:12
2m
Talk
(Lightning Talk) Static-Dynamic Information Flow Control in Rust
SPLASH Doctoral Symposium
Vincent Beardsley
Ohio State University
10:16
2m
Talk
(Lightning Talk) Full-Stack Collaboration for Robust Heterogeneity-Enabled AI Systems
SPLASH Doctoral Symposium
Yuxin Qiu
University of California at Riverside
10:20
2m
Talk
(Lightning Talk) Step-wise Execution of Data-Centric Systems
SPLASH Doctoral Symposium
Chi Zhang
Nanjing University
10:24
2m
Talk
(Lightning Talk) Unified Analysis Techniques for Programs with Outcomes
SPLASH Doctoral Symposium
Noam Zilberstein
Cornell University
11:00 - 12:30
Proposal Talks Session 1
SPLASH Doctoral Symposium
at
Pacific C
11:00
30m
Talk
Full-Stack Collaboration for Robust Heterogeneity-Enabled AI Systems
SPLASH Doctoral Symposium
Yuxin Qiu
University of California at Riverside
11:30
30m
Talk
JMVX: Improving Record-Replay for Managed Languages
SPLASH Doctoral Symposium
David Schwartz
University of Illinois at Chicago
12:00
30m
Talk
Unified Analysis Techniques for Programs with Outcomes
SPLASH Doctoral Symposium
Noam Zilberstein
Cornell University
14:00 - 15:30
Proposal Talks Session 2
SPLASH Doctoral Symposium
at
Pacific C
14:00
30m
Talk
Static-Dynamic Information Flow Control in Rust
SPLASH Doctoral Symposium
Vincent Beardsley
Ohio State University
14:30
30m
Talk
Step-wise Execution of Data-Centric Systems
SPLASH Doctoral Symposium
Chi Zhang
Nanjing University
15:00
30m
Talk
A VM-based Approach For Power Modeling
SPLASH Doctoral Symposium
Joseph Raskind
SUNY Binghamton
16:00 - 17:30
Award Adjudication and Closing
SPLASH Doctoral Symposium
at
Pacific C
16:00
65m
Meeting
[Closed Session] Adjudication meeting for SIGPLAN's John Vlissides award
SPLASH Doctoral Symposium
17:05
10m
Break
Break; free time
SPLASH Doctoral Symposium
17:15
15m
Awards
First announcement of SIGPLAN's John Vlissides award; Closing Remarks
SPLASH Doctoral Symposium
Alexander J. Summers
University of British Columbia
Wed 23 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
10:10 - 10:40
Newcomer's coffee
SPLASH DEI Activities
at
Pacific C
10:10
30m
Meeting
Newcomer's coffee
SPLASH DEI Activities
Michael Coblenz
University of California, San Diego
12:20 - 13:40
SIGPLAN-M lunch
SPLASH DEI Activities
at
Pacific C
12:20
80m
Lunch
SIGPLAN-M lunch
SPLASH DEI Activities
Sebastian Erdweg
JGU Mainz
Thu 24 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
12:20 - 13:40
LGBTQ+ lunch
SPLASH DEI Activities
at
Pacific C
12:20
80m
Lunch
LGBTQ+ lunch
SPLASH DEI Activities
Fri 25 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
10:30 - 11:00
URM Coffee
SPLASH DEI Activities
at
Pacific C
10:30
30m
Coffee break
URM Coffee
SPLASH DEI Activities
Sun 20 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
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
Pacific C
VMIL
Session 1 - (JIT) Compilers
VMIL
Keynote Session
VMIL
Session 2 - Language Implementation
VMIL
Session 3 - Performance Tuning
Mon 21 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
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
Pacific C
VIVEKFEST
Morning Session
VIVEKFEST
Pre-lunch Session
VIVEKFEST
Post-lunch Session
VIVEKFEST
Afternoon Session
Tue 22 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
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
Pacific C
SPLASH Doctoral Symposium
Invited and Lightning Talks
SPLASH Doctoral Symposium
Proposal Talks Session 1
SPLASH Doctoral Symposium
Proposal Talks Session 2
SPLASH Doctoral Symposium
Award Adjudication and Closing
Wed 23 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
Pacific C
SPLASH DEI Activities
Newcomer's coffee
SPLASH DEI Activities
SIGPLAN-M lunch
Thu 24 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
12:00
30
13:00
30
Pacific C
SPLASH DEI Activities
LGBTQ+ lunch
Fri 25 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
30
Pacific C
SPLASH DEI Activities
URM Coffee
Sun 20 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
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
Pacific C
VMIL
Opening Remarks
09:00 - 09:10
VMIL
Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation
09:15 - 09:45
VMIL
An Analysis of Compiled Code Reusability in Dynamic Compilation
09:45 - 10:15
VMIL
Inlined Code Generation for Smalltalk
10:15 - 10:30
VMIL
A tour of CPython's runtime
11:00 - 12:00
VMIL
Smarter Contract Upgrades with Orthogonal Persistence
14:00 - 14:30
VMIL
Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine
14:30 - 15:00
VMIL
The Fuzion Intermediate Representation
15:00 - 15:15
VMIL
An Effectively Ω(c) Language and Runtime
15:15 - 15:30
VMIL
On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compil ...
16:00 - 16:30
VMIL
Performant Bounds Checking for 64-Bit WebAssembly
16:30 - 17:00
VMIL
Reducing Feedback Pollution
17:00 - 17:30
Mon 21 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
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
Pacific C
VIVEKFEST
Welcome (Raj Barik/Rajiv Gupta/Jens Palsberg)
09:00 - 09:10
VIVEKFEST
Scalable Small Message Aggregation on Modern Interconnects
09:10 - 09:30
VIVEKFEST
Michael Hind (IBM Research)
09:30 - 09:50
VIVEKFEST
Concurrent Collections: An Overview
09:50 - 10:10
VIVEKFEST
Hidden assumptions in static verification of data-race free GPU programs
10:10 - 10:30
VIVEKFEST
Intrepydd: Toward Performance, Productivity, and Portability for Massiv ...
11:00 - 11:20
VIVEKFEST
Verification of Concurrent Programs Using Hybrid Concrete-Symbolic Inte ...
11:20 - 11:40
VIVEKFEST
A Few Lessons and Problems For Life; Source@Vivek Sarkar
11:40 - 11:50
VIVEKFEST
Evaluation of Speedup & Energy with Multigrain Parallelizing Compiler
11:50 - 12:10
VIVEKFEST
A Formal Model for Portable, Heterogeneous Accelerator Programming
12:10 - 12:30
VIVEKFEST
Learning to harness in-vitro biological neural networks
14:00 - 14:20
VIVEKFEST
Jason Cong (UCLA)
14:20 - 14:30
VIVEKFEST
Preliminary Study on Message Aggregation Optimizations for Energy Savin ...
14:30 - 14:50
VIVEKFEST
Navigating the Frontier of EDDO-Based Accelerators: Programming and Cod ...
14:50 - 15:00
VIVEKFEST
On the Cloud We Can’t Wait: Asynchronous Actors Perform Even Better on ...
15:00 - 15:20
VIVEKFEST
Prof. P. Sadayappan (University of Utah)
15:20 - 15:25
VIVEKFEST
Play pre-recorded videos from ex-colleagues
15:25 - 15:30
VIVEKFEST
Enabling User-level Asynchronous Tasking in the FA-BSP Model - Case Stu ...
16:00 - 16:20
VIVEKFEST
Max Grossman (Cruise)
16:20 - 16:30
VIVEKFEST
Retrieving Unknown SMT Formulas via Structural Mutations
16:30 - 16:50
VIVEKFEST
Vivek Sarkar (Georgia Tech)
16:50 - 17:20
VIVEKFEST
Closing and proceed to "Collaborators' Toast: Drinks & Memories of Vive ...
17:20 - 17:30
Tue 22 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
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
Pacific C
SPLASH Doctoral Symposium
Welcome and Introduction
09:00 - 09:05
SPLASH Doctoral Symposium
How to Manage Your PhD Research and Your Career
09:05 - 10:00
SPLASH Doctoral Symposium
(Lightning Talk) JMVX: Improving Record-Replay for Managed Languages
10:04 - 10:06
SPLASH Doctoral Symposium
(Lightning Talk) A VM-based Approach For Power Modeling
10:08 - 10:10
SPLASH Doctoral Symposium
(Lightning Talk) Static-Dynamic Information Flow Control in Rust
10:12 - 10:14
SPLASH Doctoral Symposium
(Lightning Talk) Full-Stack Collaboration for Robust Heterogeneity-Enab ...
10:16 - 10:18
SPLASH Doctoral Symposium
(Lightning Talk) Step-wise Execution of Data-Centric Systems
10:20 - 10:22
SPLASH Doctoral Symposium
(Lightning Talk) Unified Analysis Techniques for Programs with Outcomes
10:24 - 10:26
SPLASH Doctoral Symposium
Full-Stack Collaboration for Robust Heterogeneity-Enabled AI Systems
11:00 - 11:30
SPLASH Doctoral Symposium
JMVX: Improving Record-Replay for Managed Languages
11:30 - 12:00
SPLASH Doctoral Symposium
Unified Analysis Techniques for Programs with Outcomes
12:00 - 12:30
SPLASH Doctoral Symposium
Static-Dynamic Information Flow Control in Rust
14:00 - 14:30
SPLASH Doctoral Symposium
Step-wise Execution of Data-Centric Systems
14:30 - 15:00
SPLASH Doctoral Symposium
A VM-based Approach For Power Modeling
15:00 - 15:30
SPLASH Doctoral Symposium
[Closed Session] Adjudication meeting for SIGPLAN's John Vlissides award
16:00 - 17:05
SPLASH Doctoral Symposium
Break; free time
17:05 - 17:15
SPLASH Doctoral Symposium
First announcement of SIGPLAN's John Vlissides award; Closing Remarks
17:15 - 17:30
Wed 23 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
Pacific C
SPLASH DEI Activities
Newcomer's coffee
10:10 - 10:40
SPLASH DEI Activities
SIGPLAN-M lunch
12:20 - 13:40
Thu 24 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
12:00
15
30
45
13:00
15
30
45
Pacific C
SPLASH DEI Activities
LGBTQ+ lunch
12:20 - 13:40
Fri 25 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
15
30
45
Pacific C
SPLASH DEI Activities
URM Coffee
10:30 - 11:00
x
Thu 21 Nov 18:01