Amal Ahmed

According to our database, Amal Ahmed authored at least 61 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Realistic Realizability: Specifying ABIs You Can Count On.

Andrew Wagner, Zachary Eisbach, Amal Ahmed

Proc. ACM Program. Lang., 2024

Gradually Typed Languages Should Be Vigilant!

Olek Gierczak, Lucy Menon, Christos Dimoulas, Amal Ahmed

Proc. ACM Program. Lang., 2024

RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly.

Michael Fitzgibbons, Zoe Paraskevopoulou, Noble Mushtak, Michelle Thalakottur, Jose Sulaiman Manzur, Amal Ahmed

Proc. ACM Program. Lang., 2024

RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly.

Zoe Paraskevopoulou, Michael Fitzgibbons, Michelle Thalakottur, Noble Mushtak, Jose Sulaiman Mazur, Amal Ahmed

CoRR, 2024

A Nominal Approach to Probabilistic Separation Logic.

John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023

Lilac: A Modal Separation Logic for Conditional Probability.

John M. Li, Amal Ahmed, Steven Holtzen

Proc. ACM Program. Lang., 2023

Semantic Encapsulation using Linking Types.

Daniel Patterson, Andrew Wagner, Amal Ahmed

Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, 2023

2022

ANF preserves dependent types up to extensional equality.

Paulette Koronkevich, Ramon Rakow, Amal Ahmed, William J. Bowman

J. Funct. Program., 2022

Semantic soundness for language interoperability.

Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Scalable Handling of Effects (Dagstuhl Seminar 21292).

Danel Ahman, Amal Ahmed, Sam Lindley, Andreas Rossberg

Dagstuhl Reports, 2021

2020

Introduction to the Special Issue on ESOP 2018.

Amal Ahmed

ACM Trans. Program. Lang. Syst., 2020

Graduality and parametricity: together again for the first time.

Max S. New, Dustin Jamner, Amal Ahmed

Proc. ACM Program. Lang., 2020

2019

Gradual type theory.

Max S. New, Daniel R. Licata, Amal Ahmed

Proc. ACM Program. Lang., 2019

The next 700 compiler correctness theorems (functional pearl).

Daniel Patterson, Amal Ahmed

Proc. ACM Program. Lang., 2019

Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work.

Marco Patrignani, Amal Ahmed, Dave Clarke

ACM Comput. Surv., 2019

Oxide: The Essence of Rust.

Aaron Weiss, Daniel Patterson, Nicholas D. Matsakis, Amal Ahmed

CoRR, 2019

Under Control: Compositionally Correct Closure Conversion with Mutable State.

Phillip Mates, Jamie Perconti, Amal Ahmed

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

2018

Graduality from embedding-projection pairs.

Max S. New, Amal Ahmed

Proc. ACM Program. Lang., 2018

Correctness of speculative optimizations with dynamic deoptimization.

Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek

Proc. ACM Program. Lang., 2018

Type-preserving CPS translation of Σ and Π types is not not possible.

William J. Bowman, Youyou Cong, Nick Rioux, Amal Ahmed

Proc. ACM Program. Lang., 2018

Secure Compilation (Dagstuhl Seminar 18201).

Amal Ahmed, Deepak Garg, Catalin Hritcu, Frank Piessens

Dagstuhl Reports, 2018

Gradual Type Theory (Extended Version).

Max S. New, Daniel R. Licata, Amal Ahmed

CoRR, 2018

Graduality from Embedding-projection Pairs (Extended Version).

Max S. New, Amal Ahmed

CoRR, 2018

Rust Distilled: An Expressive Tower of Languages.

Aaron Weiss, Daniel Patterson, Amal Ahmed

CoRR, 2018

Typed closure conversion for the calculus of constructions.

William J. Bowman, Amal Ahmed

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Fab ous Interoperability for ML and a Linear Language.

Gabriel Scherer, Max S. New, Nick Rioux, Amal Ahmed

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

Theorems for free for free: parametricity, with and without types.

Amal Ahmed, Dustin Jamner, Jeremy G. Siek, Philip Wadler

