SPLASH 2024
Sun 20 - Fri 25 October 2024 Pasadena, California, United States
SPLASH 2024 (series) / Hilton Pasadena /

Room information: Pacific C

VenueHilton Pasadena
Room namePacific C
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

09:00 - 10:30
Session 1 - (JIT) CompilersVMIL 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 SessionVMIL 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 ImplementationVMIL 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 TuningVMIL 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 SessionVIVEKFEST 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 SessionVIVEKFEST 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 SessionVIVEKFEST 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 SessionVIVEKFEST 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 Georgia Institute of Technology, 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 TalksDoctoral Symposium at Pacific C
09:00
5m
Day opening
Welcome and Introduction
Doctoral Symposium
Alexander J. Summers University of British Columbia
09:05
55m
Keynote
How to Manage Your PhD Research and Your Career
Doctoral Symposium
Chao Wang University of Southern California
10:04
2m
Talk
(Lightning Talk) JMVX: Improving Record-Replay for Managed Languages
Doctoral Symposium
David Schwartz University of Illinois at Chicago
10:08
2m
Talk
(Lightning Talk) A VM-based Approach For Power Modeling
Doctoral Symposium
Joseph Raskind SUNY Binghamton
10:12
2m
Talk
(Lightning Talk) Static-Dynamic Information Flow Control in Rust
Doctoral Symposium
Vincent Beardsley Ohio State University
10:16
2m
Talk
(Lightning Talk) Full-Stack Collaboration for Robust Heterogeneity-Enabled AI Systems
Doctoral Symposium
Yuxin Qiu University of California at Riverside
10:20
2m
Talk
(Lightning Talk) Step-wise Execution of Data-Centric Systems
Doctoral Symposium
Chi Zhang Nanjing University
10:24
2m
Talk
(Lightning Talk) Unified Analysis Techniques for Programs with Outcomes
Doctoral Symposium
Noam Zilberstein Cornell University
11:00 - 12:30
Proposal Talks Session 1Doctoral Symposium at Pacific C
11:00
30m
Talk
Full-Stack Collaboration for Robust Heterogeneity-Enabled AI Systems
Doctoral Symposium
Yuxin Qiu University of California at Riverside
11:30
30m
Talk
JMVX: Improving Record-Replay for Managed Languages
Doctoral Symposium
David Schwartz University of Illinois at Chicago
12:00
30m
Talk
Unified Analysis Techniques for Programs with Outcomes
Doctoral Symposium
Noam Zilberstein Cornell University
14:00 - 15:30
Proposal Talks Session 2Doctoral Symposium at Pacific C
14:00
30m
Talk
Static-Dynamic Information Flow Control in Rust
Doctoral Symposium
Vincent Beardsley Ohio State University
14:30
30m
Talk
Step-wise Execution of Data-Centric Systems
Doctoral Symposium
Chi Zhang Nanjing University
15:00
30m
Talk
A VM-based Approach For Power Modeling
Doctoral Symposium
Joseph Raskind SUNY Binghamton
16:00 - 17:30
Award Adjudication and ClosingDoctoral Symposium at Pacific C
16:00
65m
Meeting
[Closed Session] Adjudication meeting for SIGPLAN's John Vlissides award
Doctoral Symposium

17:05
10m
Break
Break; free time
Doctoral Symposium

17:15
15m
Awards
First announcement of SIGPLAN's John Vlissides award; Closing Remarks
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 coffeeDEI Activities at Pacific C
10:10
30m
Meeting
Newcomer's coffee
DEI Activities
Michael Coblenz University of California, San Diego
12:20 - 13:40
SIGPLAN-M lunchDEI Activities at Pacific C
12:20
80m
Lunch
SIGPLAN-M lunch
DEI Activities
Sebastian Erdweg JGU Mainz

Thu 24 Oct

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

12:20 - 13:40
LGBTQ+ lunchDEI Activities at Pacific C
12:20
80m
Lunch
LGBTQ+ lunch
DEI Activities

Fri 25 Oct

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

10:30 - 11:00
URM CoffeeDEI Activities at Pacific C
10:30
30m
Coffee break
URM Coffee
DEI Activities

Sun 20 Oct

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Pacific C

Doctoral Symposium

Invited and Lightning Talks

Doctoral Symposium

Proposal Talks Session 1

Doctoral Symposium

Proposal Talks Session 2

Doctoral Symposium

Award Adjudication and Closing

Wed 23 Oct

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

Room10:003011:003012:003013:0030
Pacific C

DEI Activities

Newcomer's coffee

DEI Activities

SIGPLAN-M lunch

Thu 24 Oct

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

Room12:003013:0030
Pacific C

DEI Activities

LGBTQ+ lunch

Fri 25 Oct

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

Room10:0030
Pacific C

DEI Activities

URM Coffee

Sun 20 Oct

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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

Room10:0015304511:0015304512:0015304513:00153045
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

Room12:0015304513:00153045
Pacific C
SPLASH DEI Activities
LGBTQ+ lunch
12:20 - 13:40

Fri 25 Oct

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

Room10:00153045
Pacific C
SPLASH DEI Activities
URM Coffee
10:30 - 11:00