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) Verifying concurrent Go code in Coq with Goose
Show activities from other conferences