UNSOUND 2024
Sun 20 - Fri 25 October 2024 Pasadena, California, United States
co-located with SPLASH 2024
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
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
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
14:30
20m
Research paper
Preliminary Study on Message Aggregation Optimizations for Energy Savings in PGAS Models
VIVEKFEST
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 , 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 TalksSPLASH 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 1SPLASH 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 2SPLASH 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 ClosingSPLASH 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 coffeeSPLASH 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
12:20
80m
Lunch
SIGPLAN-M lunch
SPLASH DEI Activities

Thu 24 Oct

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

12:20 - 13:40
12:20
80m
Lunch
LGBTQ+ lunch
SPLASH DEI Activities

Fri 25 Oct

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

10:30 - 11:00
10:30
30m
Coffee break
URM Coffee
SPLASH DEI Activities

Sun 20 Oct

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

Mon 21 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

Mon 21 Oct

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Pacific C

Tue 22 Oct

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Pacific C

Wed 23 Oct

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

Room10:0015304511:0015304512:0015304513:00153045
Pacific C

Thu 24 Oct

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

Room12:0015304513:00153045
Pacific C

Fri 25 Oct

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

Room10:00153045
Pacific C