Onward! 2023
2023-10-25..2023-10-27
Cascais, Portugal
Onward! ·
[Onward! 2020, Onward! 2021, Onward! 2022, Onward! 2023, Onward! 2024, Onward! 2025]
who it's for
programming language researchers, language designers, developer tools engineers, end-user application developers, software architects, computing educators
topics
Hedy learner-first programming language; localized programming keywords (47 languages); time-aware object inspectors / omniscient debugging; UUID-based member identity for merges; spreadsheet incremental delta updates; no-code general-purpose language and cloud IDE; Bosque semantics compiled to SMT (Z3); natural language specifications embedded in Lean; quantum AST matching on D-Wave; centralized concept glossary for codebases; notebook problem-solving environments and diagrams-as-code
| title | author | length |
|---|---|---|
| Creating a learnable and inclusive programming language | Felienne Hermans | 01h 12m |
Proposal and results for a new learner-first language called Hedy: an open‑source, browser‑based system with a levels approach that gradually transforms simple… | ||
| Time-awareness in Object-exploration Tools: Toward In Situ Omniscient Debugging | Christoph Thiede, Marcel Taeumel, Robert Hirschfeld | 26m |
Claims a practical universal tracing mode that keeps historical execution available by storing only changed values, plus space-time inspector tooling that… | ||
| Code Merging Using Transformations and Member Identity | André R. Teles, André L. Santos | 28m |
A merging technique encodes edits as language-aware transformations and matches class members by UUIDs in source comments, applying additions first then… | ||
| Scalable Spreadsheet-driven End-User Applications with Incremental Computation | Sean Hadar, Shachar Itzhaky | 29m |
Claims a compiler converts a spreadsheet table into a program that ingests a stream of edits and emits delta updates so aggregations (sums, AVG, filters)… | ||
| Could No-Code be Code? -- Toward a No-Code Programming Language for Citizen Dev... | David H. Lorenz, Assaf Zeira | 30m |
Claims a new, strictly typed general-purpose no-code GPL called Two plus a cloud IDE (CDE) that lets users build programs entirely by mouse with flowcharts and… | ||
| Toward Programming Languages for Reasoning -- Humans, Symbolic Systems, and AI ... | Mark Marron | 30m |
Argues that programming should be a substrate for reasoning and presents the Bosque core plus a developer-friendly surface that eliminates loops, enforces… | ||
| Trustworthy Formal Natural Language Specifications | Colin S. Gordon, Sergey Matskevich | 30m |
A prototype embeds an extensible fragment of English inside the Lean proof assistant, using categorial grammars encoded as type class instances to parse… | ||
| Will code remain a relevant user interface for end-user programming with genera... | Advait Sarkar | 43m |
Argues the generative shift hypothesis: generative AI widens what end-user programming can do but does not eliminate code. Cites Copilot-style tools and… | ||
| programmingLanguage as Language; | James Noble, Robert Biddle | 01h 02m |
Argues that programming languages behave like human languages, borrowing noun cases, number, and register (Rust’s borrow/!macro roles as genitive/vocative… | ||
| Cloning And Beyond: A Quantum Solution to Duplicate Code | Samyak Jhaveri, Alberto Krone-Martins, Cristina V. Lopes | 28m |
Maps AST subgraph isomorphism to a quadratic optimization solved on a D‑Wave Advantage quantum annealer, builds a DQM/QUBO formulation with node‑type… | ||
| Concept-Centric Software Development: An Experience Report | Peter Wilczynski, Taylor Gregoire-Wright, Daniel Jackson | 31m |
Palantir restructures development around a centralized concept glossary that records ~300 active users, ties concepts to components across ~2,000 git repos and… | ||
| Whither Problem-Solving Environments? | Matthew Dinmore | 48m |
Argues that Jupyter-style notebooks and IPython give easy access to languages, libraries and visualization but leave gaps: poor problem-domain interaction… | ||
| nothing matches | ||