‹Programming› 2024
Mon 11 - Fri 15 March 2024 Lund, Sweden
Tue 12 Mar 2024 11:00 - 11:30 at M:Teknodromen - PAI Keynote and Presentations

Text documents, including programs, typically have human-readable semantic structure. Historically, programmatic access to these semantics has required explicit in-document tagging. Especially in systems where the text has an execution semantics, this means it is an opt-in feature that is hard to support properly. Today, language models offer a new method: metadata can be bound to entities in changing text using a model’s human-like understanding of semantics, with no requirements on the document structure. This method expands the applications of document annotation, a fundamental operation in program writing, debugging, maintenance, and presentation. We contribute a system that employs an intelligent agent to re-tag modified programs, enabling rich annotations to automatically follow code as it evolves. We also contribute a formal problem definition, an empirical synthetic benchmark suite, and our benchmark generator. Our system achieves an accuracy of 90% on our benchmarks and can replace a document’s tags in parallel at a rate of 5 seconds per tag. While there remains significant room for improvement, we find performance reliable enough to justify further exploration of applications.

Tue 12 Mar

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 12:00
PAI Keynote and PresentationsProgramming with AI at M:Teknodromen
10:00
60m
Keynote
Dear developers, what do you mean by photography?PAI Keynote
Programming with AI
K: Nicolas Malevé Aarhus University
11:00
30m
Paper
Magic Markup: Maintaining Document-External Markup with an LLM
Programming with AI
Edward Misback University of Washington, USA, Zachary Tatlock University of Washington, Steven Tanimoto University of Washington, Seattle
11:30
30m
Paper
Ironies of Programming Automation: Exploring the Experience of Code Synthesis Via Large Language Models
Programming with AI
Alan McCabe Lund University, Moa Björkman , Joel Engström , Peng Kuang Lund University, Sweden & WASP, Emma Söderberg Lund University, Luke Church University of Cambridge | Lund University | Lark Systems