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


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

SPLASH 2020-profile
View general profile