Amal Ahmed

Cited by

	All	Since 2018
Citations	3246	1703
h-index	34	26
i10-index	44	39

380

190

285

20032004200520062007200820092010201120122013201420152016201720182019202020212022202319 34 41 67 61 59 109 116 115 112 117 137 147 165 211 227 346 249 361 268 252

Public access

View all

16 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
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
Daniel PattersonAssistant Teaching Professor, Northeastern UniversityVerified email at dbpmail.net
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 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
Dan LicataWesleyan UniversityVerified email at wesleyan.edu
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
Aaron WeissSoftware Engineer at RobloxVerified email at roblox.com
Olek GierczakNortheastern UniversityVerified email at northeastern.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	269	2006
State-dependent representation independence A Ahmed, D Dreyer, A Rossberg ACM SIGPLAN Notices 44 (1), 340-353, 2009	224	2009
Semantics of types for mutable state AJ Ahmed Princeton University, 2004	208	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	171	2011
Imperative self-adjusting computation UA Acar, A Ahmed, M Blume Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008	106	2008
L^ 3: a linear language with locations A Ahmed, M Fluet, G Morrisett Fundamenta Informaticae 77 (4), 397-449, 2007	104	2007
Logical relations for fine-grained concurrency AJ Turon, J Thamsborg, A Ahmed, L Birkedal, D Dreyer Acm Sigplan Notices 48 (1), 343-356, 2013	103	2013
Provenance as dependency analysis J Cheney, A Ahmed, UA Acar Database Programming Languages: 11th International Symposium, DBPL 2007 …, 2007	93	2007
An equivalence-preserving CPS translation via multi-language semantics A Ahmed, M Blume Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011	87	2011
Typed closure conversion preserves observational equivalence A Ahmed, M Blume Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008	87	2008
Verifying an Open Compiler Using Multi-Language Semantics JT Perconti, A Ahmed Programming Languages and Systems, 128-148, 2014	85	2014
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	83	2019
Logical step-indexed logical relations D Dreyer, A Ahmed, L Birkedal Logical Methods in Computer Science 7, 2011	83	2011
Logical step-indexed logical relations D Dreyer, A Ahmed, L Birkedal 2009 24th Annual IEEE Symposium on Logic In Computer Science, 71-80, 2009	82	2009
Linear regions are all you need M Fluet, G Morrisett, A Ahmed Programming Languages and Systems: 15th European Symposium on Programming …, 2006	81	2006
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
Gradual type theory MS New, DR Licata, A Ahmed Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019	76	2019
Noninterference for free WJ Bowman, A Ahmed ACM SIGPLAN Notices 50 (9), 101-113, 2015	73	2015
Parametric polymorphism through run-time sealing or, theorems for low, low prices! J Matthews, A Ahmed European Symposium on Programming, 16-31, 2008	73	2008
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	70	2017

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