| 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 | 82 | 2013 |
| Oxide: The essence of rust A Weiss, O Gierczak, D Patterson, A Ahmed arXiv preprint arXiv:1903.00982, 2019 | 73 | 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 | 46 | 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 | 41 | 2017 |
| Linking Types for Multi-Language Software: Have Your Cake and Eat It Too D Patterson, A Ahmed arXiv preprint arXiv:1711.04559, 2017 | 26 | 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 | 16 | 2019 |
| Semantic soundness for language interoperability D Patterson, N Mushtak, A Wagner, A Ahmed Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 15 | 2022 |
| Rust Distilled: An Expressive Tower of Languages A Weiss, D Patterson, A Ahmed arXiv preprint arXiv:1806.02693, 2018 | 12 | 2018 |
| Semantic Encapsulation using Linking Types D Patterson, A Wagner, A Ahmed Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven …, 2023 | 6 | 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 | | |
Amal AhmedNortheastern UniversityVerified email at ccs.neu.edu
