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

PLMW @ POPL 2023 Presenter of Introduction within the PLMW @ POPL 2023-track
SPLASH 2023 Committee Member in Steering Committee
POPL 2023 Program Chair in Program Committee within the POPL-track
Session Chair of Welcome (part of POPL)
Program Chair in Organizing Committee
Session Chair of Invited Talk (part of POPL)
LAFI 2023 Author of New foundations for probabilistic separation logic within the LAFI 2023-track
PriSC 2023 Author of Semantic Intermediate Representations for Sound Language Interoperability within the PriSC 2023-track
SPLASH 2022 Committee Member in Steering Committee
Session Chair of Assurance (part of OOPSLA)
Invited Speaker of Managing Your Research, Your Advisor, Your PhD within the PLMW-track
OOPSLA Review Committee Chair in Organizing Committee
Session Chair of Session 1 (part of V-OOPSLA)
Invited Speaker in Speakers & Panelists within the PLMW-track
Session Chair of Data (part of OOPSLA)
Chair in Review Committee within the OOPSLA-track
Committee Member in Overview Committee within the COVID Time Papers In Person-track
HOPE 2022 Author of Enabling Safe Shared-Memory Interoperability in WebAssembly within the HOPE 2022-track
ICFP 2022 Author of ANF Preserves Dependent Types up to Extensional Equality within the ICFP Papers and Events-track
PLDI 2022 Panelist in Organizing Committee within the W@PLDI-track
Author of Semantic Soundness for Language Interoperability within the PLDI-track
POPL 2022 Committee Member in Program Committee within the POPL-track
SPLASH 2021 Author of Future of Conferences within the SIGPLAN Business-track
PLMW @ ICFP 2021 Speaker of Managing Your Research, Your Advisor, Your Ph.D. within the PLMW @ ICFP 2021-track
PriSC 2021 Committee Member in Program Committee within the PriSC 2021-track
SPLASH 2020 AMA Speaker in Speakers & Panelists within the PLMW-track
Speaker of Ask Me Anything: Amal Ahmed within the PLMW-track
Committee Member in Review Committee within the OOPSLA-track
PLMW @ ICFP 2020 Speaker of Managing your Research, your Advisor, your PhD within the PLMW @ ICFP 2020-track
PLDI 2020 Committee Member in External Program Committee within the PLDI Research Papers-track
PLMW@PLDI 2020 Speaker of Technical talk: Compositional Compiler Correctness within the PLMW@PLDI 2020-track
POPL 2020 Committee Member in Organizers within the W@POPL Dinner-track
Author of Graduality and Parametricity: Together Again for the First Time within the Research Papers-track
WGT 2020 Committee Member in Program Committee within the WGT-track
Author of Foreign Function Typing: Semantic Type Soundness for FFIs within the WGT-track
Session Chair of Gradual Criteria (part of WGT)
PLMW @ ICFP 2019 Author of Managing your research, your advisor, your PhD within the PLMW @ ICFP 2019-track
Committee Member in Speakers within the PLMW @ ICFP 2019-track
Author of Panel Discussion: Research in Functional Programming within the PLMW @ ICFP 2019-track
ICFP 2019 Author of The Next 700 Compiler Correctness Theorems. A Functional Pearl. within the Research Papers-track
PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
ETAPS 2019 Committee Member in Steering Committee
ICW 2019 Committee Member in Program Committee within the ICW 2019-track
POPL 2019 Author of Gradual Type Theory within the Research Papers-track
PriSC 2019 Committee Member in Organizing Committee within the PriSC 2019-track
SPLASH 2018 Speaker in Speakers within the SPLASH-I-track
Speaker of All the languages together within the SPLASH-I-track
ICFP 2018 Author of Graduality from Embedding-Projection Pairs within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
ML 2018 Author of Rust Distilled: An Expressive Tower of Languages within the ML 2018-track
ECOOP and ISSTA 2018 Speaker in Speakers within the Summer School-track
Mentor in Mentors within the Summer School-track
Speaker of Compiler Verification for a Multi-Language World within the Summer School-track
WoSSCA 2018 Speaker in Attendees within the WoSSCA 2018-track
Committee Member in Program Committee within the WoSSCA 2018-track
PLDI 2018 Author of Typed Closure Conversion for the Calculus of Constructions within the PLDI Research Papers-track
POPL 2018 Author 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
PriSC 2018 Author of On Compositional Compiler Correctness and Fully Abstract Compilation within the PriSC 2018-track
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
PLMW 2017 Author of Panel Discussion: Careers in Programming Languages within the PLMW 2017-track
Author of Compositional Compiler Correctness within the PLMW 2017-track
ICFP 2017 Author of Theorems for Free for Free: Parametricity, With and Without Types within the Research Papers-track
ECOOP 2017 Speaker in Speakers within the ECOOP Summer School-track
Committee Member in Mentors within the ECOOP Summer School-track
Speaker of Compiler Verification for a Multi-Language World within the ECOOP Summer School-track
PLDI 2017 Author of FunTAL: Reasonably Mixing a Functional Language with Assembly within the PLDI Research Papers-track
SCM 2017 Committee Member in Organizing Committee within the SCM-track
ICFP 2016 Author of Fully Abstract Compilation via Universal Embedding within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
PLMW 2016 Session Chair of 2 (part of PLMW)
Session Chair of 1 (part of PLMW)
Committee Member in Organizers within the PLMW-track
STOP 2015 Committee Member in Program Committee within the STOP-track