kirancodes.me
To Proof Maintenance & Beyond!
Venues / Onward! /

Onward! 2023

13 papers

  1. Cloning and Beyond: A Quantum Solution to Duplicate Code · Samyak Jhaveri, Alberto Krone-Martins, Cristina V. Lopes
  2. Code Merging using Transformations and Member Identity · André Teles, André Santos
  3. Concept-Centric Software Development: An Experience Report · Peter Wilczynski, Taylor Gregoire-Wright, Daniel Jackson
  4. Could No-Code Be Code? Toward a No-Code Programming Language for Citizen Developers · Assaf Avishahar-Zeira, David H. Lorenz
  5. Scalable Spreadsheet-Driven End-User Applications with Incremental Computation · Sean Hadar, Shachar Itzhaky
  6. Sharing a Perspective on the 𝜆-Calculus · Beniamino Accattoli
  7. Time-Awareness in Object Exploration Tools: Toward In Situ Omniscient Debugging · Christoph Thiede, Marcel Taeumel, Robert Hirschfeld
  8. Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents · Mark Marron
  9. Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning · Mathijs Schuts, Jozef Hooman
  10. Trustworthy Formal Natural Language Specifications · Colin S. Gordon, Sergey Matskevich
  11. Whither Problem-Solving Environments? · Matthew Dinmore
  12. Will Code Remain a Relevant User Interface for End-User Programming with Generative AI Models? · Advait Sarkar
  13. programmingLanguage as Language; · James Noble, Robert Biddle