Amal Ahmed - RankMe

77 papers A* 9A 8B 2C 2Journal 43Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Cryptis: Cryptographic Reasoning in Separation Logic. Proc. ACM Program. Lang. Arthur Azevedo de Amorim, Amal Ahmed, Marco Gaboardi
2025	J	`jnl`	Cryptis: Cryptographic Reasoning in Separation Logic. CoRR Arthur Azevedo de Amorim, Amal Ahmed, Marco Gaboardi
2025	J	`jnl`	From Linearity to Borrowing. Proc. ACM Program. Lang. Andrew Wagner, Olek Gierczak, Brianna Marshall, John M. Li, Amal Ahmed
2025	J	`jnl`	Utilising and Scaling the WebAssembly Semantics (Dagstuhl Seminar 25241). Dagstuhl Reports Amal Ahmed, Andreas Rossberg, Deian Stefan, Conrad Watt, Michelle Thalakottur
2024	A*	`conf`	A Nominal Approach to Probabilistic Separation Logic. LICS John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen
2024	J	`jnl`	A Nominal Approach to Probabilistic Separation Logic. CoRR John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen
2024	J	`jnl`	Gradually Typed Languages Should Be Vigilant! Proc. ACM Program. Lang. Olek Gierczak, Lucy Menon, Christos Dimoulas, Amal Ahmed
2024	J	`jnl`	Realistic Realizability: Specifying ABIs You Can Count On. Proc. ACM Program. Lang. Andrew Wagner, Zachary Eisbach, Amal Ahmed
2024	J	`jnl`	RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly. CoRR Zoe Paraskevopoulou, Michael Fitzgibbons, Michelle Thalakottur, Noble Mushtak, Jose Sulaiman Mazur, Amal Ahmed
2024	J	`jnl`	RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly. Proc. ACM Program. Lang. Michael Fitzgibbons, Zoe Paraskevopoulou, Noble Mushtak, Michelle Thalakottur, Jose Sulaiman Manzur, Amal Ahmed
2023	J	`jnl`	Lilac: A Modal Separation Logic for Conditional Probability. Proc. ACM Program. Lang. John M. Li, Amal Ahmed, Steven Holtzen
2023	J	`jnl`	Lilac: a Modal Separation Logic for Conditional Probability. CoRR John M. Li, Amal Ahmed, Steven Holtzen
2023	—	`conf`	Semantic Encapsulation using Linking Types. TyDe@ICFP Daniel Patterson, Andrew Wagner, Amal Ahmed
2022	J	`jnl`	ANF preserves dependent types up to extensional equality. J. Funct. Program. Paulette Koronkevich, Ramon Rakow, Amal Ahmed, William J. Bowman
2022	J	`jnl`	Semantic Soundness for Language Interoperability. CoRR Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed
2022	A*	`conf`	Semantic soundness for language interoperability. PLDI Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed
2021	J	`jnl`	Gradual type theory. J. Funct. Program. Max S. New, Daniel R. Licata, Amal Ahmed
2021	J	`jnl`	Scalable Handling of Effects (Dagstuhl Seminar 21292). Dagstuhl Reports Danel Ahman, Amal Ahmed, Sam Lindley, Andreas Rossberg
2020	J	`jnl`	Graduality and parametricity: together again for the first time. Proc. ACM Program. Lang. Max S. New, Dustin Jamner, Amal Ahmed
2020	J	`jnl`	Introduction to the Special Issue on ESOP 2018. ACM Trans. Program. Lang. Syst. Amal Ahmed
2019	J	`jnl`	Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work. ACM Comput. Surv. Marco Patrignani, Amal Ahmed, Dave Clarke
2019	J	`jnl`	Gradual type theory. Proc. ACM Program. Lang. Max S. New, Daniel R. Licata, Amal Ahmed
2019	J	`jnl`	Oxide: The Essence of Rust. CoRR Aaron Weiss, Daniel Patterson, Nicholas D. Matsakis, Amal Ahmed
2019	J	`jnl`	The next 700 compiler correctness theorems (functional pearl). Proc. ACM Program. Lang. Daniel Patterson, Amal Ahmed
2019	C	`conf`	Under Control: Compositionally Correct Closure Conversion with Mutable State. PPDP Phillip Mates, Jamie Perconti, Amal Ahmed
2018	J	`jnl`	Correctness of speculative optimizations with dynamic deoptimization. Proc. ACM Program. Lang. Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek
2018	B	`conf`	Fab ous Interoperability for ML and a Linear Language. FoSSaCS Gabriel Scherer, Max S. New, Nick Rioux, Amal Ahmed
2018	J	`jnl`	Gradual Type Theory (Extended Version). CoRR Max S. New, Daniel R. Licata, Amal Ahmed
2018	J	`jnl`	Graduality from Embedding-projection Pairs (Extended Version). CoRR Max S. New, Amal Ahmed
2018	J	`jnl`	Graduality from embedding-projection pairs. Proc. ACM Program. Lang. Max S. New, Amal Ahmed
2018	A	`ed.`	Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings ESOP Amal Ahmed
2018	J	`jnl`	Rust Distilled: An Expressive Tower of Languages. CoRR Aaron Weiss, Daniel Patterson, Amal Ahmed
2018	J	`jnl`	Secure Compilation (Dagstuhl Seminar 18201). Dagstuhl Reports Amal Ahmed, Deepak Garg, Catalin Hritcu, Frank Piessens
2018	J	`jnl`	Type-preserving CPS translation of Σ and Π types is not not possible. Proc. ACM Program. Lang. William J. Bowman, Youyou Cong, Nick Rioux, Amal Ahmed
2018	J	`jnl`	Typed Closure Conversion for the Calculus of Constructions. CoRR William J. Bowman, Amal Ahmed
2018	A*	`conf`	Typed closure conversion for the calculus of constructions. PLDI William J. Bowman, Amal Ahmed
2017	J	`jnl`	Correctness of Speculative Optimizations with Dynamic Deoptimization. CoRR Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek
2017	J	`jnl`	FabULous Interoperability for ML and a Linear Language. CoRR Gabriel Scherer, Max S. New, Nicholas Rioux, Amal Ahmed
2017	J	`jnl`	FunTAL: Reasonably Mixing a Functional Language with Assembly. CoRR Daniel Patterson, Jamie Perconti, Christos Dimoulas, Amal Ahmed
2017	A*	`conf`	FunTAL: reasonably mixing a functional language with assembly. PLDI Daniel Patterson, Jamie Perconti, Christos Dimoulas, Amal Ahmed
2017	—	`conf`	Linking Types for Multi-Language Software: Have Your Cake and Eat It Too. SNAPL Daniel Patterson, Amal Ahmed
2017	J	`jnl`	Linking Types for Multi-Language Software: Have Your Cake and Eat It Too. CoRR Daniel Patterson, Amal Ahmed
2017	J	`jnl`	Theorems for free for free: parametricity, with and without types. Proc. ACM Program. Lang. Amal Ahmed, Dustin Jamner, Jeremy G. Siek, Philip Wadler
2016	B	`conf`	Compositional Compiler Verification for a Multi-Language World. FSCD Amal Ahmed
2016	A	`conf`	Fully abstract compilation via universal embedding. ICFP Max S. New, William J. Bowman, Amal Ahmed
2015	A	`conf`	Noninterference for free. ICFP William J. Bowman, Amal Ahmed
2015	—	`conf`	Verified Compilers for a Multi-Language World. SNAPL Amal Ahmed
2014	C	`conf`	Database Queries that Explain their Work. PPDP James Cheney, Amal Ahmed, Umut A. Acar
2014	J	`jnl`	Database Queries that Explain their Work. CoRR James Cheney, Amal Ahmed, Umut A. Acar
2014	A	`conf`	Verifying an Open Compiler Using Multi-language Semantics. ESOP James T. Perconti, Amal Ahmed
2013	J	`jnl`	A Core Calculus for Provenance. CoRR Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
2013	J	`jnl`	A core calculus for provenance. J. Comput. Secur. Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
2013	A*	`conf`	Logical relations for fine-grained concurrency. POPL Aaron Joseph Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer
2012	—	`conf`	A Core Calculus for Provenance. POST Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
2011	A	`conf`	An equivalence-preserving CPS translation via multi-language semantics. ICFP Amal Ahmed, Matthias Blume
2011	A*	`conf`	Blame for all. POPL Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler
2011	J	`jnl`	Logical Step-Indexed Logical Relations Log. Methods Comput. Sci. Derek Dreyer, Amal Ahmed, Lars Birkedal
2011	J	`jnl`	Provenance as dependency analysis. Math. Struct. Comput. Sci. James Cheney, Amal Ahmed, Umut A. Acar
2010	—	`conf`	10351 Abstracts Collection - Modelling, Controlling and Reasoning About State. Modelling, Controlling and Reasoning About State Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann
2010	—	`conf`	10351 Executive Summary - Modelling, Controlling and Reasoning About State. Modelling, Controlling and Reasoning About State Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann
2010	—	`ed.`	Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010 Modelling, Controlling and Reasoning About State Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann
2010	J	`jnl`	Semantic foundations for typed assembly languages. ACM Trans. Program. Lang. Syst. Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang
2009	—	`conf`	Blame for all. STOP@ECOOP Amal Ahmed, Robert Bruce Findler, Jacob Matthews, Philip Wadler
2009	A*	`conf`	Logical Step-Indexed Logical Relations. LICS Derek Dreyer, Amal Ahmed, Lars Birkedal
2009	—	`ed.`	Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009 TLDI Andrew Kennedy, Amal Ahmed
2009	A*	`conf`	State-dependent representation independence. POPL Amal Ahmed, Derek Dreyer, Andreas Rossberg
2008	—	`conf`	08061 Abstracts Collection -- Types, Logics and Semantics for State. Types, Logics and Semantics for State Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett
2008	—	`conf`	08061 Executive Summary -- Types, Logics and Semantics for State. Types, Logics and Semantics for State Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett
2008	A*	`conf`	Imperative self-adjusting computation. POPL Umut A. Acar, Amal Ahmed, Matthias Blume
2008	A	`conf`	Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!. ESOP Jacob Matthews, Amal Ahmed
2008	J	`jnl`	Provenance Traces CoRR James Cheney, Umut A. Acar, Amal Ahmed
2008	A	`conf`	Typed closure conversion preserves observational equivalence. ICFP Amal Ahmed, Matthias Blume
2008	—	`ed.`	Types, Logics and Semantics for State, 03.02. - 08.02.2008 Types, Logics and Semantics for State Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett
2007	A	`conf`	Abstract Predicates and Mutable ADTs in Hoare Type Theory. ESOP Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal
2007	J	`jnl`	L Fundam. Informaticae Amal Ahmed, Matthew Fluet, Greg Morrisett
2007	J	`jnl`	Provenance as Dependency Analysis CoRR James Cheney, Amal Ahmed, Umut A. Acar
2007	—	`conf`	Provenance as Dependency Analysis. DBPL James Cheney, Amal Ahmed, Umut A. Acar