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
Published in OOPSLA, 2022
This paper presents Nebula, the first fully automated expression equivalence checker for non-strict functional languages.
Download here
Published in ASE, 2022
This paper presents Clef, an automated feedback generator designed to handle submissions for competition-level programming problems.