Joshua M. Cohen, Qinshi Wang, and Andrew W. Appel. Verified Erasure Correction in Coq with MathComp and VST. CAV 2022: 34th International Conference on Computer-Aided Verification, August 2022.
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