Write a Blog >>
PLDI 2017
Sun 18 - Fri 23 June 2017 Barcelona, Spain
co-located with PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / PLDI 2017 (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, compilation of dependent types, semantics and logical relations, gradual typing, safe language interoperability

Contributions

Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile