Performal: Formal Verification of Latency Properties for Distributed Systems TN Zhang, U Sharma, M Kapritsos Proceedings of the ACM on Programming Languages 7 (PLDI), 368-393, 2023 | 2 | 2023 |
Pilotfish: Distributed Transaction Execution for Lazy Blockchains Q Kniep, L Kokoris-Kogias, A Sonnino, I Zablotchi, N Zhang arXiv preprint arXiv:2401.16292, 2024 | 1 | 2024 |
On the Significance of Consecutive Ballots in Paxos E Goldweber, N Zhang, M Kapritsos arXiv preprint arXiv:2006.01885, 2020 | 1 | 2020 |
CEP-15: Fast General Purpose Transactions T Zhang, B Eggleston, S Andreas | | 2021 |
Brief Announcement: On the Significance of Consecutive Ballots in Paxos E Goldweber, N Zhang, M Kapritsos Proceedings of the 39th Symposium on Principles of Distributed Computing …, 2020 | | 2020 |