SPLASH 2024 – Companion Proceedings

Frontmatter

Keynotes

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

@InProceedings{SPLASH24p1, author = {Todd Millstein}, title = {Everything Is a Program (Even If It's Not) (Keynote)}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3689491.3700407}, year = {2024}, } Publisher's Version Article: splashcomp24key-key1-p (type: Abstract) doi:10.1145/3689491.3700407

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

@InProceedings{SPLASH24p2, author = {Richard P. Gabriel}, title = {AI: Winter of Our Discontent (Keynote)}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {2-1}, doi = {10.1145/3689491.3700408}, year = {2024}, } Publisher's Version Article: splashcomp24key-key2-p (type: Abstract) doi:10.1145/3689491.3700408

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

@InProceedings{SPLASH24p3, author = {Neha Rungta}, title = {Trillions of Formally Verified Authorizations a Day! (Keynote)}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {3-2}, doi = {10.1145/3689491.3700409}, year = {2024}, } Publisher's Version Article: splashcomp24key-key3-p (type: Abstract) doi:10.1145/3689491.3700409

Doctoral Symposium

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

@InProceedings{SPLASH24p4, author = {Noam Zilberstein}, title = {Unified Analysis Techniques for Programs with Outcomes}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {4-3}, doi = {10.1145/3689491.3691814}, year = {2024}, } Publisher's Version Article: splashcomp24docs-p1-p (type: Short Paper) doi:10.1145/3689491.3691814

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

@InProceedings{SPLASH24p7, author = {Joseph Raskind}, title = {A VM-Based Approach for Power Modeling}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {7-6}, doi = {10.1145/3689491.3691816}, year = {2024}, } Publisher's Version Article: splashcomp24docs-p4-p (type: Short Paper) doi:10.1145/3689491.3691816

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

@InProceedings{SPLASH24p10, author = {Yuxin Qiu}, title = {Full-Stack Collaboration for Robust Heterogeneity-Enabled AI Systems}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {10-9}, doi = {10.1145/3689491.3691817}, year = {2024}, } Publisher's Version Article: splashcomp24docs-p5-p (type: Short Paper) doi:10.1145/3689491.3691817

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

@InProceedings{SPLASH24p13, author = {David Schwartz}, title = {JMVX: Improving Record-Replay for Managed Languages}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {13-12}, doi = {10.1145/3689491.3691819}, year = {2024}, } Publisher's Version Article: splashcomp24docs-p7-p (type: Short Paper) doi:10.1145/3689491.3691819

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

@InProceedings{SPLASH24p16, author = {Vincent Beardsley}, title = {Static-Dynamic Information Flow Control in Rust}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3689491.3691820}, year = {2024}, } Publisher's Version Article: splashcomp24docs-p8-p (type: Short Paper) doi:10.1145/3689491.3691820

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

@InProceedings{SPLASH24p19, author = {Chi Zhang}, title = {Step-wise Execution of Data-Centric Systems}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {19-18}, doi = {10.1145/3689491.3691821}, year = {2024}, } Publisher's Version Article: splashcomp24docs-p9-p (type: Short Paper) 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)

@InProceedings{SPLASH24p22, author = {Youwei Zhong}, title = {A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual Machines}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {22-21}, doi = {10.1145/3689491.3689966}, year = {2024}, } Publisher's Version Article: splashcomp24src-p13-p (type: Short Paper) doi:10.1145/3689491.3689966

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

@InProceedings{SPLASH24p26, author = {Maya Mückenschnabel}, title = {Algebraic Effect Handlers with Bidirectional Type-Checking}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {26-25}, doi = {10.1145/3689491.3689967}, year = {2024}, } Publisher's Version Article: splashcomp24src-p22-p (type: Short Paper) doi:10.1145/3689491.3689967

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

@InProceedings{SPLASH24p30, author = {Ken Jin Ooi}, title = {Automatically Generating an Abstract Interpretation-Based Optimizer from a DSL}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {30-29}, doi = {10.1145/3689491.3689968}, year = {2024}, } Publisher's Version Article: splashcomp24src-p34-p (type: Short Paper) doi:10.1145/3689491.3689968

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

@InProceedings{SPLASH24p34, author = {Leyi Cui}, title = {A Formal Approach to the Analysis of Human-Machine Interaction with Fuzzy Logic}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {34-33}, doi = {10.1145/3689491.3689969}, year = {2024}, } Publisher's Version Article: splashcomp24src-p46-p (type: Short Paper) doi:10.1145/3689491.3689969

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

@InProceedings{SPLASH24p38, author = {Elias Rojas Collins}, title = {Automatic Local Inverse Calculation for Change of Variables}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {38-37}, doi = {10.1145/3689491.3689970}, year = {2024}, } Publisher's Version Article: splashcomp24src-p54-p (type: Short Paper) 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)

@InProceedings{SPLASH24p42, author = {Zheyuan Wu and Haoyi Zeng and Aaron Bies}, title = {Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {42-41}, doi = {10.1145/3689491.3689971}, year = {2024}, } Publisher's Version Article: splashcomp24src-p68-p (type: Short Paper) doi:10.1145/3689491.3689971

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

@InProceedings{SPLASH24p46, author = {Craig Liu}, title = {Design of Fractional Permissions for a Gradual Verifier}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3689491.3689972}, year = {2024}, } Publisher's Version Article: splashcomp24src-p73-p (type: Short Paper) doi:10.1145/3689491.3689972

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

@InProceedings{SPLASH24p50, author = {Tijana Minić and Andrés M. Garced}, title = {Grammar Derivation Visualization in Automata Theory}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {50-49}, doi = {10.1145/3689491.3689977}, year = {2024}, } Publisher's Version Article: splashcomp24src-p86-p (type: Short Paper) doi:10.1145/3689491.3689977

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

@InProceedings{SPLASH24p54, author = {Samuel Larsen and Kevin Johanson and Yuandong Cyrus Liu}, title = {VESC: Towards Temporal Verification of Smart Contracts}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {54-53}, doi = {10.1145/3689491.3689974}, year = {2024}, } Publisher's Version Article: splashcomp24src-p89-p (type: Short Paper) 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)

@InProceedings{SPLASH24p58, author = {Joel Enrique Castro Hernandez and Olohi Goodness John}, title = {Understanding Program Visualizations in the Wild}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {58-57}, doi = {10.1145/3689491.3689975}, year = {2024}, } Publisher's Version Article: splashcomp24src-p100-p (type: Short Paper) 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)

@InProceedings{SPLASH24p62, author = {Heng Zhong and Anrui Liu}, title = {Meerkat: Distributed Reactive Live Semantics with Causal Consistency}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {62-61}, doi = {10.1145/3689491.3691822}, year = {2024}, } Publisher's Version Article: splashcomp24posters-p26-p (type: Short Paper) doi:10.1145/3689491.3691822

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

@InProceedings{SPLASH24p66, author = {Jeff Smits and Daniel A. A. Pelsmaeker}, title = {Ordering Rejectable Stacks in SGLR Parsing}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {66-65}, doi = {10.1145/3689491.3691823}, year = {2024}, } Publisher's Version Article: splashcomp24posters-p33-p (type: Short Paper) doi:10.1145/3689491.3691823

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

@InProceedings{SPLASH24p70, author = {André Pacak and Prashant Kumar and Runqing Xu and Sebastian Erdweg}, title = {AUTOINC: Incrementality for Free}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {70-69}, doi = {10.1145/3689491.3691824}, year = {2024}, } Publisher's Version Article: splashcomp24posters-p45-p (type: Short Paper) doi:10.1145/3689491.3691824

proc time: 0.07