Amal Ahmed

Best Publications

• Step-indexed syntactic logical relations for recursive and quantified types

  Amal Ahmed

  465
  Citations

• Step-Indexed syntactic logical relations for recursive and quantified types

  Unknown

  265
  Citations

• State-dependent representation independence

  Amal Ahmed;Derek Dreyer;Andreas Rossberg

  232
  Citations

• Semantics of types for mutable state

  Unknown

  178
  Citations

• Blame for all

  Amal Ahmed;Robert Bruce Findler;Jeremy G. Siek;Philip Wadler

  140
  Citations

• Logical Step-Indexed Logical Relations

  Derek Dreyer;Amal Ahmed;Lars Birkedal

  118
  Citations

• L 3 : A Linear Language with Locations

  Amal Ahmed;Matthew Fluet;Greg Morrisett

  111
  Citations

• Imperative self-adjusting computation

  Unknown

  105
  Citations

• Logical relations for fine-grained concurrency

  Aaron J. Turon;Jacob Thamsborg;Amal Ahmed;Lars Birkedal

  102
  Citations

• Verifying an Open Compiler Using Multi-language Semantics

  Unknown

  95
  Citations

• An equivalence-preserving CPS translation via multi-language semantics

  Unknown

  88
  Citations

• Typed closure conversion preserves observational equivalence

  Unknown

  88
  Citations

• Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work

  Unknown

  83
  Citations

• Fully abstract compilation via universal embedding

  Unknown

  83
  Citations

• Parametric polymorphism through run-time sealing or, theorems for low, low prices!

  Unknown

  80
  Citations

• Linear regions are all you need

  Matthew Fluet;Greg Morrisett;Amal Ahmed

  80
  Citations

• Linear regions are all you need

  Matthew Fluet;Greg Morrisett;Amal Ahmed

  80
  Citations

• Abstract predicates and mutable adts in hoare type theory

  Aleksandar Nanevski;Amal Ahmed;Greg Morrisett;Lars Birkedal

  79
  Citations

• A stratified semantics of general references embeddable in higher-order logic

  A.J. Ahmed;A.W. Appel;R. Virga

  75
  Citations

• Blame for all

  Amal Ahmed;Robert Bruce Findler;Jeremy G. Siek;Philip Wadler

  31
  Citations