Programming with AI 2024
Mon 11 - Thu 14 March 2024 Lund, Sweden
co-located with ‹Programming› 2024
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 11 Mar

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

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
13:15 - 15:00
Presentations and PanelProgramming with AI at M:Teknodromen
13:15
30m
Paper
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
30m
Talk
Extrapolating a programmer career - from Vim to LLM and beyond
Programming with AI
14:15
45m
Panel
Industry Panel
Programming with AI
Markus Borg CodeScene, Gustaf Lundh Axis Communications, Mikael Lindberg Saab Kockums
16:30 - 18:30
16:30
2h
Other
Practical Arts Programming Workshop
‹Programming› Arts
Luke Church University of Cambridge | Lund University | Lark Systems
19:30 - 20:30
19:30
60m
Talk
KhipuKoding by Paola Torres Nunez del PradoArts KeynotePerformance
‹Programming› Arts
Paola Torres Núñez del Prado Stockholm University of the Arts

Wed 13 Mar

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

09:00 - 09:15
Conference Opening‹Programming› at M:Teknodromen
09:00
15m
Other
Conference Opening
‹Programming›

09:15 - 10:15
09:15
60m
Keynote
Programming algorithmic art‹Programming› Keynote
‹Programming› Keynotes
K: Benoit Baudry Université de Montréal
10:45 - 12:15
Research Papers 1‹Programming› Research Papers at M:Teknodromen
Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel
10:45
30m
Talk
Let a Thousand Flowers Bloom: An Algebraic Representation for Edge GraphsVol. 8
‹Programming› Research Papers
Jack Liell-Cock University of Oxford, Tom Schrijvers KU Leuven
Link to publication DOI
11:15
30m
Talk
The Design Principles of the Elixir Type SystemVol. 8
‹Programming› Research Papers
Giuseppe Castagna CNRS; Université Paris Cité, Guillaume Duboc , José Valim Dashbit
Link to publication DOI
11:45
30m
Talk
Little Tricky Logic: Misconceptions in the Understanding of LTLVol. 7
‹Programming› Research Papers
Ben Greenman University of Utah, Tim Nelson Brown University, Sam Saarinen Brown University, Shriram Krishnamurthi Brown University
Link to publication DOI
13:15 - 14:45
Research Papers 2‹Programming› Research Papers at M:Teknodromen
Chair(s): Marcel Taeumel University of Potsdam; Hasso Plattner Institute
13:15
30m
Talk
Reactive Programming without FunctionsVol. 8
‹Programming› Research Papers
Bjarno Oeyen Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication DOI
13:45
30m
Talk
Provably Fair Cooperative SchedulingVol. 8
‹Programming› Research Papers
Reiner Hähnle TU Darmstadt, Ludovic Henrio University of Lyon - ENS Lyon - UCBL - CNRS - Inria - LIP
Link to publication DOI
14:15
30m
Talk
Real-World Choreographic Programming: Full-Duplex Asynchrony and InteroperabilityVol. 8
‹Programming› Research Papers
Lovro Lugović University of Southern Denmark, Fabrizio Montesi University of Southern Denmark
Link to publication DOI
15:15 - 16:45
Research Papers 3‹Programming› Research Papers at M:Teknodromen
Chair(s): Tijs van der Storm CWI & University of Groningen
15:15
30m
Talk
Coqlex: Generating Formally Verified LexersVol. 8
‹Programming› Research Papers
Wendlasida Ouedraogo INRIA Saclay, Gabriel Scherer INRIA Saclay, Lutz Strassburger INRIA Saclay
Link to publication DOI
15:45
30m
Talk
McMini: A Programmable DPOR-based Model Checker for Multithreaded ProgramsVol. 8
‹Programming› Research Papers
Maxwell Pirtle Northeastern University, Luka Jovanovic Northeastern University, Gene Cooperman Northeastern University
Link to publication DOI
16:15
30m
Talk
Privacy-Respecting Type Error Telemetry at ScaleVol. 8
‹Programming› Research Papers
Ben Greenman University of Utah, Alan Jeffrey Roblox, Shriram Krishnamurthi Brown University, Mitesh Shah Roblox
Link to publication DOI
16:45 - 17:00
Awards and Announcements‹Programming› at M:Teknodromen
16:45
15m
Awards
Awards and Announcements
‹Programming›

