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

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

Publisher's Version

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

Publisher's Version

Doctoral Symposium

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

Publisher's Version

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

Publisher's Version

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

Publisher's Version

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

Publisher's Version

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

Publisher's Version

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

Publisher's Version

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

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

Publisher's Version

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

Publisher's Version

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

Publisher's Version

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

Publisher's Version

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

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

Publisher's Version

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

Publisher's Version

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

Publisher's Version

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

Posters

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

Publisher's Version

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

Publisher's Version

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

Publisher's Version

proc time: 6.12