Onward! 2024
2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2024)

Title Page

Article: onward24foreword-fm000-p (type: Frontmatter) doi:

Message from the Chairs

Article: onward24foreword-fm001-p (type: Frontmatter) doi:

Moldable Exceptions
Andrei Chiş, Tudor Gîrba, and Oscar Nierstrasz
(Feenk, Switzerland)

Publisher's Version Article: onward24papers-p5-p (type: Full Paper) doi:10.1145/3689492.3690044

Reclaiming the Unexplored in Hybrid Visual Programming
Michael Homer
(Victoria University of Wellington, New Zealand)

Publisher's Version Article: onward24papers-p11-p (type: Full Paper) doi:10.1145/3689492.3690045

Active DSU: Dynamic Software Updates for Active Functions
Filip Strömbäck and Dániel Varró
(Linköping University, Sweden)

Publisher's Version Article: onward24papers-p12-p (type: Full Paper) doi:10.1145/3689492.3690046

Source-Level Debugging of Compiler-Optimised Code: Ill-Posed, but Not Impossible
Stephen Kell and J. Ryan Stinnett
(King’s College London, United Kingdom)

Publisher's Version Article: onward24papers-p18-p (type: Full Paper) doi:10.1145/3689492.3690047

The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps
João Costa Seco and Jonathan Aldrich
(NOVA-LINCS, Portugal; NOVA School of Science and Technology, Portugal; Carnegie Mellon University, USA)

Publisher's Version Article: onward24papers-p19-p (type: Full Paper) doi:10.1145/3689492.3690048

Talking to Objects in Natural Language: Toward Semantic Tools for Exploratory Programming
Christoph Thiede, Marcel Taeumel, Lukas Böhme, and Robert Hirschfeld
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)

Publisher's Version Article: onward24papers-p21-p (type: Full Paper) doi:10.1145/3689492.3690049

Software Engineering Methods for AI-Driven Deductive Legal Reasoning
Rohan Padhye
(Carnegie Mellon University, USA)

Publisher's Version Article: onward24papers-p22-p (type: Full Paper) doi:10.1145/3689492.3690050

Scimitar: Functional Programs as Optimization Problems
Nate F. F. Bragg, Jeffrey S. Foster, and Philip Zucker
(Tufts University, USA; Draper Laboratory, USA)

Publisher's Version Article: onward24papers-p24-p (type: Full Paper) doi:10.1145/3689492.3690051

Beyond Procedure Calls as Component Glue: Connectors Deserve Metaclass Status
Marcel Weiher, Marcel Taeumel, and Robert Hirschfeld
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)

Publisher's Version Article: onward24papers-p25-p (type: Full Paper) doi:10.1145/3689492.3690052

Abstract Debuggers: Exploring Program Behaviors using Static Analysis Results
Karoliine Holter, Juhan Oskar Hennoste, Patrick Lam, Simmo Saan, and Vesal Vojdani
(University of Tartu, Estonia; University of Waterloo, Canada)

Publisher's Version Article: onward24papers-p26-p (type: Full Paper) doi:10.1145/3689492.3690053

A Programming Language for Data and Configuration!
Mark Marron
(University of Kentucky, USA)

Publisher's Version Article: onward24papers-p30-p (type: Full Paper) doi:10.1145/3689492.3690054

The Linguistics of Programming
Colin S. Gordon
(Drexel University, USA)

Publisher's Version Article: onward24essays-p3-p (type: Full Paper) doi:10.1145/3689492.3689806

Dialogues on Natural Code
Lu Wilson and David H. Ackley
(TodePond, United Kingdom; Living Computation Foundation, USA)

Publisher's Version Article: onward24essays-p4-p (type: Full Paper) doi:10.1145/3689492.3689807

Redressing the Balance: A Yin-Yang Perspective on Information Technology
Konrad Hinsen
(CNRS, France; Synchrotron SOLEIL, France)

Publisher's Version Article: onward24essays-p5-p (type: Full Paper) doi:10.1145/3689492.3689808

A Case for Feminism in Programming Language Design
Felienne Hermans and Ari Schlesinger
(Vrije Universiteit Amsterdam, Netherlands; University of Georgia, USA)

Publisher's Version Article: onward24essays-p6-p (type: Full Paper) doi:10.1145/3689492.3689809

(Programs), Proofs and Refutations (and Tests and Mutants)
Alex Groce
(Northern Arizona University, USA)

Publisher's Version Article: onward24essays-p7-p (type: Full Paper) doi:10.1145/3689492.3689810

A New Cognitive Perspective on Simplicity in System and Product Design
Stefan Lesser
(Unaffiliated, United Kingdom)

Publisher's Version Article: onward24essays-p10-p (type: Full Paper) doi:10.1145/3689492.3689811

Programming Languages for the Future of Design Computation
Robert Aish, Al Fisher, Dominic Orchard, and Jay Torry
(University College London, United Kingdom; Buro Happold, United Kingdom; University of Kent, United Kingdom; University of Cambridge, United Kingdom)

Publisher's Version Article: onward24essays-p12-p (type: Full Paper) doi:10.1145/3689492.3689812

The Hidden Program State Hurts Everyone
Sverrir Thorgeirsson, Oliver Graf, and Zhendong Su
(ETH Zurich, Switzerland)

Publisher's Version Article: onward24essays-p14-p (type: Full Paper) doi:10.1145/3689492.3689813

Use Site Checking Considered Harmful
Dimi Racordon and Benjamin Chung
(EPFL, Switzerland; University of Washington, USA)

Publisher's Version Article: onward24essays-p15-p (type: Full Paper) doi:10.1145/3689492.3689814

Discovering Your Software Umwelt
Rebecca Wirfs-Brock, Allen Wirfs-Brock, and Jordan Wirfs-Brock
(Wirfs-Brock Associates, USA; Whitman College, USA)

Publisher's Version Article: onward24essays-p16-p (type: Full Paper) doi:10.1145/3689492.3689815

tl;dr: Chill, y’all: AI Will Not Devour SE
Eunsuk Kang and Mary Shaw
(Carnegie Mellon University, USA)

Publisher's Version Article: onward24essays-p18-p (type: Full Paper) doi:10.1145/3689492.3689816