Daniel Patterson

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 10

Top Topics

Linguistic Analysis

Metadata Schemas

Functional Language

Top Venues

Proc. ACM Program. Lang.

Publications

Daniel Patterson, Andrew Wagner, Amal Ahmed
Semantic Encapsulation using Linking Types. TyDe@ICFP (2023)
Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed
Semantic Soundness for Language Interoperability. CoRR (2022)
Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed
Semantic soundness for language interoperability. PLDI (2022)
Aaron Weiss, Daniel Patterson, Nicholas D. Matsakis, Amal Ahmed
Oxide: The Essence of Rust. CoRR (2019)
Daniel Patterson, Amal Ahmed
The next 700 compiler correctness theorems (functional pearl). Proc. ACM Program. Lang. 3 (ICFP) (2019)
Aaron Weiss, Daniel Patterson, Amal Ahmed
Rust Distilled: An Expressive Tower of Languages. CoRR (2018)
Daniel Patterson, Amal Ahmed
Linking Types for Multi-Language Software: Have Your Cake and Eat It Too. CoRR (2017)
Daniel Patterson, Jamie Perconti, Christos Dimoulas, Amal Ahmed
FunTAL: reasonably mixing a functional language with assembly. PLDI (2017)
Daniel Patterson, Amal Ahmed
Linking Types for Multi-Language Software: Have Your Cake and Eat It Too. SNAPL (2017)
Daniel Patterson, Jamie Perconti, Christos Dimoulas, Amal Ahmed
FunTAL: Reasonably Mixing a Functional Language with Assembly. CoRR (2017)
Joe Gibbs Politz, Daniel Patterson, Shriram Krishnamurthi, Kathi Fisler
CaptainTeach: multi-stage, in-flow peer review for programming assignments. ITiCSE (2014)
Joe Gibbs Politz, Alejandro Martinez, Matthew Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, Shriram Krishnamurthi
Python: the full monty. OOPSLA (2013)