conf.researchr.org / Joseph Tassarotti
Registered user since Fri 15 May 2015
Name:Joseph Tassarotti
Country:United States
Affiliation:New York University
Personal website: https://cs.nyu.edu/~jt4767/
Contributions
2026
POPL
- Author of All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs within the POPL-track
- Committee Member in Program Committee within the POPL-track
- Web Chair in Organizing Committee
- Author of Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants within the POPL-track
2025
POPL
2024
SPLASH
ICFP
- Author of Almost-Sure Termination by Guarded Refinement within the Artifact Evaluation-track
- PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
- Author of Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs within the ICFP Papers and Events-track
- Author of Almost-Sure Termination by Guarded Refinement within the ICFP Papers and Events-track
- Author of Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs within the Artifact Evaluation-track
Dafny
- Session Chair of Testing and Teaching / Comparison (part of Dafny 2024)
- Program Chair in Program Chairs within the Dafny 2024-track
- Author of Day opening within the Dafny 2024-track
- Session Chair of Probabilistic Programs and Testing / Verifying Contracts (part of Dafny 2024)
- Author of Day closing within the Dafny 2024-track