Concepedia

Amal Ahmed

AA

43

Publications

1.8K

Citations

27

H-Index

2003

Active since

Affiliations

Northeastern University(Current)

Toyota Technological Institute at Chicago

University of Edinburgh

Max Planck Institute for Software Systems

Indiana University Bloomington

Amal Ahmed is an author at Northeastern University specializing in formal methods, formal verification, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningProgram AnalysisSoftware AnalysisVerificationSemanticsLanguage

Publications per year

2003–2023

43

Publications

43

State-dependent representation independence

Amal Ahmed, Derek Dreyer, Andreas Rossberg · 2009 · 179 citations

Engineering, Representation Theory, Automated Reasoning +15

Semantics of types for mutable state

Amal Ahmed · 2004 · 101 citations

Imperative self-adjusting computation

Umut A. Acar, Amal Ahmed, M. Blume · 2008 · 85 citations

Engineering, Computer Architecture, Computational Complexity +19

Logical Step-Indexed Logical Relations

Derek Dreyer, Amal Ahmed, Lars Birkedal · 2009 · 80 citations

Logical Relation, Logical Relations, Engineering +12

Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek et al. · ACM SIGPLAN Notices · 2011 · 77 citations

Engineering, Relational Parametricity, Type Theory +18

Rows per page

1–5 of 43