Onward! 2025

17 papers

1. An Argument for the Practicality of Entity Component Systems as the Primary Data Structure for an Interpreter or Compiler · Joshua Dahl, Frederick C. Harris
2. Carving Text at Its Joints: A New Perspective on Writing and Computers · Kevin Graaf
3. Exploring the Design Space for Runtime Enforcement of Dynamic Capabilities · Andrew Fawcet, James Noble, Michael Homer
4. Foundational Design Principles and Patterns for Building Robust and Adaptive GenAI-Native Systems · Frederik Vandeputte
5. Gauguin, Descartes, Bayes: A Diurnal Golem’s Brain · Kartik Chandra, Amanda Liu, Jonathan Ragan-Kelley, Joshua B. Tenenbaum
6. Let’s Take Esoteric Programming Languages Seriously · Jeremy Singer, Steve Draper
7. Literate Tracing · Matthew Sotoudeh
8. On Collective Control over User Interfaces in the Face of Network Effects · Caleb Malchik, Joan Feigenbaum
9. ScooPy: Enhancing Program Synthesis with Nested Example Specifications · Tomer Katz, Hila Peleg
10. Semantics-Preserving Transformation of Context-Free Grammars into LL(1) Form · Vladyslav Bilyk
11. Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics · Skyler Austen, Shriram Krishnamurthi, Kathi Fisler
12. Synchronous Programming for Kids: A Manifesto · Jean Pichon-Pharabod
13. The Proof Must Go On: Formal Methods in the Theater of Secure Software Development of the Future · Charles Averill
14. The Unix Executable as a Smalltalk Method: And Its Implications for Unix-Smalltalk Unification · Joel Jakubovic
15. TideScript: A Domain Specific Language for Peptide Chemistry · Nicholas Morris, Blair Archibald, S. Hessam M. Mehr
16. What You See Is What It Does: A Structural Pattern for Legible Software · Eagon Meng, Daniel Jackson
17. X-by-Construction: Towards Ensuring Non-functional Properties in by-Construction Engineering · Maximilian Kodetzki, Tabea Bordis, Alex Potanin, Ina Schaefer