Joseph Tassarotti -

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
PLDI 2019	Author of Argosy: Verifying Layered Storage Systems with Recovery Refinement within the PLDI Research Papers-track
POPL 2019	Author of A Separation Logic for Concurrent Randomized Programs within the Research Papers-track
ICFP 2018	Author of MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic within the Research Papers-track
PLDI 2015	Author of Verifying Read-Copy-Update in a Logic for Weak Memory within the Research Papers-track