Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Joseph Tassarotti
conf.researchr.org general profile
ICFP 2018 profile
ICFP 2022 profile
ICFP 2024 profile
PLDI 2015 profile
PLDI 2019 profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2022 profile
PLDI 2023 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
POPL 2024 profile
SPLASH 2023 profile
SPLASH 2024 profile
Registered user since Fri 15 May 2015
Name:
Joseph Tassarotti
Country:
United States
Affiliation:
NYU
Personal website:
https://cs.nyu.edu/~jt4767/
Contributions
2024
SPLASH
Committee Member in Review Committee within the OOPSLA 2024-track
ICFP
PC Member in ICFP Papers and Events within the ICFP Papers-track
POPL
Author of Asynchronous Probabilistic Couplings in Higher-Order Separation Logic within the POPL-track
Dafny
Program Chair in Program Chairs within the Dafny 2024-track
2023
PLMW
Panelist in Panelists within the PLMW @ POPL 2023-track
Panelist of Career Trajectories in PL within the PLMW @ POPL 2023-track
SPLASH
PC Member in OOPSLA Review Committee within the OOPSLA-track
PLDI
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Author of Verified Density Compilation for a Probabilistic Programming Language within the PLDI Research Papers-track
PLARCH
Author of Leakage models are a leaky abstraction: the case for cycle-level verification of constant-time cryptography within the PLARCH 2023-track
POPL
Committee Member in Program Committee within the POPL-track
2022
ICFP
Author of Later Credits: Resourceful Reasoning for the Later Modality within the ICFP Papers and Events-track
PLDI
Author of (PLDI 2021) Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic within the SIGPLAN Track-track
POPL
Author of A Separation Logic for Negative Dependence within the POPL-track
CoqPL
Invited Speaker of Verifying Concurrent, Crash-Safe Systems with Perennial within the CoqPL-track
Invited Speaker in Invited speaker within the CoqPL-track
LAFI
Committee Member in Program Committee within the LAFI-track
CPP
Committee Member in Program Committee within the CPP 2022-track
2021
PLDI
Author of Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic within the PLDI-track
POPL
Author of [T4] Iris – A Modular Foundation for Higher-Order Concurrent Separation Logic within the TutorialFest-track
CPP
Author of A Formal Proof of PAC Learnability for Decision Stumps within the CPP 2021-track
2020
DeepSpec
Author of Verifying Crash-Safe, Concurrent Systems with Perennial within the REMS-DeepSpec 2020-track
CoqPL
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
2019
PLDI
Author of Argosy: Verifying Layered Storage Systems with Recovery Refinement within the PLDI Research Papers-track
POPL
Author of A Separation Logic for Concurrent Randomized Programs within the Research Papers-track
2018
ICFP
Author of MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic within the Research Papers-track
2015
PLDI
Author of Verifying Read-Copy-Update in a Logic for Weak Memory within the Research Papers-track
Share
x
Fri 1 Dec 10:09