Joseph Tassarotti
Joseph Tassarotti
Assistant Professor, Boston College
Geverifieerd e-mailadres voor bc.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
RockSalt: better, faster, stronger SFI for the x86
G Morrisett, G Tan, J Tassarotti, JB Tristan, E Gan
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012
1432012
Verifying read-copy-update in a logic for weak memory
J Tassarotti, D Dreyer, V Vafeiadis
ACM SIGPLAN Notices 50 (6), 110-120, 2015
362015
Augur: Data-parallel probabilistic modeling
JB Tristan, D Huang, J Tassarotti, AC Pocock, S Green, GL Steele
Advances in Neural Information Processing Systems, 2600-2608, 2014
31*2014
A Higher-Order Logic for Concurrent Termination-Preserving Refinement
J Tassarotti, R Jung, R Harper
European Symposium on Programming, 909-936, 2017
232017
MoSeL: A general, extensible modal framework for interactive proofs in separation logic
R Krebbers, JH Jourdan, R Jung, J Tassarotti, JO Kaiser, A Timany, ...
Proceedings of the ACM on Programming Languages 2 (ICFP), 77, 2018
202018
Efficient training of lda on a gpu by mean-for-mode estimation
JB Tristan, J Tassarotti, G Steele
International Conference on Machine Learning, 59-68, 2015
182015
Verifying concurrent, crash-safe systems with Perennial
T Chajed, J Tassarotti, MF Kaashoek, N Zeldovich
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 243-258, 2019
82019
A separation logic for concurrent randomized programs
J Tassarotti, R Harper
Proceedings of the ACM on Programming Languages 3 (POPL), 64, 2019
72019
Verified tail bounds for randomized programs
J Tassarotti, R Harper
International Conference on Interactive Theorem Proving, 560-578, 2018
72018
Argosy: verifying layered storage systems with recovery refinement
T Chajed, J Tassarotti, MF Kaashoek, N Zeldovich
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
32019
Probabilistic Recurrence Relations for Work and Span of Parallel Algorithms
J Tassarotti
arXiv preprint arXiv:1704.02061, 2017
12017
Sketching for Latent Dirichlet-Categorical Models
J Tassarotti, JB Tristan, M Wick
The 22nd International Conference on Artificial Intelligence and Statistics …, 2019
2019
Verifying Concurrent Randomized Algorithms
J Tassarotti
Carnegie Mellon University, 2019
2019
Scaling Hierarchical Coreference with Homomorphic Compression
M Wick, S Panda, J Tassarotti, JB Tristan
Automated Knowledge Base Construction (AKBC), 2018
2018
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–14