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 @ ICFP 2021 Speaker of Managing Your Research, Your Advisor, Your Ph.D. within the PLMW @ ICFP 2021-track
POPL 2022 Committee Member in Program Committee within the POPL-track
SPLASH 2021 Author of Future of Conferences within the SIGPLAN Business-track
PriSC 2021 Committee Member in Program Committee within the PriSC 2021-track
PLMW @ ICFP 2020 Speaker of Managing your Research, your Advisor, your PhD within the PLMW @ ICFP 2020-track
SPLASH 2022 OOPSLA Review Committee Co-Chair in Organizing Committee
Chair in Review Committee within the OOPSLA-track
PLMW@PLDI 2020 Speaker of Technical talk: Compositional Compiler Correctness within the PLMW@PLDI 2020-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
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)
PLDI 2020 Committee Member in External Program Committee within the PLDI Research Papers-track
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
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
ICW 2019 Committee Member in Program Committee within the ICW 2019-track
PriSC 2019 Committee Member in Organizing Committee within the PriSC 2019-track
WoSSCA 2018 Speaker in Attendees within the WoSSCA 2018-track
Committee Member in Program Committee within the WoSSCA 2018-track
ETAPS 2019 Committee Member in Steering Committee
PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
POPL 2019 Author of Gradual Type Theory within the Research Papers-track
ML 2018 Author of Rust Distilled: An Expressive Tower of Languages within the ML 2018-track
ICFP 2019 Author of The Next 700 Compiler Correctness Theorems. A Functional Pearl. within the Research Papers-track
SPLASH 2018 Speaker in Speakers within the SPLASH-I-track
Speaker of All the languages together within the SPLASH-I-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
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
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
PLDI 2018 Author of Typed Closure Conversion for the Calculus of Constructions within the PLDI Research Papers-track
SCM 2017 Committee Member in Organizing Committee within the SCM-track
ICFP 2017 Author of Theorems for Free for Free: Parametricity, With and Without Types within the 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
PLMW 2016 Session Chair of 2 (part of PLMW)
Session Chair of 1 (part of PLMW)
Committee Member in Organizers within the PLMW-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
PLDI 2017 Author of FunTAL: Reasonably Mixing a Functional Language with Assembly within the PLDI 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
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
STOP 2015 Committee Member in Program Committee within the STOP-track