Seguir
Amal Ahmed
Amal Ahmed
Dirección de correo verificada de ccs.neu.edu - Página principal
Título
Citado por
Citado por
Año
Step-indexed syntactic logical relations for recursive and quantified types
A Ahmed
European Symposium on Programming, 69-83, 2006
2732006
State-dependent representation independence
A Ahmed, D Dreyer, A Rossberg
ACM SIGPLAN Notices 44 (1), 340-353, 2009
2272009
Semantics of types for mutable state
AJ Ahmed
Princeton University, 2004
2112004
Blame for all
A Ahmed, RB Findler, JG Siek, P Wadler
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
1762011
Logical relations for fine-grained concurrency
AJ Turon, J Thamsborg, A Ahmed, L Birkedal, D Dreyer
Acm Sigplan Notices 48 (1), 343-356, 2013
1062013
Imperative self-adjusting computation
UA Acar, A Ahmed, M Blume
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008
1052008
L^ 3: a linear language with locations
A Ahmed, M Fluet, G Morrisett
Fundamenta Informaticae 77 (4), 397-449, 2007
1042007
An equivalence-preserving CPS translation via multi-language semantics
A Ahmed, M Blume
Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011
922011
Provenance as dependency analysis
J Cheney, A Ahmed, UA Acar
Database Programming Languages: 11th International Symposium, DBPL 2007 …, 2007
922007
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
902019
Verifying an Open Compiler Using Multi-Language Semantics
JT Perconti, A Ahmed
Programming Languages and Systems, 128-148, 2014
902014
Typed closure conversion preserves observational equivalence
A Ahmed, M Blume
Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008
902008
Logical step-indexed logical relations
D Dreyer, A Ahmed, L Birkedal
Logical Methods in Computer Science 7, 2011
862011
Logical step-indexed logical relations
D Dreyer, A Ahmed, L Birkedal
2009 24th Annual IEEE Symposium on Logic In Computer Science, 71-80, 2009
862009
Linear regions are all you need
M Fluet, G Morrisett, A Ahmed
Programming Languages and Systems: 15th European Symposium on Programming …, 2006
842006
Gradual type theory
MS New, DR Licata, A Ahmed
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
792019
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
772007
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
762017
Noninterference for free
WJ Bowman, A Ahmed
ACM SIGPLAN Notices 50 (9), 101-113, 2015
762015
Fully abstract compilation via universal embedding
MS New, WJ Bowman, A Ahmed
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
752016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20