Welcome to the Special Late Breaking Track on Programming with AI
Abstract
The narrative of AI ‘changing everything’ seems inescapable at the moment, with [ironically] programming being one of the first disciplines caught up in the storm. In order to understand the effects of a moment like this, it’s helpful to step away from the rhetoric of exceptionalism and look back at previous examples of such changes - 40 years ago Bainbridge [1] characterised some ‘ironies of automation’, ways in which automation wasn’t playing out as it was ‘supposed to’. Some of these ironies seem very present today in the supposed ‘unprecedented’ concern of modern AI - such as the responsibility for users to be ever vigilant of mistakes, or designers building tools that only solve the easy problems and leaving all the complicated tasks to the user. We propose to hold a special track at
Because of the rapidly evolving nature of the field we will accept submissions anytime up to the end of Feb. We’ll do a first review round at the start of Feb, and from then on make decisions as work arrives. (There is a fixed number of slots available, earlier submitted work is more likely to be accepted than later work).
In case of need, here are some topics that might help to get you started:
- creating programs with AI
- experience of programming with AI
- exploratory programming with AI
- live programming with AI
- program understanding with AI
- psychology of programming with AI
- user studies on programming with AI
- theories about all that
Correctness, performance, standard tools, foundations, and text-as-program are important traditional research areas, but the focus of this special track is on programming with AI. We welcome a wide spectrum of contributions on programming with AI.
Submissions
Submissions including critical perspectives and essays are solicited for the
All artifacts are to be submitted via EasyChair. Papers and essays must be written in English, provided as PDF documents, and strictly adhere to the ACM Format. If you are using LaTeX, please follow the ACM Conference ‘acmart’ Format (v1.77 or newer) with the ‘sigconf’ option and the BibTeX ACM Reference Format (‘\documentclass[sigconf,screen]{acmart}’). Please include page numbers in your submission for review using the LaTeX command ‘\settopmatter{printfolios=true}’ (see examples in the template). If you are formatting your paper using Word, please use the proper template from the ACM Format site and select the ‘sigconf’ style there. Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible. There is no page limit on submitted papers and essays. It is, however, the responsibility of the authors to keep the reviewers interested and motivated to read the paper. Reviewers are under no obligation to read all or even a substantial portion of a paper or essay if they do not find the initial part of it interesting.
Publication
Authors of accepted contributions will be invited to present their work at the special track. Remote participation will be ensured.
Academic papers and essays accepted for publication will appear in the ACM Digital Library (ACM DL) as part of the ‹Programming› 2024 Conference Companion.
[1] Bainbridge, L. (1983). Ironies of automation. In Analysis, design and evaluation of man–machine systems (pp. 129-135). Pergamon. https://doi.org/10.1016/B978-0-08-029348-6.50026-9
Accepted Papers
Title | |
---|---|
Dear developers, what do you mean by photography?PAI Keynote Programming with AI | |
Demo of the CodeScene Software Engineering Intelligence Platform: Informed DecisionMaking and LLM-based Refactoring Programming with AI Pre-print | |
Extrapolating a programmer career - from Vim to LLM and beyond Programming with AI | |
Faster Feedback with AI? -- A Test Prioritization Study Programming with AI | |
Industry Panel Programming with AI | |
Ironies of Programming Automation: Exploring the Experience of Code Synthesis Via Large Language Models Programming with AI | |
Magic Markup: Maintaining Document-External Markup with an LLM Programming with AI |
Mon 11 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
18:00 - 21:00 | |||
18:00 3h | Exhibition: Mundania Chamber Arts Link to publication |
Tue 12 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:30 - 10:00 | |||
09:30 30mCoffee break | Coffee & Fika Catering |
10:00 - 12:00 | |||
10:00 60mKeynote | Dear developers, what do you mean by photography?PAI Keynote Programming with AI | ||
11:00 30mPaper | 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 30mPaper | 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 |
12:00 - 13:00 | |||
12:00 60mLunch | Lunch Catering |
13:00 - 13:15 | |||
13:00 15mDemonstration | Demo of the CodeScene Software Engineering Intelligence Platform: Informed DecisionMaking and LLM-based Refactoring Programming with AI Pre-print |
13:15 - 15:00 | |||
13:15 30mPaper | Faster Feedback with AI? -- A Test Prioritization Study Programming with AI Toni Mattis University of Potsdam; Hasso Plattner Institute, Lukas Böhme Hasso Plattner Institute, University of Potsdam, Potsdam, Germany, Eva Krebs Hasso Plattner Institute (HPI), University of Potsdam, Germany, Martin C. Rinard Massachusetts Institute of Technology, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute | ||
13:45 30mTalk | Extrapolating a programmer career - from Vim to LLM and beyond Programming with AI Andreas Bexell Ericsson | ||
14:15 45mPanel | Industry Panel Programming with AI |
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee & Fika Catering |
15:15 - 16:00 | |||
15:15 22m | Exhibition: Mundania Chamber Arts Link to publication |
16:30 - 18:30 | |||
16:30 2hOther | Practical Arts Programming Workshop Arts Luke Church University of Cambridge | Lund University | Lark Systems |
19:30 - 20:30 | |||
19:30 60mTalk | KhipuKoding by Paola Torres Nunez del PradoArts KeynotePerformance Arts Paola Torres Núñez del Prado Stockholm University of the Arts |
Wed 13 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
17:15 - 18:15 | Session IIIArts at M:Teknodromen Chair(s): Joana Chicau University of the Arts London, Luke Church University of Cambridge | Lund University | Lark Systems Presentations of artworks by:
There will be a time slot available for lightning talks, feel free to show up and plug-in! | ||