Johan Jeuring -

Registered user since Thu 24 Mar 2022

Name:Johan Jeuring

Country:Netherlands

Affiliation:Utrecht University

Personal website: http://www.jeuring.net

Contributions

2025

ESEC/FSE

Committee Member in Program Committee within the Software Engineering Education-track

SIGCSE TS

Author of Models of Mastery Learning for Computing Education within the Papers-track

2024

SIGCSE Virtual

Author of Hash Table Notional Machines: A Comparison of 2D and 3D Representations within the Conference-track

ICFP

Author of Example-Based Reasoning about the Realizability of Polymorphic Programs within the ICFP Papers and Events-track
Author of Example-Based Reasoning About the Realizability of Polymorphic Programs within the Artifact Evaluation-track

ICSE

Committee Member in Joint Track on Software Engineering Education and Training within the Software Engineering Education and Training-track

2023

Symposium on Practical Aspects of Declarative Languages

Author of Program Synthesis Using Example Propagation within the PADL 2023-track

ICER

Committee Member in Program Committee within the Research Papers-track

2022

HATRA

Author of Program Synthesis Using Example Propagation within the Human Aspects of Types and Reasoning Assistants-track

2020

HATRA

Author of Model-Driven Synthesis for Programming Tutors within the HATRA-track

Haskell

Author of Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality within the Haskell 2020-track