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 | 77 | 2013 |
Oxide: The essence of rust A Weiss, O Gierczak, D Patterson, A Ahmed arXiv preprint arXiv:1903.00982, 2019 | 58 | 2019 |
The next 700 compiler correctness theorems (functional pearl) D Patterson, A Ahmed Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019 | 42 | 2019 |
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 | 40 | 2017 |
Linking Types for Multi-Language Software: Have Your Cake and Eat It Too D Patterson, A Ahmed arXiv preprint arXiv:1711.04559, 2017 | 22 | 2017 |
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 | 21 | 2014 |
Oxide: The Essence of Rust. CoRR abs/1903.00982 (2019) A Weiss, D Patterson, ND Matsakis, A Ahmed arXiv preprint arXiv:1903.00982, 2019 | 13 | 2019 |
Rust Distilled: An Expressive Tower of Languages A Weiss, D Patterson, A Ahmed arXiv preprint arXiv:1806.02693, 2018 | 11 | 2018 |
Semantic soundness for language interoperability D Patterson, N Mushtak, A Wagner, A Ahmed Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 10 | 2022 |
Semantic Encapsulation using Linking Types D Patterson, A Wagner, A Ahmed Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven …, 2023 | 2 | 2023 |
FunTAL: Reasonably mixing a functional language with assembly (technical appendix) D Patterson, J Perconti, C Dimoulas, A Ahmed | 2 | 2017 |
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 | | |