Segui
Amal Ahmed
Amal Ahmed
Northeastern University
Email verificata su ccs.neu.edu - Home page
Titolo
Citata da
Citata da
Anno
Step-indexed syntactic logical relations for recursive and quantified types
A Ahmed
European Symposium on Programming, 69-83, 2006
2892006
State-dependent representation independence
A Ahmed, D Dreyer, A Rossberg
ACM SIGPLAN Notices 44 (1), 340-353, 2009
2332009
Semantics of types for mutable state
AJ Ahmed
Princeton University, 2004
2292004
Blame for all
A Ahmed, RB Findler, JG Siek, P Wadler
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
1862011
Logical relations for fine-grained concurrency
AJ Turon, J Thamsborg, A Ahmed, L Birkedal, D Dreyer
Acm Sigplan Notices 48 (1), 343-356, 2013
1112013
L^ 3: a linear language with locations
A Ahmed, M Fluet, G Morrisett
Fundamenta Informaticae 77 (4), 397-449, 2007
1112007
Imperative self-adjusting computation
UA Acar, A Ahmed, M Blume
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008
1062008
Logical step-indexed logical relations
D Dreyer, A Ahmed, L Birkedal
Logical Methods in Computer Science 7, 2011
1022011
An equivalence-preserving CPS translation via multi-language semantics
A Ahmed, M Blume
Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011
1002011
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
992019
Typed closure conversion preserves observational equivalence
A Ahmed, M Blume
Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008
972008
Verifying an Open Compiler Using Multi-Language Semantics
JT Perconti, A Ahmed
Programming Languages and Systems, 128-148, 2014
962014
Provenance as dependency analysis
J Cheney, A Ahmed, UA Acar
Database Programming Languages: 11th International Symposium, DBPL 2007 …, 2007
962007
Gradual type theory
MS New, DR Licata, A Ahmed
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
932019
Linear regions are all you need
M Fluet, G Morrisett, A Ahmed
Programming Languages and Systems: 15th European Symposium on Programming …, 2006
932006
Logical step-indexed logical relations
D Dreyer, A Ahmed, L Birkedal
2009 24th Annual IEEE Symposium on Logic In Computer Science, 71-80, 2009
872009
Noninterference for free
WJ Bowman, A Ahmed
ACM SIGPLAN Notices 50 (9), 101-113, 2015
792015
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
782017
Fully abstract compilation via universal embedding
MS New, WJ Bowman, A Ahmed
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
772016
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20