Joseph Tassarotti

Registered user since Fri 15 May 2015

Name:Joseph Tassarotti
Country:United States
Affiliation:Boston College

Contributions

POPL 2023 Committee Member in Program Committee within the POPL-track
PLDI 2022 Author of (PLDI 2021) Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic within the SIGPLAN Track-track
LAFI 2022 Committee Member in Program Committee within the LAFI-track
CoqPL 2022 Invited Speaker of Verifying Concurrent, Crash-Safe Systems with Perennial within the CoqPL-track
Invited Speaker in Invited speaker within the CoqPL-track
CPP 2022 Committee Member in Program Committee within the CPP 2022-track
POPL 2022 Author of A Separation Logic for Negative Dependence within the POPL-track
PLDI 2021 Author of Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic within the PLDI-track
CPP 2021 Author of A Formal Proof of PAC Learnability for Decision Stumps within the CPP 2021-track
POPL 2021 Author of [T4] Iris – A Modular Foundation for Higher-Order Concurrent Separation Logic within the TutorialFest-track
REMS-DeepSpec 2020 Author of Verifying Crash-Safe, Concurrent Systems with Perennial within the REMS-DeepSpec 2020-track
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