Hamsaz: Replication coordination analysis and synthesis F Houshmand, M Lesani Proceedings of the ACM on Programming Languages 3 (POPL), 1-32, 2019 | 56 | 2019 |
Cross-Chain Transactions N Shadab, F Houshmand, M Lesani ICBC'20 (IEEE International Conference on Blockchain and Cryptocurrency), 2020 | 40 | 2020 |
Hampa: Solver-Aided Recency-Aware Replication X Li, F Houshmand, M Lesani International Conference on Computer Aided Verification, 324-349, 2020 | 9 | 2020 |
Hamsaz: Replication Coordination Analysis and Synthesis. PACMPL 3, POPL (2019), 74: 1–74: 32 F Houshmand, M Lesani | 2 | 2019 |
Hamband: RDMA replicated data types F Houshmand, J Saberlatibari, M Lesani Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 1 | 2022 |
Grafs: declarative graph analytics F Houshmand, M Lesani, K Vora Proceedings of the ACM on Programming Languages 5 (ICFP), 1-32, 2021 | 1 | 2021 |
Distributed Coordination and Computation Synthesis F Houshmand UC Riverside, 2023 | | 2023 |
HAMRAZ: Resilient Partitioning and Replication X Li, F Houshmand, M Lesani IEEE Symposium on Security and Privacy (SP), 2022 | | 2022 |
Learning quantitative representation synthesis M Patil, F Houshmand, M Lesani Proceedings of the 4th ACM SIGPLAN International Workshop on Machine …, 2020 | | 2020 |