Amal Ahmed
Amal Ahmed
Verified email at ccs.neu.edu - Homepage
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
1902006
State-dependent representation independence
A Ahmed, D Dreyer, A Rossberg
ACM SIGPLAN Notices 44 (1), 340-353, 2009
1832009
Semantics of types for mutable state
AJ Ahmed
Princeton University, 2004
1282004
Blame for all
A Ahmed, RB Findler, JG Siek, P Wadler
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
1102011
Imperative self-adjusting computation
UA Acar, A Ahmed, M Blume
ACM SIGPLAN Notices 43 (1), 309-322, 2008
842008
Provenance as dependency analysis
J Cheney, A Ahmed, UA Acar
International Symposium on Database Programming Languages, 138-152, 2007
832007
L^ 3: a linear language with locations
A Ahmed, M Fluet, G Morrisett
Fundamenta Informaticae 77 (4), 397-449, 2007
822007
Abstract predicates and mutable ADTs in Hoare type theory
A Nanevski, A Ahmed, G Morrisett, L Birkedal
European Symposium on Programming, 189-204, 2007
742007
Logical relations for fine-grained concurrency
AJ Turon, J Thamsborg, A Ahmed, L Birkedal, D Dreyer
ACM SIGPLAN Notices 48 (1), 343-356, 2013
682013
Parametric polymorphism through run-time sealing or, theorems for low, low prices!
J Matthews, A Ahmed
European Symposium on Programming, 16-31, 2008
652008
Typed closure conversion preserves observational equivalence
A Ahmed, M Blume
Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008
622008
Logical step-indexed logical relations
D Dreyer, A Ahmed, L Birkedal
arXiv preprint arXiv:1103.0510, 2011
592011
An equivalence-preserving CPS translation via multi-language semantics
A Ahmed, M Blume
Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011
572011
L3: A Linear Language with Locations
G Morrisett, A Ahmed, M Fluet
International Conference on Typed Lambda Calculi and Applications, 293-307, 2005
572005
Verifying an Open Compiler Using Multi-Language Semantics
JT Perconti, A Ahmed
Programming Languages and Systems, 128-148, 2014
552014
Logical step-indexed logical relations
D Dreyer, A Ahmed, L Birkedal
2009 24th Annual IEEE Symposium on Logic In Computer Science, 71-80, 2009
552009
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
552002
Blame for all
A Ahmed, RB Findler, J Matthews, P Wadler
Proceedings for the 1st workshop on Script to Program Evolution, 1-13, 2009
532009
Linear regions are all you need
M Fluet, G Morrisett, A Ahmed
European Symposium on Programming, 7-21, 2006
512006
Fully abstract compilation via universal embedding
MS New, WJ Bowman, A Ahmed
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
442016
The system can't perform the operation now. Try again later.
Articles 1–20