Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Joshua Cohen, and Stephanie Weirich. Ready, Set, Verify! Applying Hs-to-coq to Real-world Haskell Code. Journal of Functional Programming, 31:1--40, February 2021.
Teaching assistant for CIS 320: Introduction to Algorithms, University of Pennsylvania, Spring 2020, Fall 2019
Teaching assistant for CIS 120: Programming Languages and Techniques, University of Pennsylvania, Spring 2019, Fall 2018, Spring 2018