Amal Ahmed

Cited by

	All	Since 2020
Citations	3622	1518
h-index	37	24
i10-index	49	39

360

180

270

2003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202519 32 42 61 59 59 108 114 116 112 115 136 142 165 212 221 359 259 356 259 265 345 34

Public access

View all

18 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Greg MorrisettDean and Professor, Cornell UniversityVerified email at cornell.edu
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Daniel PattersonAssistant Teaching Professor, Northeastern UniversityVerified email at dbpmail.net
Max S. NewAssistant Professor, University of MichiganVerified email at umich.edu
Umut A. AcarCarnegie Mellon University, Department of Computer ScienceVerified email at cs.cmu.edu
Matthew FluetRochester Institute of TechnologyVerified email at cs.rit.edu
William J. BowmanUniversity of British ColumbiaVerified email at cs.ubc.ca
Matthias BlumeGoogleVerified email at google.com
James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Andrew W. AppelProfessor of Computer Science, Princeton UniversityVerified email at princeton.edu
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Jeremy G. SiekProfessor of Computer Science, Indiana UniversityVerified email at indiana.edu
Aaron TuronMPI-SWSVerified email at mpi-sws.org
Dan LicataWesleyan UniversityVerified email at wesleyan.edu
Olek GierczakNortheastern UniversityVerified email at northeastern.edu
Andrew WagnerNortheastern UniversityVerified email at ccs.neu.edu
Dustin JamnerMassachusetts Institute of TechnologyVerified email at mit.edu
Aaron WeissSoftware Engineer at RobloxVerified email at roblox.com
David WalkerPrinceton UniversityVerified email at cs.princeton.edu

Amal Ahmed

Northeastern University

Verified email at ccs.neu.edu - Homepage

Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Step-indexed syntactic logical relations for recursive and quantified types A Ahmed European Symposium on Programming, 69-83, 2006	289	2006
State-dependent representation independence A Ahmed, D Dreyer, A Rossberg ACM SIGPLAN Notices 44 (1), 340-353, 2009	236	2009
Semantics of types for mutable state AJ Ahmed Princeton University, 2004	225	2004
Blame for all A Ahmed, RB Findler, JG Siek, P Wadler Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011	184	2011
Logical relations for fine-grained concurrency AJ Turon, J Thamsborg, A Ahmed, L Birkedal, D Dreyer Acm Sigplan Notices 48 (1), 343-356, 2013	113	2013
L^ 3: a linear language with locations A Ahmed, M Fluet, G Morrisett Fundamenta Informaticae 77 (4), 397-449, 2007	110	2007
Imperative self-adjusting computation UA Acar, A Ahmed, M Blume Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008	107	2008
Logical step-indexed logical relations D Dreyer, A Ahmed, L Birkedal Logical Methods in Computer Science 7, 2011	100	2011
An equivalence-preserving CPS translation via multi-language semantics A Ahmed, M Blume Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011	99	2011
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	98	2019
Verifying an Open Compiler Using Multi-Language Semantics JT Perconti, A Ahmed Programming Languages and Systems, 128-148, 2014	96	2014
Provenance as dependency analysis J Cheney, A Ahmed, UA Acar Database Programming Languages: 11th International Symposium, DBPL 2007 …, 2007	96	2007
Typed closure conversion preserves observational equivalence A Ahmed, M Blume Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008	95	2008
Linear regions are all you need M Fluet, G Morrisett, A Ahmed Programming Languages and Systems: 15th European Symposium on Programming …, 2006	91	2006
Gradual type theory MS New, DR Licata, A Ahmed Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019	90	2019
Logical step-indexed logical relations D Dreyer, A Ahmed, L Birkedal 2009 24th Annual IEEE Symposium on Logic In Computer Science, 71-80, 2009	87	2009
Noninterference for free WJ Bowman, A Ahmed ACM SIGPLAN Notices 50 (9), 101-113, 2015	79	2015
Theorems for free for free: Parametricity, with and without types A Ahmed, D Jamner, JG Siek, P Wadler Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017	77	2017
Fully abstract compilation via universal embedding MS New, WJ Bowman, A Ahmed Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016	77	2016
Abstract predicates and mutable ADTs in Hoare type theory A Nanevski, A Ahmed, G Morrisett, L Birkedal Programming Languages and Systems: 16th European Symposium on Programming …, 2007	77	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors