Joseph Tassarotti
Boston College
H-index: 13
North America-United States
Top articles of Joseph Tassarotti
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Almost-Sure Termination by Guarded Refinement | arXiv preprint arXiv:2404.08494 | Simon Oddershede Gregersen Alejandro Aguirre Philipp G Haselwarter Joseph Tassarotti Lars Birkedal | 2024/4/12 |
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic | Proceedings of the ACM on Programming Languages | Simon Oddershede Gregersen Alejandro Aguirre Philipp G Haselwarter Joseph Tassarotti Lars Birkedal | 2024/1/5 |
The K2 Architecture for Trustworthy Hardware Security Modules | Anish Athalye Frans Kaashoek Nickolai Zeldovich Joseph Tassarotti | 2023/10/23 | |
Grove: a separation-logic library for verifying distributed systems | Upamanyu Sharma Ralf Jung Joseph Tassarotti Frans Kaashoek Nickolai Zeldovich | 2023/10/23 | |
Verified Density Compilation for a Probabilistic Programming Language | Proceedings of the ACM on Programming Languages | Joseph Tassarotti Jean-Baptiste Tristan | 2023/6/6 |
Verifying vMVCC, a high-performance transaction library using multi-version concurrency control | Yun-Sheng Chang Ralf Jung Upamanyu Sharma Joseph Tassarotti M Frans Kaashoek | 2023 | |
Later credits: resourceful reasoning for the later modality | Simon Spies Lennard Gäher Joseph Tassarotti Ralf Jung Robbert Krebbers | 2022 | |
A separation logic for negative dependence | Proceedings of the ACM on Programming Languages | Jialu Bao Marco Gaboardi Justin Hsu Joseph Tassarotti | 2022/1/11 |
Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning | Tej Chajed Joseph Tassarotti Mark Theng M Frans Kaashoek Nickolai Zeldovich | 2022 | |
Transfinite Iris: Resolving an existential dilemma of step-indexed separation logic | Simon Spies Lennard Gäher Daniel Gratzer Joseph Tassarotti Robbert Krebbers | 2021 | |
A formal proof of PAC learnability for decision stumps | Joseph Tassarotti Koundinya Vajjha Anindya Banerjee Jean-Baptiste Tristan | 2021/1/17 | |
On Building Modular and Elastic Data Structures with Bulk Operations | Kevin Williams Joe Foster Athicha Srivirote Ahmed Hassan Joseph Tassarotti | 2021/1/5 | |
Rabia: Simplifying State-Machine Replication Through Randomization | Haochen Pan Jesse Tuglu Neo Zhou Tianshu Wang Yicheng Shen | 2021/10/26 | |
GoJournal: a verified, concurrent, crash-safe journaling system. | Tej Chajed Joseph Tassarotti Mark Theng Ralf Jung M Frans Kaashoek | 2021 | |
Verifying concurrent Go code in Coq with Goose | Proceedings of the 6th International Workshop on Coq for Programming Languages (CoqPL), New Orleans, LA | Tej Chajed Joseph Tassarotti M Frans Kaashoek Nickolai Zeldovich | 2020/1 |