Daniel Patterson

According to our database, Daniel Patterson authored at least 9 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Semantic Encapsulation using Linking Types.

Daniel Patterson, Andrew Wagner, Amal Ahmed

Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, 2023

2022

Semantic soundness for language interoperability.

Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2019

The next 700 compiler correctness theorems (functional pearl).

Daniel Patterson, Amal Ahmed

Proc. ACM Program. Lang., 2019

Oxide: The Essence of Rust.

Aaron Weiss, Daniel Patterson, Nicholas D. Matsakis, Amal Ahmed

CoRR, 2019

2018

Rust Distilled: An Expressive Tower of Languages.

Aaron Weiss, Daniel Patterson, Amal Ahmed

CoRR, 2018

2017

Linking Types for Multi-Language Software: Have Your Cake and Eat It Too.

Daniel Patterson, Amal Ahmed

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

FunTAL: reasonably mixing a functional language with assembly.

Daniel Patterson, Jamie Perconti, Christos Dimoulas, Amal Ahmed

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2014

CaptainTeach: multi-stage, in-flow peer review for programming assignments.

Joe Gibbs Politz, Daniel Patterson, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the Innovation and Technology in Computer Science Education Conference 2014, 2014

2013

Python: the full monty.

Joe Gibbs Politz, Alejandro Martinez, Mae Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, Shriram Krishnamurthi

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013