Registered user since Fri 15 May 2015

Name: Joseph Tassarotti

Affiliation: Boston College

Contributions

PLDI 2019 Argosy: Verifying Layered Storage Systems with Recovery Refinement
Show activities from other conferences

PLDI 2019-profile
View general profile