Joseph Tassarotti
6 papers · 2014–2023 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🗺️ Taxonomy Completionist (12) 🐣 Hot Topic Early Bird 🧬 Topic Evolution
📈
Trend Setter
Venues
Top co-authors
Research topics
Keywords
formal verification
(3)
bayesian inference
(2)
gpu computing
(2)
concurrent system
(2)
gibbs sampling
(1)
probabilistic programming
(1)
conditional independence
(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
NeurIPS 2014