SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Thu 26 Oct 2023 18:50 - 19:03 at Room II - SPLASH SRC Talk Presentations Chair(s): Xujie Si

Teaching novices to program is an unsolved problem. One part of the problem lies in the fact that industrial languages are used for teaching novices, while they were not made for this purpose. I am designing a Programming Education Runtime System to easily create modular languages for education. This system utilizes object algebras, trampolining and algebraic effects and handlers. It has been used to implement an interpreter for the Hedy programming language. This implementation has several important advantages over the existing one, such as better debugging support and better integration with the Hedy platform.

I am a PhD student in Tom Schrijvers’ group at the KU Leuven and working closely with the research group of Felienne Hermans. I am working on improving programming education by allowing educators to tailor the programming language to the needs of their students and programming education researchers to the needs of their research goals..

Thu 26 Oct

Displayed time zone: Lisbon change

17:30 - 19:30
SPLASH SRC Talk PresentationsStudent Research Competition at Room II
Chair(s): Xujie Si University of Toronto
17:30
13m
Poster
Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking
Student Research Competition
Julia Freeman Francis Marion University, Timothy Zhou University of Illinois Urbana-Champaign
17:43
13m
Poster
Clearing the Trail: Motivations for Maintenance Work in Open Source
Student Research Competition
Katrina Wilson Bucknell University
17:56
13m
Poster
An optimal structure-aware code difference framework with MaxSAT-SolverRemote
Student Research Competition
Haolin Ye McGill University
18:10
13m
Poster
Rose: Extensible Autodiff on the Web
Student Research Competition
Raven Rothkopf Barnard College
18:23
13m
Poster
Partial Gradual Dependent Type Theory
Student Research Competition
Zhan Shi Graduate School of Informatics, Kyoto University
18:36
13m
Poster
Design and implementation of facets of dynamic policies
Student Research Competition
Antonio Zegarelli IMDEA Software Institute
18:50
13m
Poster
Modular educational languages
Student Research Competition
Jesse Hoobergs KU Leuven
19:03
13m
Poster
Synthesizing Recursive Programs Through Dataflow Constraints
Student Research Competition
Marta Davila Mateu University of Southern California