SPLASH 2024
2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2024)
Powered by
Conference Publishing Consulting
2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2024)
,
October 20–25, 2024
,
Pasadena, CA, USA
SPLASH 2024 – Preliminary Table of Contents
Contents
-
Abstracts
-
Authors
Frontmatter
Title Page
Welcome from the General Chair
SPLASH 2024 Organization
Sponsors and Supporters
Keynotes
Everything Is a Program (Even If It's Not) (Keynote)
Todd Millstein
(University of California, Los Angeles, USA)
Article Search
AI: Winter of Our Discontent (Keynote)
Richard P. Gabriel
(Independent, USA)
Article Search
Trillions of Formally Verified Authorizations a Day! (Keynote)
Neha Rungta
(AWS, USA)
Article Search
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
(Charles University, 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: 0.03