SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Alan Jeffrey

Registered user since Sun 18 Dec 2016

Name: Alan Jeffrey

Affiliation: Mozilla Research

Personal website: http://asaj.org/

Research interests: Programming Languages, Type Systems, Security, Reactive Programming

Contributions

REBLS 2020 PC Member in Program Committee within the REBLS 2020-track
SPLASH 2020 Pomsets with Preconditions: A Simple Model of Relaxed Memory
Show activities from other conferences

SPLASH 2020-profile
View general profile