Onward! 2024
22 papers
- (Programs), Proofs and Refutations (and Tests and Mutants)
- A Case for Feminism in Programming Language Design
- A New Cognitive Perspective on Simplicity in System and Product Design
- A Programming Language for Data and Configuration!
- Abstract Debuggers: Exploring Program Behaviors using Static Analysis Results
- Active DSU: Dynamic Software Updates for Active Functions
- Beyond Procedure Calls as Component Glue: Connectors Deserve Metaclass Status
- Dialogues on Natural Code
- Discovering Your Software Umwelt
- Moldable Exceptions
- Programming Languages for the Future of Design Computation
- Reclaiming the Unexplored in Hybrid Visual Programming
- Redressing the Balance: A Yin-Yang Perspective on Information Technology
- Scimitar: Functional Programs as Optimization Problems
- Software Engineering Methods for AI-Driven Deductive Legal Reasoning
- Source-Level Debugging of Compiler-Optimised Code: Ill-Posed, but Not Impossible
- Talking to Objects in Natural Language: Toward Semantic Tools for Exploratory Programming
- The Hidden Program State Hurts Everyone
- The Linguistics of Programming
- The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps
- Use Site Checking Considered Harmful
- tl;dr: Chill, y’all: AI Will Not Devour SE