Amal Ahmed

Cited by

	All	Since 2017
Citations	2826	1504
h-index	31	25
i10-index	41	35

360

180

270

2003200420052006200720082009201020112012201320142015201620172018201920202021202220 30 42 66 64 60 119 108 117 107 119 137 138 158 209 233 335 254 357 115

Public access

View all

17 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Greg MorrisettDean and Professor, Cornell UniversityVerified email at cornell.edu
Umut A. AcarCarnegie Mellon University, Department of Computer ScienceVerified email at cs.cmu.edu
Max S. NewAssistant Professor, University of MichiganVerified email at umich.edu
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Matthias BlumeGoogleVerified email at google.com
Matthew FluetRochester Institute of TechnologyVerified email at cs.rit.edu
William J. BowmanUniversity of British ColumbiaVerified email at cs.ubc.ca
James CheneyReader, Laboratory for Foundations of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Daniel PattersonPhD Student, Northeastern UniversityVerified email at dbpmail.net
Andrew W. AppelProfessor of Computer Science, Princeton UniversityVerified email at princeton.edu
Philip WadlerUniversity of Edinburgh and IOHKVerified 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
Dustin JamnerMassachusetts Institute of TechnologyVerified email at mit.edu
David WalkerPrinceton UniversityVerified email at cs.princeton.edu
Robby Findler, Robert Bruce FindlerNorthwestern UniversityVerified email at cs.northwestern.edu
Dan LicataWesleyan UniversityVerified email at wesleyan.edu
Aaron WeissSoftware Engineer at RobloxVerified email at roblox.com
Aleksandar NanevskiIMDEA Software InstituteVerified email at imdea.org

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	245	2006
State-dependent representation independence A Ahmed, D Dreyer, A Rossberg ACM SIGPLAN Notices 44 (1), 340-353, 2009	215	2009
Semantics of types for mutable state AJ Ahmed Princeton University, 2004	177	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	141	2011
Imperative self-adjusting computation UA Acar, A Ahmed, M Blume Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008	103	2008
Logical relations for fine-grained concurrency AJ Turon, J Thamsborg, A Ahmed, L Birkedal, D Dreyer ACM SIGPLAN Notices 48 (1), 343-356, 2013	90	2013
Provenance as dependency analysis J Cheney, A Ahmed, UA Acar International Symposium on Database Programming Languages, 138-152, 2007	90	2007
L^ 3: a linear language with locations A Ahmed, M Fluet, G Morrisett Fundamenta Informaticae 77 (4), 397-449, 2007	88	2007
Typed closure conversion preserves observational equivalence A Ahmed, M Blume Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008	87	2008
An equivalence-preserving CPS translation via multi-language semantics A Ahmed, M Blume Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011	82	2011
Abstract predicates and mutable ADTs in Hoare type theory A Nanevski, A Ahmed, G Morrisett, L Birkedal European Symposium on Programming, 189-204, 2007	77	2007
Verifying an Open Compiler Using Multi-Language Semantics JT Perconti, A Ahmed Programming Languages and Systems, 128-148, 2014	74	2014
Logical step-indexed logical relations D Dreyer, A Ahmed, L Birkedal 2009 24th Annual IEEE Symposium on Logic In Computer Science, 71-80, 2009	74	2009
Logical step-indexed logical relations D Dreyer, A Ahmed, L Birkedal arXiv preprint arXiv:1103.0510, 2011	73	2011
Parametric polymorphism through run-time sealing or, theorems for low, low prices! J Matthews, A Ahmed European Symposium on Programming, 16-31, 2008	68	2008
Linear regions are all you need M Fluet, G Morrisett, A Ahmed European Symposium on Programming, 7-21, 2006	68	2006
A stratified semantics of general references embeddable in higher-order logic AJ Ahmed, AW Appel, R Virga Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 75-86, 2002	67	2002
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	65	2019
Fully abstract compilation via universal embedding MS New, WJ Bowman, A Ahmed Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016	64	2016
Gradual Type Theory MS New, DR Licata, A Ahmed Proceedings of the ACM on Programming Languages 3 (POPL), 15:1-31, 2019	62	2019

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 this author

Cited by

Co-authors