Model-Driven Synthesis for Programming Tutors. - Niek Mulleners; Johan Jeuring; Bastiaan Heeren (CoRR, 2020)

Program Synthesis Using Example Propagation. - Niek Mulleners; Johan Jeuring; Bastiaan Heeren (PADL, 2023)

Example-Based Reasoning about the Realizability of Polymorphic Programs. - Niek Mulleners; Johan Jeuring; Bastiaan Heeren (Proc. ACM Program. Lang., 2024)