ECOOP 2015 (series) / Amal Ahmed
Registered user since Sat 2 Apr 2016
Name:Amal Ahmed
Country:United States
Affiliation:Northeastern University
Personal website:http://www.ccs.neu.edu/home/amal/
Research interests:Programming languages, type systems, semantics, compiler correctness, gradual typing, contracts, language interoperability, state and effects, dependent types, provenance, language-based security, typed intermediate languages, proof-carrying code.
Contributions
| STOP 2015 | Committee Member in Program Committee within the STOP-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ECOOP 2015-profile
View general profile
View general profile