Joseph Tassarotti
6 papers · 2014–2023 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π£ Hot Topic Early Bird π Conference Polyglot (4) π Academic Marathon (9) π Cross-Pollinator (13) π Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(11)
π§
Keyword Pioneer
π§¬
Topic Evolution
π
Trend Setter
Conferences
OSDI (3)
AISTATS (1)
ICML (1)
NIPS (1)
Top co-authors
Keywords
formal verification
(3)
concurrent system
(2)
gpu computing
(2)
latent dirichlet allocation
(1)
markov chain monte carlo
(1)
gibbs sampling
(1)
probabilistic programming
(1)
data-parallel inference
(1)
model compilation
(1)
bayesian network
(1)
inference algorithm
(1)
multi-version concurrency control
(1)
machine-checked proof
(1)
file system
(1)
inference compilation
(1)
count-min sketch
(1)
mean-for-mode estimation
(1)
spectral error bound
(1)
sequential reasoning
(1)
proof assistant
(1)
Papers
Verifying vMVCC, a high-performance transaction library using multi-version concurrency control
OSDI 2023
Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning
OSDI 2022
GoJournal: a verified, concurrent, crash-safe journaling system
OSDI 2021
Sketching for Latent Dirichlet-Categorical Models
AISTATS 2019
Efficient Training of LDA on a GPU by Mean-for-Mode Estimation
ICML 2015
Augur: Data-Parallel Probabilistic Modeling
NIPS 2014