Abstract is missing.
- Everything Is a Program (Even If It's Not) (Keynote)Todd D. Millstein. 1 [doi]
- AI: Winter of Our Discontent (Keynote)Richard P. Gabriel. 2 [doi]
- Trillions of Formally Verified Authorizations a Day! (Keynote)Neha Rungta. 3 [doi]
- Unified Analysis Techniques for Programs with OutcomesNoam Zilberstein. 4-6 [doi]
- A VM-Based Approach for Power ModelingJoseph Raskind. 7-9 [doi]
- Full-Stack Collaboration for Robust Heterogeneity-Enabled AI SystemsYuxin Qiu. 10-12 [doi]
- JMVX: Improving Record-Replay for Managed LanguagesDavid Schwartz. 13-15 [doi]
- Static-Dynamic Information Flow Control in RustVincent Beardsley. 16-18 [doi]
- Step-wise Execution of Data-Centric SystemsChi Zhang 0073. 19-21 [doi]
- A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual MachinesYouwei Zhong. 22-24 [doi]
- Algebraic Effect Handlers with Bidirectional Type-CheckingMaya Mückenschnabel. 25-27 [doi]
- Automatically Generating an Abstract Interpretation-Based Optimizer from a DSLKen Jin Ooi. 28-30 [doi]
- A Formal Approach to the Analysis of Human-Machine Interaction with Fuzzy LogicLeyi Cui. 31-33 [doi]
- Automatic Local Inverse Calculation for Change of VariablesElias Rojas Collins. 34-36 [doi]
- Kawa: An Abstract Language for Scalable and Variable Detection of Spectre VulnerabilitiesZheyuan Wu, Haoyi Zeng, Aaron Bies. 37-39 [doi]
- Design of Fractional Permissions for a Gradual VerifierCraig Liu. 40-42 [doi]
- Grammar Derivation Visualization in Automata TheoryTijana Minic, Andrés M. Garced. 43-45 [doi]
- VESC: Towards Temporal Verification of Smart ContractsSamuel Larsen, Kevin Johanson, Yuandong Cyrus Liu. 46-48 [doi]
- Understanding Program Visualizations in the WildJoel Enrique Castro Hernandez, Olohi Goodness John. 49-51 [doi]
- Meerkat: Distributed Reactive Live Semantics with Causal ConsistencyHeng Zhong, Anrui Liu. 52-53 [doi]
- Ordering Rejectable Stacks in SGLR ParsingJeff Smits, Daniël A. A. Pelsmaeker. 54-56 [doi]
- AUTOINC: Incrementality for FreeAndré Pacak, Prashant Kumar, Runqing Xu, Sebastian Erdweg. 57-59 [doi]