Won a Bronze Medal at the ACM Student Research Competition at PLDI 2024 for ConstraintFlow.