PLDI 2023
Sat 17 - Wed 21 June 2023 Orlando, Florida, United States
PLDI 2023 (series) / Joseph Tassarotti
Joseph Tassarotti

Registered user since Fri 15 May 2015

Name:Joseph Tassarotti
Country:United States
Affiliation:NYU
Personal website:https://cs.nyu.edu/~jt4767/

Contributions

PLDI 2023 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Verified Density Compilation for a Probabilistic Programming Language
PLARCH 2023 Leakage models are a leaky abstraction: the case for cycle-level verification of constant-time cryptography
Show activities from other conferences

Using general profile