Amal Ahmed

Registered user since Sat 2 Apr 2016

Name: Amal Ahmed

Country: United States

Affiliation: Northeastern University, USA

Personal website: http://www.ccs.neu.edu/home/amal/

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

WoSSCA 2018Speaker in Attendees
Committee Member in Program Committee
ETAPS 2019Committee Member in Steering Committee
PLDI 2019Committee Member in Program Committee
PriSC 2018Author of On Compositional Compiler Correctness and Fully Abstract Compilation within the PriSC 2018-track
Organizer in Organizing Committee
Session Chair of Session 1 (part of PriSC 2018)
Committee Member in Program Committee
ICFP 2018Author of Graduality from Embedding-Projection Pairs within the Research Papers-track
Committee Member in External Review Committee
PLMW 2017Author of Panel Discussion: Careers in Programming Languages within the PLMW 2017-track
Author of Compositional Compiler Correctness within the PLMW 2017-track
PLDI 2018Author of Typed Closure Conversion for the Calculus of Constructions within the PLDI Research Papers-track
SCM 2017Committee Member in Organizing Committee
ICFP 2017Author of Theorems for Free for Free: Parametricity, With and Without Types within the Research Papers-track
POPL 2018Author of Correctness of Speculative Optimizations with Dynamic Deoptimization within the Research Papers-track
Author of Type-Preserving CPS Translation of Σ and Π Types is Not Not Possible within the Research Papers-track
PLMW 2016Session Chair of 2 (part of PLMW)
Session Chair of 1 (part of PLMW)
Committee Member in Organizers
ECOOP and ISSTASpeaker in Speakers
Mentor in Mentors
Speaker of Compiler Verification for a Multi-Language World within the Summer School-track
PLDI 2017Author of FunTAL: Reasonably Mixing a Functional Language with Assembly within the PLDI Research Papers-track
ECOOP 2017Speaker in Speakers
Committee Member in Mentors
Speaker of Compiler Verification for a Multi-Language World within the ECOOP Summer School-track
ICFP 2016Author of Fully Abstract Compilation via Universal Embedding within the Research Papers-track
Committee Member in External Review Committee
STOP 2015Committee Member in Program Committee