Seguir
Joseph Tassarotti
Joseph Tassarotti
Assistant Professor, New York University
Dirección de correo verificada de nyu.edu - Página principal
Título
Citado por
Citado por
Año
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
1982012
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
952018
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
722019
A Higher-Order Logic for Concurrent Termination-Preserving Refinement
J Tassarotti, R Jung, R Harper
European Symposium on Programming, 909-936, 2017
632017
Verifying read-copy-update in a logic for weak memory
J Tassarotti, D Dreyer, V Vafeiadis
ACM SIGPLAN Notices 50 (6), 110-120, 2015
512015
A separation logic for concurrent randomized programs
J Tassarotti, R Harper
Proceedings of the ACM on Programming Languages 3 (POPL), 64, 2019
422019
Augur: Data-parallel probabilistic modeling
JB Tristan, D Huang, J Tassarotti, AC Pocock, S Green, GL Steele
Advances in Neural Information Processing Systems 27, 2600-2608, 2014
40*2014
Transfinite Iris: Resolving an existential dilemma of step-indexed separation logic
S Spies, L Gäher, D Gratzer, J Tassarotti, R Krebbers, D Dreyer, ...
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
362021
GoJournal: a verified, concurrent, crash-safe journaling system.
T Chajed, J Tassarotti, M Theng, R Jung, MF Kaashoek, N Zeldovich
OSDI, 423-439, 2021
292021
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
21*2015
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
172019
Rabia: Simplifying State-Machine Replication Through Randomization
H Pan, J Tuglu, N Zhou, T Wang, Y Shen, X Zheng, J Tassarotti, L Tseng, ...
Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles …, 2021
162021
A separation logic for negative dependence
J Bao, M Gaboardi, J Hsu, J Tassarotti
Proceedings of the ACM on Programming Languages 6 (POPL), 1-29, 2022
142022
Verified tail bounds for randomized programs
J Tassarotti, R Harper
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018
142018
A formal proof of PAC learnability for decision stumps
J Tassarotti, K Vajjha, A Banerjee, JB Tristan
Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021
122021
Sparse and data-parallel inference method and system for the latent Dirichlet allocation model
JB Tristan, GL Steele Jr, J Tassarotti
US Patent 9,767,416, 2017
112017
Later credits: resourceful reasoning for the later modality
S Spies, L Gäher, J Tassarotti, R Jung, R Krebbers, L Birkedal, D Dreyer
Proceedings of the ACM on Programming Languages 6 (ICFP), 283-311, 2022
102022
Verifying concurrent Go code in Coq with Goose
T Chajed, J Tassarotti, MF Kaashoek, N Zeldovich
Proceedings of the 6th International Workshop on Coq for Programming …, 2020
102020
Data-parallel probabilistic inference
JB Tristan, GL Steele Jr, DE Huang, J Tassarotti
US Patent 10,496,929, 2019
102019
Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning
T Chajed, J Tassarotti, M Theng, MF Kaashoek, N Zeldovich
16th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2022
82022
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20