| 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 | 214 | 2012 |
| 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 | 110 | 2018 |
| 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 | 96 | 2019 |
| A Higher-Order Logic for Concurrent Termination-Preserving Refinement J Tassarotti, R Jung, R Harper European Symposium on Programming, 909-936, 2017 | 72 | 2017 |
| Verifying read-copy-update in a logic for weak memory J Tassarotti, D Dreyer, V Vafeiadis ACM SIGPLAN Notices 50 (6), 110-120, 2015 | 55 | 2015 |
| A separation logic for concurrent randomized programs J Tassarotti, R Harper Proceedings of the ACM on Programming Languages 3 (POPL), 64, 2019 | 52 | 2019 |
| 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 | 45 | 2021 |
| GoJournal: a verified, concurrent, crash-safe journaling system. T Chajed, J Tassarotti, M Theng, R Jung, MF Kaashoek, N Zeldovich OSDI, 423-439, 2021 | 43 | 2021 |
| 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 |
| 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 | 24 | 2021 |
| 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 | 22 | 2022 |
| 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 | 22 | 2022 |
| 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 | 22* | 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 | 20 | 2019 |
| 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 | 19 | 2023 |
| 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 | 17 | 2022 |
| Verified tail bounds for randomized programs J Tassarotti, R Harper Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018 | 16 | 2018 |
| 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 | 13 | 2024 |
| 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 | 12 | 2021 |
| Data-parallel probabilistic inference JB Tristan, GL Steele Jr, DE Huang, J Tassarotti US Patent 10,496,929, 2019 | 11 | 2019 |
Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupVerified email at bc.edu
