Amal Ahmed

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 10

Top Topics

Prior Probabilities

Metadata Schemas

Classical Logic

Propositional Variables

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Michael Fitzgibbons, Zoe Paraskevopoulou, Noble Mushtak, Michelle Thalakottur, Jose Sulaiman Manzur, Amal Ahmed
RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly. Proc. ACM Program. Lang. 8 (PLDI) (2024)
John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen
A Nominal Approach to Probabilistic Separation Logic. CoRR (2024)
Olek Gierczak, Lucy Menon, Christos Dimoulas, Amal Ahmed
Gradually Typed Languages Should Be Vigilant! Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen
A Nominal Approach to Probabilistic Separation Logic. LICS (2024)
Zoe Paraskevopoulou, Michael Fitzgibbons, Michelle Thalakottur, Noble Mushtak, Jose Sulaiman Mazur, Amal Ahmed
RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly. CoRR (2024)
Daniel Patterson, Andrew Wagner, Amal Ahmed
Semantic Encapsulation using Linking Types. TyDe@ICFP (2023)
John M. Li, Amal Ahmed, Steven Holtzen
Lilac: a Modal Separation Logic for Conditional Probability. CoRR (2023)
John M. Li, Amal Ahmed, Steven Holtzen
Lilac: A Modal Separation Logic for Conditional Probability. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Paulette Koronkevich, Ramon Rakow, Amal Ahmed, William J. Bowman
ANF preserves dependent types up to extensional equality. J. Funct. Program. 32 (2022)
Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed
Semantic soundness for language interoperability. PLDI (2022)