Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Joseph Tassarotti
conf.researchr.org general profile
ICFP 2018 profile
PLDI 2015 profile
PLDI 2019 profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2022 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
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
Share
x
Wed 18 May 05:11