‹Programming› 2024
Mon 11 - Fri 15 March 2024 Lund, Sweden
‹Programming› 2024 (series) / Lund University /

Room information: M:G

VenueLund University
Room nameM:G
Room InformationNo extra information available
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

09:00 - 10:00
Session IPX/24 at M:G
09:00
30m
Talk
Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
PX/24
Lo Heander Lund University, Emma Söderberg Lund University, Christofer Rydenfält Lund University
09:30
30m
Talk
Implementing Babylonian/G by Putting Examples into Game Contexts
PX/24
Eva Krebs Hasso Plattner Institute (HPI), University of Potsdam, Germany, Toni Mattis University of Potsdam; Hasso Plattner Institute, Marius Dörbandt Hasso Plattner Institute, University of Potsdam, Oliver Schulz Hasso Plattner Institute, University of Potsdam, Martin C. Rinard Massachusetts Institute of Technology, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute
10:30 - 12:00
Session IIPX/24 at M:G
10:30
30m
Talk
In-line Compositional Visual Programming
PX/24
Michael Homer Victoria University of Wellington
11:00
30m
Talk
Programming with Screen State Transitions for Smartphones
PX/24
Jin Ishikawa Oita University, Tetsuo Kamina Oita University
11:30
30m
Talk
Unanticipated Progress Indication: Continuous Responsiveness for Courageous Exploration
PX/24
Marcel Taeumel University of Potsdam; Hasso Plattner Institute, Jens Lincke University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute
13:00 - 14:30
Session IIIPX/24 at M:G
13:00
30m
Talk
Name Trees: Uniform and Extensible Interactions Between Languages and Language Extensions
PX/24
Filip Strömbäck Linköping University
13:30
30m
Talk
Multi-threaded OpenSmalltalk VM: Choosing a Strategy for Parallelization
PX/24
Leon Matthes Hasso Plattner Institute, University of Potsdam, Marcel Taeumel University of Potsdam; Hasso Plattner Institute, Eliot Miranda Cadence Design Systems, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute
14:00
30m
Talk
Autocorrection in Projectional Editors
PX/24
André L. Santos University Institute of Lisbon, Portugal, Ângelo Mendonça ISCTE-IUL
15:00 - 17:00
Session IVPX/24 at M:G
15:00
30m
Talk
Examples out of Thin Air: AI-generated Dynamic Context to Assist Program Comprehension by Example
PX/24
Toni Mattis University of Potsdam; Hasso Plattner Institute, 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
15:30
30m
Talk
Developers' Perspective on Today's and Tomorrow's Programming Tool Assistance: A Survey
PX/24
Peng Kuang Lund University, Sweden & WASP, Emma Söderberg Lund University, Martin Höst Lund University

Tue 12 Mar

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

08:30 - 09:30
OwnershipVIMPL at M:G
Chair(s): Dimi Racordon EPFL, LAMP
08:30
60m
Keynote
Verona: Ownership, Value Independence, Memory Management, and the Future of MutationVIMPL
VIMPL
Ellen Arvidsson Uppsala University
10:00 - 12:00
Safety and CorrectnessMoreVMs / VIMPL at M:G
Chair(s): Dimi Racordon EPFL, LAMP
10:00
60m
Keynote
Lightweight Affine Types for Safe Concurrency in ScalaVIMPL
VIMPL
K: Philipp Haller KTH Royal Institute of Technology
Link to publication
11:00
30m
Paper
A Formal Foundation of Reach CapabilitiesVIMPL
VIMPL
Yichen Xu EPFL, Martin Odersky EPFL
11:30
30m
Talk
Tinyrossa: a compiler framework for vertical, verified construction of Smalltalk VMs
MoreVMs
Jan Vraný LabWare, Boris Shingarov LabWare
13:00 - 15:00
VM DesignMoreVMs at M:G
Chair(s): Stefan Marr University of Kent
13:00
60m
Talk
Virtual Machines: should we keep doing them?MoreVMs Invited Talk
MoreVMs
Javier Pimás Universidad de Buenos Aires
14:00
30m
Talk
BoaSpect: An Expressive Instrumentation Platform for JavaScript
MoreVMs
Aäron Munsters Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel
14:30
30m
Talk
A Virtual Machine for Higher-Order Reactors
MoreVMs
Bjarno Oeyen Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
15:30 - 16:30
Managed RustMoreVMs at M:G
Chair(s): Maria Xekalaki University of Manchester, UK
15:30
60m
Talk
Retro-fitting Garbage Collection into RustMoreVMs Invited Talk
MoreVMs
Jacob Hughes King's College London

Mon 11 Mar

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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
M:G

PX/24

Session I

PX/24

Session II

PX/24

Session III

PX/24

Session IV

Tue 12 Mar

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
M:G

VIMPL

Ownership

MoreVMs + VIMPL

Safety and Correctness

MoreVMs

VM Design

MoreVMs

Managed Rust

Mon 11 Mar

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
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

Tue 12 Mar

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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