Amal Ahmed

Citirano

	Sve	Od 2020.
Citati	3634	1524
H-indeks	37	24
i10-indeks	48	41

360

180

270

2003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202518 30 42 61 61 61 107 115 117 113 117 135 145 168 212 217 355 258 359 266 267 340 34

Javni pristup

Prikaži sve

19 članaka

0 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Greg MorrisettDean and Professor, Cornell UniversityPotvrđena adresa e-pošte na cornell.edu
Lars BirkedalDept. of Computer Science, Aarhus UniversityPotvrđena adresa e-pošte na cs.au.dk
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusPotvrđena adresa e-pošte na mpi-sws.org
Daniel PattersonAssistant Teaching Professor, Northeastern UniversityPotvrđena adresa e-pošte na dbpmail.net
Max S. NewAssistant Professor, University of MichiganPotvrđena adresa e-pošte na umich.edu
Umut A. AcarCarnegie Mellon University, Department of Computer SciencePotvrđena adresa e-pošte na cs.cmu.edu
Matthew FluetRochester Institute of TechnologyPotvrđena adresa e-pošte na cs.rit.edu
William J. BowmanUniversity of British ColumbiaPotvrđena adresa e-pošte na cs.ubc.ca
Matthias BlumeGooglePotvrđena adresa e-pošte na google.com
James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghPotvrđena adresa e-pošte na inf.ed.ac.uk
Andrew W. AppelProfessor of Computer Science, Princeton UniversityPotvrđena adresa e-pošte na princeton.edu
Philip WadlerUniversity of Edinburgh and IOHK/IOGPotvrđena adresa e-pošte na inf.ed.ac.uk
Jeremy G. SiekProfessor of Computer Science, Indiana UniversityPotvrđena adresa e-pošte na indiana.edu
Aaron TuronMPI-SWSPotvrđena adresa e-pošte na mpi-sws.org
Dan LicataWesleyan UniversityPotvrđena adresa e-pošte na wesleyan.edu
Olek GierczakNortheastern UniversityPotvrđena adresa e-pošte na northeastern.edu
Andrew WagnerNortheastern UniversityPotvrđena adresa e-pošte na ccs.neu.edu
Dustin JamnerMassachusetts Institute of TechnologyPotvrđena adresa e-pošte na mit.edu
Aaron WeissSoftware Engineer at RobloxPotvrđena adresa e-pošte na roblox.com
Robert Bruce FindlerNorthwestern UniversityPotvrđena adresa e-pošte na cs.northwestern.edu

Prati

Amal Ahmed

Northeastern University

Potvrđena adresa e-pošte na ccs.neu.edu - Početna stranica

Programming Languages


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
Step-indexed syntactic logical relations for recursive and quantified types A Ahmed European Symposium on Programming, 69-83, 2006	288	2006
State-dependent representation independence A Ahmed, D Dreyer, A Rossberg ACM SIGPLAN Notices 44 (1), 340-353, 2009	232	2009
Semantics of types for mutable state AJ Ahmed Princeton University, 2004	229	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	186	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	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	106	2008
Logical step-indexed logical relations D Dreyer, A Ahmed, L Birkedal Logical Methods in Computer Science 7, 2011	102	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	100	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	99	2019
Typed closure conversion preserves observational equivalence A Ahmed, M Blume Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008	97	2008
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
Gradual type theory MS New, DR Licata, A Ahmed Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019	93	2019
Linear regions are all you need M Fluet, G Morrisett, A Ahmed Programming Languages and Systems: 15th European Symposium on Programming …, 2006	93	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
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	78	2017
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
Oxide: The essence of rust A Weiss, O Gierczak, D Patterson, A Ahmed arXiv preprint arXiv:1903.00982, 2019	76	2019

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori