Program - ‹Programming› 2024

All Events Program Timeline Detailed Timeline Detailed 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


Room	8:00	15	30	45	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	17:00	15	30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45
M-building Lobby										‹Programming› Catering Coffee & Fika 10:00 - 10:30								‹Programming› Catering Lunch 12:00 - 13:00												‹Programming› Catering Coffee & Fika 14:30 - 15:00														‹Programming› Social Events Reception 18:00 - 20:00
M-building Poster Wall																								‹Programming› Posters and Demos Towards a DevOps Modeling based on Context-Oriented Programming 18:00 - 20:00 Demo of the CodeScene Software Engineering Intelligence Platform: Infor ... 18:00 - 20:00 Containers for GUIs 18:00 - 20:00 The Next-Gen Interactive Runtime Simulator for Neural Network Programming 18:00 - 20:00
M-building Registration Area			‹Programming› Registration 08:30 - 17:00
M:G					PX/24 Design of Flexible Code Block Comparisons to Improve Code Review of Ref ... 09:00 - 09:30			PX/24 Implementing Babylonian/G by Putting Examples into Game Contexts 09:30 - 10:00				PX/24 In-line Compositional Visual Programming 10:30 - 11:00		PX/24 Programming with Screen State Transitions for Smartphones 11:00 - 11:30		PX/24 Unanticipated Progress Indication: Continuous Responsiveness for Courag ... 11:30 - 12:00						PX/24 Name Trees: Uniform and Extensible Interactions Between Languages and L ... 13:00 - 13:30			PX/24 Multi-threaded OpenSmalltalk VM: Choosing a Strategy for Parallelization 13:30 - 14:00		PX/24 Autocorrection in Projectional Editors 14:00 - 14:30					PX/24 Examples out of Thin Air: AI-generated Dynamic Context to Assist Progra ... 15:00 - 15:30		PX/24 Developers' Perspective on Today's and Tomorrow's Programming Tool Assi ... 15:30 - 16:00
M:H					QP Opening 09:00 - 09:05	QPQP Keynote Property-Based Testing and Debugging of Quantum Programs 09:05 - 10:00						QPLightning Talk Lossy Effect Transformers: Reasoning about Quantum Security Loss with R ... 10:30 - 11:00		QPFull Paper Model-based Framework for Continuous Adaptation and Evolution of Quantu ... 11:00 - 11:30		QPFull Paper A Constraint Programming Approach for QUBO solving and Quantum Annealing 11:30 - 12:00						QPLightning Talk Shifting Quantum Circuits Languages Abstraction Level with Composable Q ... 13:00 - 13:30			QP Open discussion 13:30 - 14:20				QP Closing 14:20 - 14:30
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	8:00	15	30	45	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	17:00	15	30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45
M-building Lobby							‹Programming› Catering Coffee & Fika 09:30 - 10:00										‹Programming› Catering Lunch 12:00 - 13:00												‹Programming› Catering Coffee & Fika 15:00 - 15:30														‹Programming› Social Events Pizza Social 18:30 - 19:30
M-building Poster Wall							‹Programming› Posters and Demos Towards a DevOps Modeling based on Context-Oriented Programming 09:30 - 10:00 Containers for GUIs 09:30 - 10:00 The Next-Gen Interactive Runtime Simulator for Neural Network Programming 09:30 - 10:00 Demo of the CodeScene Software Engineering Intelligence Platform: Infor ... 09:30 - 10:00																						‹Programming› Posters and Demos The Next-Gen Interactive Runtime Simulator for Neural Network Programming 15:00 - 15:30 Demo of the CodeScene Software Engineering Intelligence Platform: Infor ... 15:00 - 15:30 Containers for GUIs 15:00 - 15:30 Towards a DevOps Modeling based on Context-Oriented Programming 15:00 - 15:30
M-building Registration Area			‹Programming› Registration 08:30 - 17:00
M:G			VIMPLVIMPL Verona: Ownership, Value Independence, Memory Management, and the Futur ... 08:30 - 09:30						VIMPLVIMPL Lightweight Affine Types for Safe Concurrency in Scala 10:00 - 11:00				VIMPLVIMPL A Formal Foundation of Reach Capabilities 11:00 - 11:30		MoreVMs Tinyrossa: a compiler framework for vertical, verified construction of ... 11:30 - 12:00						MoreVMsMoreVMs Invited Talk Virtual Machines: should we keep doing them? 13:00 - 14:00				MoreVMs BoaSpect: An Expressive Instrumentation Platform for JavaScript 14:00 - 14:30		MoreVMs A Virtual Machine for Higher-Order Reactors 14:30 - 15:00				MoreVMsMoreVMs Invited Talk Retro-fitting Garbage Collection into Rust 15:30 - 16:30
M:H									NODY Introduction to Nodysseus 10:00 - 11:00													NODY Group project work time and presentations 13:15 - 15:00													‹Programming› Student Research Competition Enhancing Developer Experience in Software Development through LLM-Assi ... 16:30 - 16:45	‹Programming› Student Research Competition Binary Analysis in Isabelle/HOL 16:45 - 17:00	‹Programming› Student Research Competition DAPPER - Seamless, Tailored Code Review 17:00 - 17:15	‹Programming› Student Research Competition Erla+: Translating Formal Models into Executable Actor-Based Implementa ... 17:15 - 17:30	‹Programming› Student Research Competition Bringing multi-language instrumentation support to WebAssembly 17:30 - 17:45	‹Programming› Student Research Competition Using Static Analysis to Improve the Efficiency of Program Analysis 17:45 - 18:00	‹Programming› Student Research Competition Concolic Multiverse Debugging 18:00 - 18:15	‹Programming› Student Research Competition Set-theoretic Maps with Type Variables 18:15 - 18:30
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	8:00	15	30	45	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	17:00	15	30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45
Grand Hotel Lund Restaurant																							‹Programming› Social Events Banquet 19:00 - 22:00
M-building Lobby										‹Programming› Catering Coffee & Fika 10:15 - 10:45								‹Programming› Catering Lunch 12:15 - 13:15											‹Programming› Catering Coffee & Fika 14:45 - 15:15
M-building Poster Wall										‹Programming› Posters and Demos Towards a DevOps Modeling based on Context-Oriented Programming 10:15 - 10:45 Containers for GUIs 10:15 - 10:45 The Next-Gen Interactive Runtime Simulator for Neural Network Programming 10:15 - 10:45 Demo of the CodeScene Software Engineering Intelligence Platform: Infor ... 10:15 - 10:45																			‹Programming› Posters and Demos The Next-Gen Interactive Runtime Simulator for Neural Network Programming 14:45 - 15:15 Towards a DevOps Modeling based on Context-Oriented Programming 14:45 - 15:15 Containers for GUIs 14:45 - 15:15 Demo of the CodeScene Software Engineering Intelligence Platform: Infor ... 14:45 - 15:15
M-building Registration Area			‹Programming› Registration 08:30 - 17:00
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	8:00	15	30	45	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-building Lobby									‹Programming› Catering Coffee & Fika 10:00 - 10:30								‹Programming› Catering Lunch 12:00 - 13:30										‹Programming› Catering Coffee & Fika 14:30 - 15:00
M-building Poster Wall									‹Programming› Posters and Demos Containers for GUIs 10:00 - 10:30 Demo of the CodeScene Software Engineering Intelligence Platform: Infor ... 10:00 - 10:30 The Next-Gen Interactive Runtime Simulator for Neural Network Programming 10:00 - 10:30 Towards a DevOps Modeling based on Context-Oriented Programming 10:00 - 10:30																		‹Programming› Posters and Demos Demo of the CodeScene Software Engineering Intelligence Platform: Infor ... 14:30 - 15:00 Towards a DevOps Modeling based on Context-Oriented Programming 14:30 - 15:00 Containers for GUIs 14:30 - 15:00 The Next-Gen Interactive Runtime Simulator for Neural Network Programming 14:30 - 15:00
M-building Registration Area			‹Programming› Registration 08:30 - 17:00
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

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

No events planned for this day yet.

‹Programming› 2024 Program

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

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

Tracks

Workshops

Tutorials

‹Programming› 2024 Program

Switch Program View

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

Fri 15 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

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

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