Table of Contents

1. SPLASH 2023

1.1. Is Wasm Becoming Garbage? (Keynote)   sun

1.2. On the Applicability of Annotation-Based Source Code Modification in Kotlin (Work in Progress)   sun

1.3. Evaluating YJIT’s Performance in a Production Context: A Pragmatic Approach   sun

1.4. Exploratory Study on Multi-User Program Synthesis: A Multi-Wizard Approach

1.5. Beyond Types for Dyadic Interaction   mon

1.6. Generating Domain-Specific Programs for Diagram Authoring with Large Language Models   mon

1.7. Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems   mon

1.8. Thorium: Verifiable, Dynamic, Reactive Software   mon

1.9. Building Trust and Safety in Artificial Intelligence with Abstract Interpretation   mon

1.10. Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking   mon

1.11. Complete First-Order Reasoning for Properties of Functional Programs   mon

1.12. Abstract Interpretation in Industry - Experience and Lessons Learned   mon

1.13. Lifting On-Demand Analysis to Higher-Order Languages   mon

1.14. Behavioural up/down casting for statically typed languages   mon

1.15. GPCE Tutorial - Compile-time generative programming for OCaml: flexible, safe and efficient   mon

1.16. Symbolic transformation of expressions in modular arithmetic   mon

1.17. Octagons Revisited - Elegant Proofs and Simplified Algorithms   mon

1.18. A Brief Introduction to the Flix Programming Language   mon

1.19. PAW: a programmable and visual audio workstation   mon

1.20. CellPond: Spatial programming without escape   mon

1.21. Revisiting Dynamic Dispatch for Modern Architectures   mon

1.22. Session-Based Typechecking for Elixir Modules Using ElixirST   mon

1.23. A Semantic Framework for Automatic Composition of Decentralised Industrial Control Schemes   mon

1.24. A Logical Interpretation of Asynchronous Multiparty Compatibility   mon

1.25. Relational Solver for Java Generics Type System   mon

1.26. A Reusable Machine-Calculus for Automated Resource Analyses   mon

1.27. Actix-Telepathy   mon

1.28. Unfolding State Changes via Live State-First Debugging   mon

1.29. Lude - build video games quickly   mon

1.30. Automatically Generated Supernodes for AST Interpreters Improve Virtual-machine Performance   mon

1.31. Empirical Study of the Docker Smell Impact   tue conflang

1.32. Measuring Configuration in Code

1.33. Yes, Configuring is Good, But Have You Ever Tried Justifying?

1.34. Temporal Breakpoints for Multiverse   sle

1.35. Cross-Level Debugging for Static Analysers   sle

1.36. Cascade: a Meta-Language for Change, Cause and Effect

1.37. Large Language Models for Automated Program Repair

1.38. Predicate Anti-unification in (Constraint) Logic Programming

1.39. Utilizing the LSP to inform and teach users on config languages

1.40. Artificial Languages are Dead. Long Live Artificial Languages!

2. Notes

2.1. Examples

(define (dec1 x) (- x 1))

Author: Jason Walsh

Created: 2023-10-24 Tue 12:28