关注
Amal Ahmed
Amal Ahmed
在 ccs.neu.edu 的电子邮件经过验证 - 首页
标题
引用次数
年份
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
22024
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
12024
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
32023
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
132023
Semantic soundness for language interoperability
D Patterson, N Mushtak, A Wagner, A Ahmed
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
112022
ANF preserves dependent types up to extensional equality
P Koronkevich, R Rakow, A Ahmed, WJ Bowman
Journal of Functional Programming 32, e12, 2022
42022
Gradual type theory
MS New, DR Licata, A Ahmed
Journal of Functional Programming 31, e21, 2021
52021
Scalable Handling of Effects (Dagstuhl Seminar 21292)
D Ahman, A Ahmed, S Lindley, A Rossberg
Dagstuhl Reports 11 (6), 2021
12021
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
392019
Introduction to the Special Issue on ESOP 2018
A Ahmed
ACM Transactions on Programming Languages and Systems (TOPLAS) 42 (1), 1-1, 2019
12019
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
122019
The next 700 compiler correctness theorems (functional pearl)
D Patterson, A Ahmed
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019
432019
Oxide: The essence of rust
A Weiss, O Gierczak, D Patterson, A Ahmed
arXiv preprint arXiv:1903.00982, 2019
642019
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
932019
Gradual type theory
MS New, DR Licata, A Ahmed
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
842019
Dagstuhl Reports, Vol. 8, Issue 5 ISSN 2192-5283
A Ahmed, D Garg, C Hritcu, F Piessens, O Altintas, S Banerjee, F Dressler, ...
2019
系统目前无法执行此操作,请稍后再试。
文章 1–20