Joseph Tassarotti - POPL 2020

Registered user since Fri 15 May 2015

Name: Joseph Tassarotti

Affiliation: Boston College

Contributions

CoqPL 2020	Committee Member in Program Committee within the CoqPL-track Session Chair of Contributed Talks & Coq Developers (part of CoqPL) Author of Verifying concurrent Go code in Coq with Goose within the CoqPL-track
Show activities from other conferences