default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSPLASH Companion 2024: Pasadena, CA, USA
- Manu Sridharan:
Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2024, Pasadena, CA, USA, October 20-25, 2024. ACM 2024, ISBN 979-8-4007-1214-2 - Todd D. Millstein:
Everything Is a Program (Even If It's Not) (Keynote). 1 - Richard P. Gabriel:
AI: Winter of Our Discontent (Keynote). 2 - Neha Rungta:
Trillions of Formally Verified Authorizations a Day! (Keynote). 3 - Noam Zilberstein
:
Unified Analysis Techniques for Programs with Outcomes. 4-6 - Joseph Raskind:
A VM-Based Approach for Power Modeling. 7-9 - Yuxin Qiu:
Full-Stack Collaboration for Robust Heterogeneity-Enabled AI Systems. 10-12 - David Schwartz:
JMVX: Improving Record-Replay for Managed Languages. 13-15 - Vincent Beardsley:
Static-Dynamic Information Flow Control in Rust. 16-18 - Chi Zhang:
Step-wise Execution of Data-Centric Systems. 19-21 - Youwei Zhong:
A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual Machines. 22-24 - Maya Mückenschnabel:
Algebraic Effect Handlers with Bidirectional Type-Checking. 25-27 - Ken Jin Ooi:
Automatically Generating an Abstract Interpretation-Based Optimizer from a DSL. 28-30 - Leyi Cui:
A Formal Approach to the Analysis of Human-Machine Interaction with Fuzzy Logic. 31-33 - Elias Rojas Collins:
Automatic Local Inverse Calculation for Change of Variables. 34-36 - Zheyuan Wu, Haoyi Zeng, Aaron Bies:
Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities. 37-39 - Craig Liu:
Design of Fractional Permissions for a Gradual Verifier. 40-42 - Tijana Minic, Andrés M. Garced:
Grammar Derivation Visualization in Automata Theory. 43-45 - Samuel Larsen, Kevin Johanson, Yuandong Cyrus Liu:
VESC: Towards Temporal Verification of Smart Contracts. 46-48 - Joel Enrique Castro Hernandez, Olohi Goodness John:
Understanding Program Visualizations in the Wild. 49-51 - Heng Zhong, Anrui Liu:
Meerkat: Distributed Reactive Live Semantics with Causal Consistency. 52-53 - Jeff Smits, Daniël A. A. Pelsmaeker:
Ordering Rejectable Stacks in SGLR Parsing. 54-56 - André Pacak, Prashant Kumar, Runqing Xu, Sebastian Erdweg:
AUTOINC: Incrementality for Free. 57-59
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-24 02:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
