Abstract is missing.
- Bringing Mixed-Stage Programming to OCaml (Keynote)Jeremy Yallop. 1 [doi]
- Executable Counterfactuals: A Causal Calculus for Concurrent Systems (Keynote)Georgiana Caltais. 2 [doi]
- Comparing Solver Representations for Analyzing Cardinality-Based Feature ModelsFabian Eger, Lukas Güthing, Kevin Feichtinger, Ina Schaefer. 3-14 [doi]
- ATLAS: From Access conTrol Language to ACSL SpecificationsJulien Signoles, Khaoula Boukir, Amine Nasri. 15-26 [doi]
- Less Is More: Measuring How LLM Involvement Affects Chatbot Accuracy in Static AnalysisKrishna Narasimhan. 27-38 [doi]
- TurtleTalk: A DSL for Constraint-Based Turtle Graphics in Programmatic CADJef Jacobs, Wolfgang De Meuter, Jens Nicolay. 39-49 [doi]
- Programmable Record Types in HaskellArthur Jamet, Michael Vollmer 0003. 50-59 [doi]
- Modular Substructural Constraints for Embedded DSLsAnna Herlihy, Amir Shaikhha, Anastasia Ailamaki, Martin Odersky. 60-71 [doi]
- Metis: A Compositional DSL for Board Games and Game Tree SearchThomas Kottenhahn, Prashant Kumar. 72-82 [doi]
- Synthesizing Recursive Functional Programs via Structure-Element SeparationJunyu Lin, Akimasa Morihata. 83-93 [doi]
- Stageleft: Multi-stage Programming in Standard RustShadaj Laddad, Mingwei Samuel, Joseph M. Hellerstein. 94-106 [doi]