Urmăriți
Joseph Tassarotti
Joseph Tassarotti
Assistant Professor, New York University
Adresă de e-mail confirmată pe nyu.edu - Pagina de pornire
Titlu
Citat de
Citat de
Anul
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
2152012
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
1172018
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
932019
A Higher-Order Logic for Concurrent Termination-Preserving Refinement
J Tassarotti, R Jung, R Harper
European Symposium on Programming, 909-936, 2017
732017
Verifying read-copy-update in a logic for weak memory
J Tassarotti, D Dreyer, V Vafeiadis
ACM SIGPLAN Notices 50 (6), 110-120, 2015
562015
A separation logic for concurrent randomized programs
J Tassarotti, R Harper
Proceedings of the ACM on Programming Languages 3 (POPL), 64, 2019
542019
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
462021
GoJournal: a verified, concurrent, crash-safe journaling system.
T Chajed, J Tassarotti, M Theng, R Jung, MF Kaashoek, N Zeldovich
OSDI, 423-439, 2021
442021
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
39*2014
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
252021
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
242022
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
23*2015
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
222022
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
202019
Grove: a separation-logic library for verifying distributed systems
U Sharma, R Jung, J Tassarotti, F Kaashoek, N Zeldovich
Proceedings of the 29th Symposium on Operating Systems Principles, 113-129, 2023
182023
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
182022
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
SO Gregersen, A Aguirre, PG Haselwarter, J Tassarotti, L Birkedal
Proceedings of the ACM on Programming Languages 8 (POPL), 753-784, 2024
172024
Verified tail bounds for randomized programs
J Tassarotti, R Harper
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018
172018
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
122017
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20