World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
34
Citations
3842
World Ranking
12307
National Ranking
4982

Best Publications

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

    Amal Ahmed

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

    Unknown

  • State-dependent representation independence

    Amal Ahmed;Derek Dreyer;Andreas Rossberg

  • Semantics of types for mutable state

    Unknown

  • Blame for all

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

  • Logical Step-Indexed Logical Relations

    Derek Dreyer;Amal Ahmed;Lars Birkedal

  • L 3 : A Linear Language with Locations

    Amal Ahmed;Matthew Fluet;Greg Morrisett

  • Imperative self-adjusting computation

    Unknown

  • Logical relations for fine-grained concurrency

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

  • Verifying an Open Compiler Using Multi-language Semantics

    Unknown

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

    Unknown

  • Typed closure conversion preserves observational equivalence

    Unknown

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

    Unknown

  • Fully abstract compilation via universal embedding

    Unknown

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

    Unknown

  • Linear regions are all you need

    Matthew Fluet;Greg Morrisett;Amal Ahmed

  • Linear regions are all you need

    Matthew Fluet;Greg Morrisett;Amal Ahmed

  • Abstract predicates and mutable adts in hoare type theory

    Aleksandar Nanevski;Amal Ahmed;Greg Morrisett;Lars Birkedal

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

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

  • Blame for all

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

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Recently Published Articles