Amal Ahmed

Amal Ahmed publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Amal Ahmed sits on this spectrum.

Amal Ahmed D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Amal Ahmed sits on this spectrum.

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