Python: the full monty. - Joe Gibbs Politz; Alejandro Martinez; Mae Milano; Sumner Warren; Daniel Patterson 001; Junsong Li; Anand Chitipothu; Shriram Krishnamurthi (OOPSLA, 2013)

CaptainTeach: multi-stage, in-flow peer review for programming assignments. - Joe Gibbs Politz; Daniel Patterson 001; Shriram Krishnamurthi; Kathi Fisler (ITiCSE, 2014)

FunTAL: reasonably mixing a functional language with assembly. - Daniel Patterson 001; Jamie Perconti; Christos Dimoulas; Amal Ahmed 001 (PLDI, 2017)

Linking Types for Multi-Language Software: Have Your Cake and Eat It Too. - Daniel Patterson 001; Amal Ahmed 001 (SNAPL, 2017)

Rust Distilled: An Expressive Tower of Languages. - Aaron Weiss; Daniel Patterson 001; Amal Ahmed 001 (CoRR, 2018)

Oxide: The Essence of Rust. - Aaron Weiss; Daniel Patterson 001; Nicholas D. Matsakis; Amal Ahmed 001 (CoRR, 2019)

The next 700 compiler correctness theorems (functional pearl). - Daniel Patterson 001; Amal Ahmed 001 (Proc. ACM Program. Lang., 2019)

Semantic soundness for language interoperability. - Daniel Patterson 001; Noble Mushtak; Andrew Wagner; Amal Ahmed 001 (PLDI, 2022)

Semantic Encapsulation using Linking Types. - Daniel Patterson 001; Andrew Wagner; Amal Ahmed 001 (TyDe@ICFP, 2023)

Equity-Guided Tutoring: A Scalable, TA-Run Approach. - Daniel Patterson 001; Josh Torre; Zoey Guo; Thomas McBride (ITiCSE (1), 2025)

FEEDBOT: Formative Design Feedback on Programming Assignments. - Elaine Zhu; Smaran Teja; Chris Coombes; Daniel Patterson 001 (ITiCSE (1), 2025)