VenueVrije Universiteit Brussel
Room nameI.1.04
Floor1
Room numberI.1.04
Room Information

Building I, floor 1, room I.1.04

https://link.mazemap.com/3JdR4uKA

Program

This program is tentative and subject to change.

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

Mon 29 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 10:30
DEBT KeynoteDEBT at I.1.04
09:20
10m
Day opening
Welcome to the DEBT Workshop
DEBT

09:30
60m
Keynote
Keynote: Amazing Bugs and Where to Find Them
DEBT
K: Guillermo Polito Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL
11:00 - 12:30
Session 2DEBT at I.1.04
11:00
30m
Talk
How Developers Perceive Differential Debugging: an Exploratory Survey
DEBT
Rémi Dufloer Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, France, Imen Sayar Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, France, Steven Costiou INRIA Lille, Anne Etien University of Lille, Lille, France
11:30
20m
Talk
On-the-fly Abstract Debugging for Frama-C/Eva
DEBT
Jules Massart Independent Researcher, Michele Alberti Université Paris-Saclay, CEA, List, David Bühler Université Paris-Saclay, CEA, List, Virgile Prevosto Université Paris-Saclay, CEA, List
11:50
20m
Talk
Wasmito: A Lightweight Framework for Building Dynamic Tools on Microcontrollers
DEBT
Carlos Rojas Castillo Vrije Universiteit Brussel, Matteo Marra Nokia Bell Labs, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel
14:00 - 15:30
Session 3DEBT at I.1.04
14:00
30m
Talk
MuLLDB: Multiverse Debugging for Unmanaged Languages
DEBT
Maarten Steevens Ghent University, Belgium, Matthias Vanpoecke Ghent University, Christophe Scholliers Universiteit Gent
14:30
30m
Talk
Multi-Mode Debugging for FRP-Based Embedded Systems
DEBT
Yugo Otani Institute of Science Tokyo, Sosuke Moriguchi Institute of Science Tokyo, Takuo Watanabe Institute of Science Tokyo
15:00
20m
Talk
Towards Guided Omniscient Debugging in Education using Pedagogical Execution Traces (PETs)
DEBT
Pre-print
16:00 - 17:30
Session 4DEBT at I.1.04
16:00
30m
Talk
From Static Code to Dynamic Values: Toward Live Programming Through Object-Oriented Fuzzing
DEBT
Marcel Garus Hasso Plattner Institute; University of Potsdam, Philipp Kolbe Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam
16:30
20m
Talk
A Native Debugger Protocol for Interpreters
DEBT
Andrei Aldea Alexandru Ioan Cuza University, Iași, Dumitru-Bogdan Prelipcean Alexandru Ioan Cuza University, Iași
16:50
10m
Day closing
Closing by the workshop organizers
DEBT
Steven Costiou INRIA Lille, Burcu Kulahcioglu Ozkan Delft University of Technology

Tue 30 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

11:00 - 12:30
Coordination-Free Replication and Local-First Programming ModelsPLF+PLAID at I.1.04
11:00
30m
Talk
Ensuring Convergence and Invariants Without Coordination
PLF+PLAID
Dina Borrego NOVA LINCS, FCT, Universidade NOVA de Lisboa, Nuno Preguica , Elisa Gonzalez Boix Vrije Universiteit Brussel, Carla Ferreira NOVA University Lisbon
11:30
30m
Talk
Replicated Data Types as a Universal Application Substrate
PLF+PLAID
Julian Haas Technische Universität Darmstadt
12:00
30m
Talk
On the Aggregate Programming paradigm for Decentralised and Local-First Software
PLF+PLAID
Ferruccio Damiani University of Turin
14:00 - 15:30
Collaborative Languages and Structured Programming EnvironmentsPLF+PLAID at I.1.04
14:00
30m
Talk
Enforcing Session Protocols at the Network Level Using NEST
PLF+PLAID
Jens Kanstrup Larsen DTU, Alceste Scalas Technical University of Denmark, Guy Amir Hebrew University, Jules Jacobs Cornell University, Jana Wagemaker , Nate Foster EPFL; Jane Street
14:30
30m
Talk
Automatic Generation of Local-First and Collaborative Domain-Specific Modeling Languages
PLF+PLAID
15:00
30m
Talk
Beyond Character Convergence: Structure-Aware Replication for Collaborative Programming
PLF+PLAID
Leon Freudenthaler Hochschule Campus Wien/TU Wien
16:00 - 17:30
Trustworthy Decentralised Applications and InfrastructurePLF+PLAID at I.1.04
16:00
30m
Talk
Decentralizing Infrastructure with a Lightweight Sovereign Cloud
PLF+PLAID
Kristof Jannes DistriNet, KU Leuven
16:30
30m
Talk
Type Safe Smart Contracts in TinySol
PLF+PLAID
Daniele Gorla Department of Computer Science, Sapienza University of Rome
17:00
30m
Talk
Hybrid consistency for smart contracts
PLF+PLAID
Jim Bauwens Vrije Universiteit Brussel, Stoffel Oostvogels , Thomas Vandermotten Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel

Mon 29 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
I.1.04