| 0 | -- | 0 | Jonathan Edwards, Tomas Petricek 0001, Tijs van der Storm, Geoffrey Litt. Schema Evolution in Interactive Programming Systems |
| 0 | -- | 0 | Léo Andrès, Filipe Marques, Arthur Carcano, Pierre Chambart, José Fragoso Santos, Jean-Christophe Filliâtre. Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly |
| 0 | -- | 0 | Patrick Rein, Stefan Ramson, Tom Beckmann, Robert Hirschfeld. Does Task Complexity Moderate the Benefits of Liveness? A Controlled Experiment |