Joseph Tassarotti
6 papers
· 2014–2023
· 4 conferences
· across top CS/AI conferences
Achievements
π£
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
Sketching for Latent Dirichlet-Categorical Models
AISTATS 2019