Publications

Checking Equivalence in a Non-strict Language

Published in OOPSLA, 2022

This paper presents Nebula, the first fully automated expression equivalence checker for non-strict functional languages.

Download here

Automated Feedback Generation for Competition-Level Code

Published in ASE, 2022

This paper presents Clef, an automated feedback generator designed to handle submissions for competition-level programming problems.