| Hampa: Solver-Aided Recency-Aware Replication X Li, F Houshmand, M Lesani International Conference on Computer Aided Verification, 324-349, 2020 | 13 | 2020 |
| Quorum subsumption for heterogeneous quorum systems X Li, E Chan, M Lesani DISC 2023 37th International Symposium on Distributed Computing, 2023 | 12* | 2023 |
| Hamraz: Resilient partitioning and replication X Li, F Houshmand, M Lesani 2022 IEEE Symposium on Security and Privacy (SP), 2267-2284, 2022 | 5 | 2022 |
| Reconfigurable Heterogeneous Quorum Systems X Li, M Lesani arXiv preprint: arXiv: 2304.02156, 2024 | 4* | 2024 |
| AVA: Fault-tolerant Reconfigurable Geo-Replication on Heterogeneous Clusters T Mane, X Li, M Sadoghi, M Lesani arXiv preprint arXiv:2412.01999, 2024 | | 2024 |
| Heterogeneous Byzantine Replicated Systems X Li University of California, Riverside, 2024 | | 2024 |
| Brief Announcement: Reconfigurable Heterogeneous Quorum Systems X Li, M Lesani 38th International Symposium on Distributed Computing (DISC 2024), 52: 1-52: 8, 2024 | | 2024 |
Farzin HoushmandGoogleVerificeret mail på google.com