Blogs (61) >>
ECOOP and ISSTA
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
Amal Ahmed

Registered user since Sat 2 Apr 2016

Name: Amal Ahmed

Bio: My research involves the use of programming-language semantics and type systems for reasoning about imperative code, security, concurrency, compiler transformations, and provenance. My present focus is on how to build verified compilers that ensure safe linking of code compiled from different programming languages. This includes work on correct and secure compilation, gradual typing, dependent types, and safe language interoperability.

Country: United States

Affiliation: Northeastern University

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

WoSSCA 2018Speaker in Attendees within the WoSSCA 2018-track
Committee Member in Program Committee within the WoSSCA 2018-track
ECOOP and ISSTASpeaker in Speakers within the Summer School-track
Mentor in Mentors within the Summer School-track
Speaker of Compiler Verification for a Multi-Language World within the Summer School-track
Show activities from other conferences

ECOOP and ISSTA-profile
View general profile