This program is tentative and subject to change.

Wed 4 Jun 2025 10:30 - 11:00 at S 9 - Testing and Debugging

A gradual type system allows developers to declare certain types to be enforced by the compiler (i.e., statically typed), while leaving other types to be enforced via runtime checks (i.e., dynamically typed). When runtime checks fail, debugging gradually typed programs becomes cumbersome, because these failures may arise far from the original point where an inconsistent type assumption is made. To ease this burden on developers, some gradually typed languages produce a blame report for a given type inconsistency. However, these reports are sometimes misleading, because they might point to program points that do not need to be changed to stop the error.

To overcome the limitations of blame reports, we propose using dynamic program slicing as an alternative approach to help programmers debug run-time type errors. We describe a proof-of-concept for TypeSlicer, a tool that would present dynamic program slices to developers when a runtime check fails. We performed a Wizard-of-Oz user study to investigate how developers respond to dynamic program slices through a set of simulated interactions with TypeScript programs. This formative study shows that developers can understand and apply dynamic slice information to provide change recommendations when debugging runtime type errors.

This program is tentative and subject to change.

Wed 4 Jun

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

10:30 - 12:00
Testing and DebuggingResearch Papers at S 9
10:30
30m
Talk
Dynamic Program Slices Change How Developers Diagnose Gradual Run-time Type Errors
Research Papers
Felipe Bañados Schwerter University of British Columbia, Ronald Garcia University of British Columbia, Reid Holmes University of British Columbia, Karim Ali NYU Abu Dhabi
11:00
30m
Talk
Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
Research Papers
Léo Andrès LMF, OCamlPro, Filipe Marques INESC-ID; Instituto Superior Técnico - University of Lisbon, Arthur Carcano OCamlPro, Pierre Chambart OCamlPRO, José Fragoso Santos INESC-ID; Instituto Superior Técnico - University of Lisbon, Jean-Christophe Filliatre CNRS
11:30
30m
Talk
PolyDebug: a Framework for Polyglot Debugging
Research Papers
Philémon Houdaille DIVERSE Team, IRISA-INRIA, CNRS, Université Rennes 1, Djamel Eddine Khelladi CNRS, IRISA, University of Rennes, Benoit Combemale University of Rennes, Inria, CNRS, IRISA, Gunter Mussbacher McGill University, Tijs van der Storm CWI & University of Groningen