diff --git a/_pages/about.md b/_pages/about.md index 9bf256c..925b3c1 100644 --- a/_pages/about.md +++ b/_pages/about.md @@ -34,7 +34,7 @@ A program synthesizer that generates NumPy from Python for loops, intended to al \* = equal contribution __Refactoring Programs via Component-Based Synthesis Using Canonicalization-Based Equivalence Checking__ \ -Justin Lubin, Jeremy Ferguson\*, Kevin Ye\*, Jacob Yim\*, and Sarah E. Chasins +Justin Lubin, Jeremy Ferguson\*, Kevin Ye\*, Jacob Yim\*, and Sarah E. Chasins \ *Paper to appear at PLDI 2024* __Supporting Mastery Learning with Flexible Extensions__ [[pdf](../files/flextensions-policy-poster.pdf)] \