SPLASH 2024 – Companion Proceedings

Frontmatter

Keynotes

Everything Is a Program (Even If It's Not) (Keynote)
Todd Millstein
(University of California, Los Angeles, USA)

Publisher's Version Article: splashcomp24key-key1-p doi:10.1145/3689491.3700407

AI: Winter of Our Discontent (Keynote)
Richard P. Gabriel
(Independent, USA)

Publisher's Version Article: splashcomp24key-key2-p doi:10.1145/3689491.3700408

Trillions of Formally Verified Authorizations a Day! (Keynote)
Neha Rungta
(AWS, USA)

Publisher's Version Article: splashcomp24key-key3-p doi:10.1145/3689491.3700409

Doctoral Symposium

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

Publisher's Version Article: splashcomp24docs-p1-p doi:10.1145/3689491.3691814

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

Publisher's Version Article: splashcomp24docs-p4-p doi:10.1145/3689491.3691816

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

Publisher's Version Article: splashcomp24docs-p5-p doi:10.1145/3689491.3691817

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

Publisher's Version Article: splashcomp24docs-p7-p doi:10.1145/3689491.3691819

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

Publisher's Version Article: splashcomp24docs-p8-p doi:10.1145/3689491.3691820

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

Publisher's Version Article: splashcomp24docs-p9-p doi:10.1145/3689491.3691821

Student Research Competition

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

Publisher's Version Article: splashcomp24src-p13-p doi:10.1145/3689491.3689966

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

Publisher's Version Article: splashcomp24src-p22-p doi:10.1145/3689491.3689967

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

Publisher's Version Article: splashcomp24src-p34-p doi:10.1145/3689491.3689968

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

Publisher's Version Article: splashcomp24src-p46-p doi:10.1145/3689491.3689969

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

Publisher's Version Article: splashcomp24src-p54-p doi:10.1145/3689491.3689970

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

Publisher's Version Article: splashcomp24src-p68-p doi:10.1145/3689491.3689971

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

Publisher's Version Article: splashcomp24src-p73-p doi:10.1145/3689491.3689972

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

Publisher's Version Article: splashcomp24src-p86-p doi:10.1145/3689491.3689977

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

Publisher's Version Article: splashcomp24src-p89-p doi:10.1145/3689491.3689974

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

Publisher's Version Article: splashcomp24src-p100-p doi:10.1145/3689491.3689975

Posters

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

Publisher's Version Article: splashcomp24posters-p26-p doi:10.1145/3689491.3691822

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

Publisher's Version Article: splashcomp24posters-p33-p doi:10.1145/3689491.3691823

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

Publisher's Version Article: splashcomp24posters-p45-p doi:10.1145/3689491.3691824

proc time: 0.03