Follow
Daniel Patterson
Daniel Patterson
Assistant Teaching Professor, Northeastern University
Verified email at dbpmail.net - Homepage
Title
Cited by
Cited by
Year
Python: the full monty
JG Politz, A Martinez, M Milano, S Warren, D Patterson, J Li, A Chitipothu, ...
ACM SIGPLAN Notices 48 (10), 217-232, 2013
762013
Oxide: The essence of rust
A Weiss, O Gierczak, D Patterson, A Ahmed
arXiv preprint arXiv:1903.00982, 2019
552019
FunTAL: Reasonably mixing a functional language with assembly
D Patterson, J Perconti, C Dimoulas, A Ahmed
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
402017
The next 700 compiler correctness theorems (functional pearl)
D Patterson, A Ahmed
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019
392019
Linking Types for Multi-Language Software: Have Your Cake and Eat It Too
D Patterson, A Ahmed
arXiv preprint arXiv:1711.04559, 2017
222017
CaptainTeach: Multi-stage, in-flow peer review for programming assignments
JG Politz, D Patterson, S Krishnamurthi, K Fisler
Proceedings of the 2014 conference on Innovation & technology in computer …, 2014
212014
Oxide: The Essence of Rust. CoRR abs/1903.00982 (2019)
A Weiss, D Patterson, ND Matsakis, A Ahmed
arXiv preprint arXiv:1903.00982, 2019
132019
Rust Distilled: An Expressive Tower of Languages
A Weiss, D Patterson, A Ahmed
arXiv preprint arXiv:1806.02693, 2018
102018
Semantic soundness for language interoperability
D Patterson, N Mushtak, A Wagner, A Ahmed
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
92022
FunTAL: Reasonably mixing a functional language with assembly (technical appendix)
D Patterson, J Perconti, C Dimoulas, A Ahmed
22017
Semantic Encapsulation using Linking Types
D Patterson, A Wagner, A Ahmed
Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven …, 2023
2023
Interoperability through Realizability: Expressing High-Level Abstractions Using Low-Level Code
DB Patterson
Northeastern University, 2022
2022
Foreign Function Typing: Semantic Type Soundness for FFIs
D PATTERSON, A AHMED
Phantom Contracts for Better Linking
D Patterson
Linking Types: Specifying Safe Interoperability and Equivalences
D Patterson
The system can't perform the operation now. Try again later.
Articles 1–15