M:Teknodromen - ‹Programming› 2024

VenueLund University

Room nameM:Teknodromen

Floor0

Room Information

The Teknodrome in the M-Building of the LTH at Lund university will serve as location for the majority of events

Program

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

18:00 - 21:00	ExhibitionArts at M:Teknodromen

18:00 3h		Exhibition: Mundania Chamber Arts Robert Willim Link to publication

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:00 - 13:15	DemoProgramming with AI at M:Teknodromen

13:00 15m Demonstration		Demo of the CodeScene Software Engineering Intelligence Platform: Informed DecisionMaking and LLM-based Refactoring Programming with AI Markus Borg CodeScene, Adam Tornhill Empear AB, Pär Flygare CodeScene, Kalle Norrestam CodeScene Pre-print

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 Andreas Bexell Ericsson
14:15 45m Panel		Industry Panel Programming with AI Markus Borg CodeScene, Gustaf Lundh Axis Communications, Mikael Lindberg Saab Kockums

15:15 - 16:00	PAI/ArtsArts at M:Teknodromen

15:15 22m		Exhibition: Mundania Chamber Arts Robert Willim Link to publication

16:30 - 18:30	PAI/ArtsArts at M:Teknodromen

16:30 2h Other		Practical Arts Programming Workshop Arts Luke Church University of Cambridge \| Lund University \| Lark Systems

19:30 - 20:30	Arts KeynoteArts at M:Teknodromen

19:30 60m Talk		KhipuKoding by Paola Torres Nunez del PradoArts KeynotePerformance 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 at M:Teknodromen

09:00 15m Other		Conference Opening

09:15 - 10:15	KeynoteKeynotes at M:Teknodromen

09:15 60m Keynote		Programming algorithmic art‹Programming› Keynote Keynotes K: Benoit Baudry Université de Montréal

10:45 - 12:15	Research Papers 1Research 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 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 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 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 2Research Papers at M:Teknodromen Chair(s): Marcel Taeumel University of Potsdam; Hasso Plattner Institute

13:15 30m Talk		Reactive Programming without FunctionsVol. 8 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 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 Research Papers Lovro Lugović University of Southern Denmark, Fabrizio Montesi University of Southern Denmark Link to publication DOI

15:15 - 16:45	Research Papers 3Research Papers at M:Teknodromen Chair(s): Tijs van der Storm CWI & University of Groningen

15:15 30m Talk		Coqlex: Generating Formally Verified LexersVol. 8 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 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 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 at M:Teknodromen

16:45 15m Awards		Awards and Announcements

	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: 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

09:00 - 10:00	KeynoteKeynotes at M:Teknodromen

09:00 60m Keynote		Recent Evolution of Dart — a pragmatic story.‹Programming› Keynote Keynotes K: Erik Ernst Google Inc.

10:30 - 12:00	Research Papers 4Research 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 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 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 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 5Research Papers at M:Teknodromen Chair(s): Shigeru Chiba The University of Tokyo

13:30 30m Talk		Conceptual Mutation Testing for Student Programming MisconceptionsVol. 8 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 Research Papers Beatrice Åkerblom Stockholm University, Elias Castegren Uppsala University Link to publication DOI

15:00 - 16:30	Research Paper 6Research Papers at M:Teknodromen Chair(s): Stefan Marr University of Kent

15:00 30m Talk		LiveRec: Prototyping Probes by Framing Debug ProtocolsVol. 8 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 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 Research Papers Marina Shimchenko Uppsala University, Tobias Wrigstad Uppsala University, Erik Österlund Oracle Link to publication DOI

16:30 - 16:45	Conference Closing at M:Teknodromen

16:30 15m Other		Conference Closing

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


Room	18:00						30						19:00						30						20:00						30
M:Teknodromen	Arts Exhibition

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30
M:Teknodromen	Programming with AI PAI Keynote and Presentations																																				Programming with AI Demo			Programming with AI Presentations and Panel																								Arts PAI/Arts															Arts PAI/Arts																																				Arts Arts Keynote

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30
M:Teknodromen	Conference Opening			Keynotes Keynote																		Research Papers Research Papers 1																														Research Papers Research Papers 2																								Research Papers Research Papers 3																		Awards and Announcements						Arts Session III

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
M:Teknodromen	Keynotes Keynote																		Research Papers Research Papers 4																																				Research Papers Research Papers 5																		Research Papers Research Paper 6																		Conference Closing

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


