Daniel Patterson

15 papers A* 2A 1B 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
Equity-Guided Tutoring: A Scalable, TA-Run Approach.
ITiCSE (1)
Daniel Patterson, Josh Torre, Zoey Guo, Thomas McBride
2025 — conf
FEEDBOT: Formative Design Feedback on Programming Assignments.
ITiCSE (1)
Elaine Zhu, Smaran Teja, Chris Coombes, Daniel Patterson
2025 J jnl
Teaching Software Specification (Experience Report).
Proc. ACM Program. Lang.
Cameron Moy, Daniel Patterson
2023 — conf
Semantic Encapsulation using Linking Types.
TyDe@ICFP
Daniel Patterson, Andrew Wagner, Amal Ahmed
2022 J jnl
Semantic Soundness for Language Interoperability.
CoRR
Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed
2022 A* conf
Semantic soundness for language interoperability.
PLDI
Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed
2019 J jnl
Oxide: The Essence of Rust.
CoRR
Aaron Weiss, Daniel Patterson, Nicholas D. Matsakis, Amal Ahmed
2019 J jnl
The next 700 compiler correctness theorems (functional pearl).
Proc. ACM Program. Lang.
Daniel Patterson, Amal Ahmed
2018 J jnl
Rust Distilled: An Expressive Tower of Languages.
CoRR
Aaron Weiss, Daniel Patterson, Amal Ahmed
2017 J jnl
FunTAL: Reasonably Mixing a Functional Language with Assembly.
CoRR
Daniel Patterson, Jamie Perconti, Christos Dimoulas, Amal Ahmed
2017 A* conf
FunTAL: reasonably mixing a functional language with assembly.
PLDI
Daniel Patterson, Jamie Perconti, Christos Dimoulas, Amal Ahmed
2017 — conf
Linking Types for Multi-Language Software: Have Your Cake and Eat It Too.
SNAPL
Daniel Patterson, Amal Ahmed
2017 J jnl
Linking Types for Multi-Language Software: Have Your Cake and Eat It Too.
CoRR
Daniel Patterson, Amal Ahmed
2014 B conf
CaptainTeach: multi-stage, in-flow peer review for programming assignments.
ITiCSE
Joe Gibbs Politz, Daniel Patterson, Shriram Krishnamurthi, Kathi Fisler
2013 A conf
Python: the full monty.
OOPSLA
Joe Gibbs Politz, Alejandro Martinez, Mae Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, Shriram Krishnamurthi