RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly M Fitzgibbons, Z Paraskevopoulou, N Mushtak, M Thalakottur, ... Proceedings of the ACM on Programming Languages 8 (PLDI), 1656-1679, 2024 | | 2024 |
A Nominal Approach to Probabilistic Separation Logic JM Li, J Aytac, P Johnson-Freyd, A Ahmed, S Holtzen arXiv preprint arXiv:2405.06826, 2024 | 2 | 2024 |
Gradually Typed Languages Should Be Vigilant! O Gierczak, L Menon, C Dimoulas, A Ahmed Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 864-892, 2024 | 1 | 2024 |
RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly Z Paraskevopoulou, M Fitzgibbons, M Thalakottur, N Mushtak, JS Mazur, ... arXiv preprint arXiv:2401.08287, 2024 | | 2024 |
Semantic encapsulation using linking types D Patterson, A Wagner, A Ahmed Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven …, 2023 | 3 | 2023 |
Linking Types: Technical Appendix D Patterson, A Wagner, A Ahmed | | 2023 |
OPLSS 2023: Logical Relations A Ahmed | | 2023 |
Lilac: a modal separation logic for conditional probability JM Li, A Ahmed, S Holtzen Proceedings of the ACM on Programming Languages 7 (PLDI), 148-171, 2023 | 13 | 2023 |
Semantic soundness for language interoperability D Patterson, N Mushtak, A Wagner, A Ahmed Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 11 | 2022 |
ANF preserves dependent types up to extensional equality P Koronkevich, R Rakow, A Ahmed, WJ Bowman Journal of Functional Programming 32, e12, 2022 | 4 | 2022 |
Gradual type theory MS New, DR Licata, A Ahmed Journal of Functional Programming 31, e21, 2021 | 5 | 2021 |
Scalable Handling of Effects (Dagstuhl Seminar 21292) D Ahman, A Ahmed, S Lindley, A Rossberg Dagstuhl Reports 11 (6), 2021 | 1 | 2021 |
Graduality and parametricity: together again for the first time MS New, D Jamner, A Ahmed Proceedings of the ACM on Programming Languages 4 (POPL), 1-32, 2019 | 39 | 2019 |
Introduction to the Special Issue on ESOP 2018 A Ahmed ACM Transactions on Programming Languages and Systems (TOPLAS) 42 (1), 1-1, 2019 | 1 | 2019 |
Under control: Compositionally correct closure conversion with mutable state P Mates, J Perconti, A Ahmed Proceedings of the 21st International Symposium on Principles and Practice …, 2019 | 12 | 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 | 43 | 2019 |
Oxide: The essence of rust A Weiss, O Gierczak, D Patterson, A Ahmed arXiv preprint arXiv:1903.00982, 2019 | 64 | 2019 |
Formal approaches to secure compilation: A survey of fully abstract compilation and related work M Patrignani, A Ahmed, D Clarke ACM Computing Surveys (CSUR) 51 (6), 1-36, 2019 | 93 | 2019 |
Gradual type theory MS New, DR Licata, A Ahmed Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019 | 84 | 2019 |
Dagstuhl Reports, Vol. 8, Issue 5 ISSN 2192-5283 A Ahmed, D Garg, C Hritcu, F Piessens, O Altintas, S Banerjee, F Dressler, ... | | 2019 |