conf.researchr.org / 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
2025
2024
SPLASH
- Author of Gradually Typed Languages Should Be Vigilant! within the OOPSLA 2024-track
- Steering Committee Member in Steering Committee
- Committee Member in Program Committee within the Doctoral Symposium-track
- Author of Realistic Realizability: Specifying ABIs You Can Count On within the OOPSLA 2024-track
RTFM
- Panelist of Panel: Promotion and Tenure within the RTFM 2024: Red-Hot Topics in Faculty Mentoring-track
- Committee Member in Organizing Committee within the RTFM 2024: Red-Hot Topics in Faculty Mentoring-track
- Session Chair of Session 3 (part of RTFM 2024: Red-Hot Topics in Faculty Mentoring)
- Moderator of Panel: Work-Life Balance, Service, and Teaching within the RTFM 2024: Red-Hot Topics in Faculty Mentoring-track
- Organizer of Opening within the RTFM 2024: Red-Hot Topics in Faculty Mentoring-track
PriSC
2023
SPLASH
ICFP
POPL
2022
SPLASH
- 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