ECOOP 2026
Mon 29 June - Fri 3 July 2026 Brussels, Belgium
Mon 29 Jun 2026 11:50 - 12:10 at I.1.04 - Session 2

WebAssembly (Wasm) VMs are increasingly used on microcontroller units (MCUs), enabling multiple programming languages to run on resource-constrained devices. However, debugging and testing MCU applications remains challenging, particularly due to concurrency bugs caused by interrupts and message interleavings. Existing tools are often limited to native C/C++ programs, operate only at the bytecode level, or are too slow for practical debugging or testing.

In this demo, we present Wasmito, a framework for building lightweight dynamic tools for Wasm applications running on the WARDuino MCU VM. Wasmito allows developers to register callbacks for runtime events such as function calls, interrupts, and memory accesses, while executing analysis logic on a desktop machine. We demonstrate Wasmito with two tools: a record-and-replay debugger and an automated detector for interrupt-related concurrency bugs.

Mon 29 Jun

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

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
Pre-print File Attached
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