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
2022
SPLASH
- Committee Member in Steering Committee
- Session Chair of Assurance (part of OOPSLA)
- Managing Your Research, Your Advisor, Your PhD
- 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
SPLASH 2022-profile
View general profile
View general profile