Amal Ahmed

Cited by

	All	Since 2019
Citations	3541	1794
h-index	36	25
i10-index	49	43

360

180

270

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202419 32 42 61 57 59 108 114 116 112 115 136 142 165 212 224 355 265 357 261 267 289

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
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
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
William J. BowmanUniversity of British ColumbiaVerified email at cs.ubc.ca
Matthew FluetRochester Institute of TechnologyVerified email at cs.rit.edu
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
Dustin JamnerMassachusetts Institute of TechnologyVerified email at mit.edu
Andrew WagnerNortheastern UniversityVerified email at ccs.neu.edu
David WalkerPrinceton UniversityVerified email at cs.princeton.edu
Aaron WeissSoftware Engineer at RobloxVerified email at roblox.com

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	285	2006
State-dependent representation independence A Ahmed, D Dreyer, A Rossberg ACM SIGPLAN Notices 44 (1), 340-353, 2009	235	2009
Semantics of types for mutable state AJ Ahmed Princeton University, 2004	222	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	182	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	111	2013
L^ 3: a linear language with locations A Ahmed, M Fluet, G Morrisett Fundamenta Informaticae 77 (4), 397-449, 2007	109	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
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	96	2019
An equivalence-preserving CPS translation via multi-language semantics A Ahmed, M Blume Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011	95	2011
Provenance as dependency analysis J Cheney, A Ahmed, UA Acar Database Programming Languages: 11th International Symposium, DBPL 2007 …, 2007	95	2007
Verifying an Open Compiler Using Multi-Language Semantics JT Perconti, A Ahmed Programming Languages and Systems, 128-148, 2014	94	2014
Typed closure conversion preserves observational equivalence A Ahmed, M Blume Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008	94	2008
Logical step-indexed logical relations D Dreyer, A Ahmed, L Birkedal Logical Methods in Computer Science 7, 2011	93	2011
Linear regions are all you need M Fluet, G Morrisett, A Ahmed Programming Languages and Systems: 15th European Symposium on Programming …, 2006	89	2006
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
Gradual type theory MS New, DR Licata, A Ahmed Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019	86	2019
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
Noninterference for free WJ Bowman, A Ahmed ACM SIGPLAN Notices 50 (9), 101-113, 2015	77	2015
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