Amal Ahmed

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 29

Top Topics

Fixed Point Semantics

Functional Language

Pairwise Distances

Database Queries

Top Venues

Proc. ACM Program. Lang.

Publications

Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed
Semantic Soundness for Language Interoperability. CoRR (2022)
Danel Ahman, Amal Ahmed, Sam Lindley, Andreas Rossberg
Scalable Handling of Effects (Dagstuhl Seminar 21292). Dagstuhl Reports 11 (6) (2021)
Max S. New, Daniel R. Licata, Amal Ahmed
Gradual type theory. J. Funct. Program. 31 (2021)
Max S. New, Dustin Jamner, Amal Ahmed
Graduality and parametricity: together again for the first time. Proc. ACM Program. Lang. 4 (POPL) (2020)
Amal Ahmed
Introduction to the Special Issue on ESOP 2018. ACM Trans. Program. Lang. Syst. 42 (1) (2020)
Max S. New, Daniel R. Licata, Amal Ahmed
Gradual type theory. Proc. ACM Program. Lang. 3 (POPL) (2019)
Marco Patrignani, Amal Ahmed, Dave Clarke
Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work. ACM Comput. Surv. 51 (6) (2019)
Aaron Weiss, Daniel Patterson, Nicholas D. Matsakis, Amal Ahmed
Oxide: The Essence of Rust. CoRR (2019)
Phillip Mates, Jamie Perconti, Amal Ahmed
Under Control: Compositionally Correct Closure Conversion with Mutable State. PPDP (2019)
Daniel Patterson, Amal Ahmed
The next 700 compiler correctness theorems (functional pearl). Proc. ACM Program. Lang. 3 (ICFP) (2019)
Max S. New, Daniel R. Licata, Amal Ahmed
Gradual Type Theory (Extended Version). CoRR (2018)
Aaron Weiss, Daniel Patterson, Amal Ahmed
Rust Distilled: An Expressive Tower of Languages. CoRR (2018)
William J. Bowman, Amal Ahmed
Typed Closure Conversion for the Calculus of Constructions. CoRR (2018)
William J. Bowman, Amal Ahmed
Typed closure conversion for the calculus of constructions. PLDI (2018)
Max S. New, Amal Ahmed
Graduality from embedding-projection pairs. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek
Correctness of speculative optimizations with dynamic deoptimization. Proc. ACM Program. Lang. 2 (POPL) (2018)
William J. Bowman, Youyou Cong, Nick Rioux, Amal Ahmed
Type-preserving CPS translation of Σ and Π types is not not possible. Proc. ACM Program. Lang. 2 (POPL) (2018)
Max S. New, Amal Ahmed
Graduality from Embedding-projection Pairs (Extended Version). CoRR (2018)
Amal Ahmed, Deepak Garg, Catalin Hritcu, Frank Piessens
Secure Compilation (Dagstuhl Seminar 18201). Dagstuhl Reports 8 (5) (2018)
Gabriel Scherer, Max S. New, Nick Rioux, Amal Ahmed
Fab ous Interoperability for ML and a Linear Language. FoSSaCS (2018)
Daniel Patterson, Amal Ahmed
Linking Types for Multi-Language Software: Have Your Cake and Eat It Too. CoRR (2017)
Gabriel Scherer, Max S. New, Nicholas Rioux, Amal Ahmed
FabULous Interoperability for ML and a Linear Language. CoRR (2017)
Daniel Patterson, Jamie Perconti, Christos Dimoulas, Amal Ahmed
FunTAL: reasonably mixing a functional language with assembly. PLDI (2017)
Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek
Correctness of Speculative Optimizations with Dynamic Deoptimization. CoRR (2017)
Amal Ahmed, Dustin Jamner, Jeremy G. Siek, Philip Wadler
Theorems for free for free: parametricity, with and without types. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Daniel Patterson, Amal Ahmed
Linking Types for Multi-Language Software: Have Your Cake and Eat It Too. SNAPL (2017)
Daniel Patterson, Jamie Perconti, Christos Dimoulas, Amal Ahmed
FunTAL: Reasonably Mixing a Functional Language with Assembly. CoRR (2017)
Max S. New, William J. Bowman, Amal Ahmed
Fully abstract compilation via universal embedding. ICFP (2016)
Amal Ahmed
Compositional Compiler Verification for a Multi-Language World. FSCD (2016)
William J. Bowman, Amal Ahmed
Noninterference for free. ICFP (2015)
Amal Ahmed
Verified Compilers for a Multi-Language World. SNAPL (2015)
James Cheney, Amal Ahmed, Umut A. Acar
Database Queries that Explain their Work. CoRR (2014)
James T. Perconti, Amal Ahmed
Verifying an Open Compiler Using Multi-language Semantics. ESOP (2014)
James Cheney, Amal Ahmed, Umut A. Acar
Database Queries that Explain their Work. PPDP (2014)
Aaron Joseph Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer
Logical relations for fine-grained concurrency. POPL (2013)
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
A Core Calculus for Provenance. CoRR (2013)
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
A core calculus for provenance. J. Comput. Secur. 21 (6) (2013)
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
A Core Calculus for Provenance. POST (2012)
Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler
Blame for all. POPL (2011)
Amal Ahmed, Matthias Blume
An equivalence-preserving CPS translation via multi-language semantics. ICFP (2011)
James Cheney, Amal Ahmed, Umut A. Acar
Provenance as dependency analysis. Math. Struct. Comput. Sci. 21 (6) (2011)
Derek Dreyer, Amal Ahmed, Lars Birkedal
Logical Step-Indexed Logical Relations Log. Methods Comput. Sci. 7 (2) (2011)
Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann
10351 Executive Summary - Modelling, Controlling and Reasoning About State. Modelling, Controlling and Reasoning About State (2010)
Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang
Semantic foundations for typed assembly languages. ACM Trans. Program. Lang. Syst. 32 (3) (2010)
Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann
10351 Abstracts Collection - Modelling, Controlling and Reasoning About State. Modelling, Controlling and Reasoning About State (2010)
Derek Dreyer, Amal Ahmed, Lars Birkedal
Logical Step-Indexed Logical Relations. LICS (2009)
Amal Ahmed, Robert Bruce Findler, Jacob Matthews, Philip Wadler
Blame for all. STOP@ECOOP (2009)
Amal Ahmed, Derek Dreyer, Andreas Rossberg
State-dependent representation independence. POPL (2009)
Umut A. Acar, Amal Ahmed, Matthias Blume
Imperative self-adjusting computation. POPL (2008)
Jacob Matthews, Amal Ahmed
Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!. ESOP (2008)
Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett
08061 Abstracts Collection -- Types, Logics and Semantics for State. Types, Logics and Semantics for State (2008)
Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett
08061 Executive Summary -- Types, Logics and Semantics for State. Types, Logics and Semantics for State (2008)
Amal Ahmed, Matthias Blume
Typed closure conversion preserves observational equivalence. ICFP (2008)
James Cheney, Umut A. Acar, Amal Ahmed
Provenance Traces CoRR (2008)
James Cheney, Amal Ahmed, Umut A. Acar
Provenance as Dependency Analysis CoRR (2007)
Amal Ahmed, Matthew Fluet, Greg Morrisett
: A Linear Language with Locations. Fundam. Informaticae 77 (4) (2007)
James Cheney, Amal Ahmed, Umut A. Acar
Provenance as Dependency Analysis. DBPL (2007)
Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal
Abstract Predicates and Mutable ADTs in Hoare Type Theory. ESOP (2007)