SPLASH 2024 – Preliminary Table of Contents

2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2024)

Frontmatter

Doctoral Symposium

Unified Analysis Techniques for Programs with Outcomes
Noam Zilberstein
(Cornell University, USA)

Article Search

A VM-Based Approach for Power Modeling
Joseph Raskind
(SUNY Binghamton, USA)

Article Search

Full-Stack Collaboration for Robust Heterogeneity-Enabled AI Systems
Yuxin Qiu
(University of California at Riverside, USA)

Article Search

JMVX: Improving Record-Replay for Managed Languages
David Schwartz
(University of Illinois at Chicago, USA)

Article Search

Static-Dynamic Information Flow Control in Rust
Vincent Beardsley
(Ohio State University, USA)

Article Search

Step-wise Execution of Data-Centric Systems
Chi Zhang
(Nanjing University, China)

Article Search

Student Research Competition

A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual Machines
Youwei Zhong
(Shanghai Jiao Tong University, China)

Article Search

Algebraic Effect Handlers with Bidirectional Type-Checking
Maya Mückenschnabel
(Unaffiliated, Czechia)

Article Search

Automatically Generating an Abstract Interpretation-Based Optimizer from a DSL
Ken Jin Ooi
(National University of Singapore, Singapore)

Article Search

A Formal Approach to the Analysis of Human-Machine Interaction with Fuzzy Logic
Leyi Cui
(Columbia University, USA)

Article Search

Automatic Local Inverse Calculation for Change of Variables
Elias Rojas Collins
(Massachusetts Institute of Technology, USA)

Article Search

Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
Zheyuan Wu, Haoyi Zeng, and Aaron Bies
(Saarland University, Germany)

Article Search

Design of Fractional Permissions for a Gradual Verifier
Craig Liu
(Purdue University, USA)

Article Search

Grammar Derivation Visualization in Automata Theory
Tijana Minić and Andrés M. Garced
(Seton Hall University, USA)

Article Search

VESC: Towards Temporal Verification of Smart Contracts
Samuel Larsen, Kevin Johanson, and Yuandong Cyrus Liu
(Grinnell College, USA)

Article Search

Understanding Program Visualizations in the Wild
Joel Enrique Castro Hernandez and Olohi Goodness John
(University of California at Berkeley, USA; Smith College, USA)

Article Search

Posters

Meerkat: Distributed Reactive Live Semantics with Causal Consistency
Heng Zhong and Anrui Liu
(Fudan University, China; Carnegie Mellon University, USA)

Article Search

Ordering Rejectable Stacks in SGLR Parsing
Jeff Smits and Daniel A. A. Pelsmaeker
(Delft University of Technology, Netherlands)

Article Search

AUTOINC: Incrementality for Free
André Pacak, Prashant Kumar, Runqing Xu, and Sebastian Erdweg
(JGU Mainz, Germany)

Article Search

proc time: 5.01