Follow
Daniel Patterson
Daniel Patterson
PhD Student, 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
642013
Oxide: The essence of rust
A Weiss, O Gierczak, D Patterson, A Ahmed
arXiv preprint arXiv:1903.00982, 2019
362019
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
322017
The next 700 compiler correctness theorems (functional pearl)
D Patterson, A Ahmed
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019
262019
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
192014
Linking Types for Multi-Language Software: Have Your Cake and Eat It Too
D Patterson, A Ahmed
arXiv preprint arXiv:1711.04559, 2017
172017
Oxide: The Essence of Rust. CoRR abs/1903.00982 (2019)
A Weiss, D Patterson, ND Matsakis, A Ahmed
arXiv preprint arXiv:1903.00982, 2019
82019
Rust Distilled: An Expressive Tower of Languages
A Weiss, D Patterson, A Ahmed
arXiv preprint arXiv:1806.02693, 2018
62018
FunTAL: Reasonably mixing a functional language with assembly (technical appendix)
D Patterson, J Perconti, C Dimoulas, A Ahmed
22017
Semantic soundness for language interoperability
D Patterson, N Mushtak, A Wagner, A Ahmed
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 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–13