POPL 2023
Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States
POPL 2023 (series) / Amal Ahmed
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

PLMW @ POPL 2023 Introduction
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 New foundations for probabilistic separation logic
PriSC 2023 Semantic Intermediate Representations for Sound Language Interoperability
Show activities from other conferences

POPL 2023-profile
View general profile