Amal Ahmed

Registered user since Sat 2 Apr 2016

Name:Amal Ahmed
Country:United States
Affiliation:Northeastern University, USA
Research interests:correct and secure compilation, linking types for multi-language software, typed compilation of dependent types, semantics and logical relations, gradual typing, safe language interoperability

Contributions

PriSC 2018 On Compositional Compiler Correctness and Fully Abstract Compilation
Organizer in Organizing Committee within the PriSC 2018-track
Session Chair of Session 1 (part of PriSC 2018)
Committee Member in Program Committee within the PriSC 2018-track
POPL 2018 Correctness of Speculative Optimizations with Dynamic Deoptimization
Type-Preserving CPS Translation of Σ and Π Types is Not Not Possible
Show activities from other conferences

POPL 2018-profile
View general profile