Room	18:00			15			30			45			19:00			15			30			45			20:00			15			30			45
M:Teknodromen	‹Programming› Arts Exhibition: Mundania Chamber 18:00 - 21:00

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45
M:Teknodromen	Programming with AIPAI Keynote Dear developers, what do you mean by photography? 10:00 - 11:00												Programming with AI Magic Markup: Maintaining Document-External Markup with an LLM 11:00 - 11:30						Programming with AI Ironies of Programming Automation: Exploring the Experience of Code Syn ... 11:30 - 12:00																		Programming with AI Demo of the CodeScene Software Engineering Intelligence Platform: Infor ... 13:00 - 13:15			Programming with AI Faster Feedback with AI? -- A Test Prioritization Study 13:15 - 13:45						Programming with AI Extrapolating a programmer career - from Vim to LLM and beyond 13:45 - 14:15						Programming with AI Industry Panel 14:15 - 15:00												‹Programming› Arts Exhibition: Mundania Chamber 15:15 - 15:37															‹Programming› Arts Practical Arts Programming Workshop 16:30 - 18:30																																				‹Programming› ArtsArts KeynotePerformance KhipuKoding by Paola Torres Nunez del Prado 19:30 - 20:30

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
M:Teknodromen	‹Programming› Conference Opening 09:00 - 09:15			‹Programming› Keynotes‹Programming› Keynote Programming algorithmic art 09:15 - 10:15																		‹Programming› Research PapersVol. 8 Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs 10:45 - 11:15						‹Programming› Research PapersVol. 8 The Design Principles of the Elixir Type System 11:15 - 11:45						‹Programming› Research PapersVol. 7 Little Tricky Logic: Misconceptions in the Understanding of LTL 11:45 - 12:15																		‹Programming› Research PapersVol. 8 Reactive Programming without Functions 13:15 - 13:45						‹Programming› Research PapersVol. 8 Provably Fair Cooperative Scheduling 13:45 - 14:15						‹Programming› Research PapersVol. 8 Real-World Choreographic Programming: Full-Duplex Asynchrony and Intero ... 14:15 - 14:45												‹Programming› Research PapersVol. 8 Coqlex: Generating Formally Verified Lexers 15:15 - 15:45						‹Programming› Research PapersVol. 8 McMini: A Programmable DPOR-based Model Checker for Multithreaded Programs 15:45 - 16:15						‹Programming› Research PapersVol. 8 Privacy-Respecting Type Error Telemetry at Scale 16:15 - 16:45						‹Programming› Awards and Announcements 16:45 - 17:00

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
M:Teknodromen	‹Programming› Keynotes‹Programming› Keynote Recent Evolution of Dart — a pragmatic story. 09:00 - 10:00																		‹Programming› Research PapersVol. 8 Broadening the View of Live Programmers: Integrating a Cross-cutting Pe ... 10:30 - 11:00						‹Programming› Research PapersVol. 8 A VM-agnostic and backwards compatible protected modifier for dynamical ... 11:00 - 11:30						‹Programming› Research PapersVol. 8 Live Objects All The Way Down: Removing the Barriers between Applicatio ... 11:30 - 12:00																								‹Programming› Research PapersVol. 8 Conceptual Mutation Testing for Student Programming Misconceptions 13:30 - 14:00						‹Programming› Research PapersVol. 8 Arrays in Practice, An Empirical Study of Array Access Patterns on the JVM 14:00 - 14:30												‹Programming› Research PapersVol. 8 LiveRec: Prototyping Probes by Framing Debug Protocols 15:00 - 15:30						‹Programming› Research PapersVol. 8 Collective Allocator Abstraction to Control Object Spatial Locality in C++ 15:30 - 16:00						‹Programming› Research PapersVol. 8 Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multi ... 16:00 - 16:30						‹Programming› Conference Closing 16:30 - 16:45

Room information: M:Teknodromen

The Teknodrome in the M-Building of the LTH at Lund university will serve as location for the majority of events

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

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

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

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

Arts

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

Programming with AI

Programming with AI

Programming with AI

Arts

Arts

Arts

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

Keynotes

Research Papers

Research Papers

Research Papers

Arts

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

Keynotes

Research Papers

Research Papers

Research Papers

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

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

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

Tracks

Workshops

Tutorials

Room information: M:Teknodromen

The Teknodrome in the M-Building of the LTH at Lund university will serve as location for the majority of events

Program Display Configuration

Mon 11 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 12 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 13 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 14 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 11 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Arts

Tue 12 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Programming with AI

Programming with AI

Programming with AI

Arts

Arts

Arts

Wed 13 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Keynotes

Research Papers

Research Papers

Research Papers

Arts

Thu 14 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Keynotes

Research Papers

Research Papers

Research Papers

Mon 11 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 12 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 13 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 14 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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

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

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

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

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

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