Proc. ACM Program. Lang., 2017

FabULous Interoperability for ML and a Linear Language.

Gabriel Scherer, Max S. New, Nicholas Rioux, Amal Ahmed

CoRR, 2017

Linking Types for Multi-Language Software: Have Your Cake and Eat It Too.

Daniel Patterson, Amal Ahmed

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

FunTAL: reasonably mixing a functional language with assembly.

Daniel Patterson, Jamie Perconti, Christos Dimoulas, Amal Ahmed

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Compositional Compiler Verification for a Multi-Language World.

Amal Ahmed

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

Fully abstract compilation via universal embedding.

Max S. New, William J. Bowman, Amal Ahmed

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

Verified Compilers for a Multi-Language World.

Amal Ahmed

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Noninterference for free.

William J. Bowman, Amal Ahmed

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014

Database Queries that Explain their Work.

James Cheney, Amal Ahmed, Umut A. Acar

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Verifying an Open Compiler Using Multi-language Semantics.

James T. Perconti, Amal Ahmed

Proceedings of the Programming Languages and Systems, 2014

2013

A core calculus for provenance.

Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera

J. Comput. Secur., 2013

Logical relations for fine-grained concurrency.

Aaron Joseph Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2011

Provenance as dependency analysis.

James Cheney, Amal Ahmed, Umut A. Acar

Math. Struct. Comput. Sci., 2011

Logical Step-Indexed Logical Relations

Derek Dreyer, Amal Ahmed, Lars Birkedal

Log. Methods Comput. Sci., 2011

Blame for all.

Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

An equivalence-preserving CPS translation via multi-language semantics.

Amal Ahmed, Matthias Blume

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Semantic foundations for typed assembly languages.

Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang

ACM Trans. Program. Lang. Syst., 2010

10351 Executive Summary - Modelling, Controlling and Reasoning About State.

Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann

Proceedings of the Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010, 2010

10351 Abstracts Collection - Modelling, Controlling and Reasoning About State.

Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann

Proceedings of the Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010, 2010

2009

State-dependent representation independence.

Amal Ahmed, Derek Dreyer, Andreas Rossberg

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Blame for all.

Amal Ahmed, Robert Bruce Findler, Jacob Matthews, Philip Wadler

Proceedings of the Proceedings for the 1st workshop on Script to Program Evolution, 2009

2008

Provenance Traces

James Cheney, Umut A. Acar, Amal Ahmed

CoRR, 2008

Imperative self-adjusting computation.

Umut A. Acar, Amal Ahmed, Matthias Blume

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Typed closure conversion preserves observational equivalence.

Amal Ahmed, Matthias Blume

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!.

Jacob Matthews, Amal Ahmed

Proceedings of the Programming Languages and Systems, 2008

08061 Abstracts Collection -- Types, Logics and Semantics for State.

Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett

Proceedings of the Types, Logics and Semantics for State, 03.02. - 08.02.2008, 2008

08061 Executive Summary -- Types, Logics and Semantics for State.

Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett

Proceedings of the Types, Logics and Semantics for State, 03.02. - 08.02.2008, 2008

2007

L³: A Linear Language with Locations.

Amal Ahmed, Matthew Fluet, Greg Morrisett

Fundam. Informaticae, 2007

Abstract Predicates and Mutable ADTs in Hoare Type Theory.

Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal

Proceedings of the Programming Languages and Systems, 2007

2006

Linear Regions Are All You Need.

Matthew Fluet, Greg Morrisett, Amal J. Ahmed

Proceedings of the Programming Languages and Systems, 2006

Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types.

Amal J. Ahmed

Proceedings of the Programming Languages and Systems, 2006

2005

A step-indexed model of substructural state.

Amal J. Ahmed, Matthew Fluet, Greg Morrisett

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2003

The logical approach to stack typing.

Amal J. Ahmed, David Walker

Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2003

Reasoning about Hierarchical Storage.

Amal J. Ahmed, Limin Jia, David Walker

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

2002

A Stratified Semantics of General References A Stratified Semantics of General References.

Amal J. Ahmed, Andrew W. Appel, Roberto Virga

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002