17:15 - 18:15
Session III‹Programming› Arts 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:

  • Freyja van den Boom: a speculative design and arts-based research provokes more inclusive discussions about the present and futures impact of AI in societies to help us develop societies we want;
  • Ulysses Popple a live coding demo of 3D visualizations (three.js) using the browser-based visual programming language Nodysseus;
  • Joana Chicau display of ‘The Stage is (a)Live’ a web-based audio visual installation that stages the interactions between algorithmic dancers in collaboration with computer programmer and musician Renick Bell;
  • Luke Church: a live-coded exploration into the texture of visual emergence at the boundary where the trees become the wood, the grains become the heap, build in a new research project, Candela ;

There will be a time slot available for lightning talks, feel free to show up and plug-in!

Thu 14 Mar

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

10:30 - 12:00
Research Papers 4‹Programming› Research Papers at M:Teknodromen
Chair(s): Guido Salvaneschi University of St. Gallen
10:30
30m
Talk
Broadening the View of Live Programmers: Integrating a Cross-cutting Perspective on Run-time Behavior Into a Live Programming EnvironmentVol. 8
‹Programming› Research Papers
Patrick Rein University of Potsdam; Hasso Plattner Institute, Christian Flach Hasso Plattner Institute, University of Potsdam, Germany, Stefan Ramson Hasso Plattner Institute, Germany, Eva Krebs Hasso Plattner Institute (HPI), University of Potsdam, Germany, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute
Link to publication DOI
11:00
30m
Talk
A VM-agnostic and backwards compatible protected modifier for dynamically-typed languagesVol. 8
‹Programming› Research Papers
Iona Thomas Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 - CRIStAL, Vincent Aranega Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 - CRIStAL, Stéphane Ducasse Inria; University of Lille; CNRS; Centrale Lille; CRIStAL, Guillermo Polito Inria, Cristal, UMR 9189, Université de Lille, Pablo Tesone Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium
Link to publication DOI
11:30
30m
Talk
Live Objects All The Way Down: Removing the Barriers between Applications and Virtual MachinesVol. 8
‹Programming› Research Papers
Javier Pimás Universidad de Buenos Aires, Stefan Marr University of Kent, Diego Garbervetsky University of Buenos Aires and CONICET, Argentina
Link to publication DOI
13:30 - 14:30
Research Papers 5‹Programming› Research Papers at M:Teknodromen
Chair(s): Shigeru Chiba The University of Tokyo
13:30
30m
Talk
Conceptual Mutation Testing for Student Programming MisconceptionsVol. 8
‹Programming› Research Papers
Siddhartha Prasad Brown University, Ben Greenman Brown University, USA, Tim Nelson Brown University, Shriram Krishnamurthi Brown University
Link to publication DOI
14:00
30m
Talk
Arrays in Practice, An Empirical Study of Array Access Patterns on the JVMVol. 8
‹Programming› Research Papers
Beatrice Åkerblom Stockholm University, Elias Castegren Uppsala University
Link to publication DOI
15:00 - 16:30
Research Paper 6‹Programming› Research Papers at M:Teknodromen
Chair(s): Stefan Marr University of Kent
15:00
30m
Talk
LiveRec: Prototyping Probes by Framing Debug ProtocolsVol. 8
‹Programming› Research Papers
Jean-Baptiste Döderlein ENS Rennes, Riemer van Rozen CWI, Tijs van der Storm CWI & University of Groningen
Link to publication DOI
15:30
30m
Talk
Collective Allocator Abstraction to Control Object Spatial Locality in C++Vol. 8
‹Programming› Research Papers
Takato Hideshima The University of Tokyo, Japan, Shigeyuki Sato The University of Electro-Communications, Tomoharu Ugawa University of Tokyo
Link to publication DOI
16:00
30m
Talk
Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore ProcessorsVol. 8
‹Programming› Research Papers
Marina Shimchenko Uppsala University, Tobias Wrigstad Uppsala University, Erik Österlund Oracle
Link to publication DOI
16:30 - 16:45
Conference Closing‹Programming› at M:Teknodromen
16:30
15m
Other
Conference Closing
‹Programming›

Mon 11 Mar

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

Tue 12 Mar

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

Mon 11 Mar

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

Room18:0015304519:0015304520:00153045
M:Teknodromen