Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 PLDI
Radu Grigore

Registered user since Wed 1 Jul 2015

Name:Radu Grigore
Country:United Kingdom
Affiliation:Facebook
Personal website:http://rgrig.appspot.com/

Contributions

Infer Practitioners 2021 Compositional checking of safety temporal properties
Show activities from other conferences

PLDI 2021-profile
View general profile