Hamsaz: replication coordination analysis and synthesis. - Farzin Houshmand; Mohsen Lesani (Proc. ACM Program. Lang., 2019)

Hampa: Solver-Aided Recency-Aware Replication. - Xiao Li; Farzin Houshmand; Mohsen Lesani (CAV (1), 2020)

Cross-chain Transactions. - Narges Shadab; Farzin Houshmand; Mohsen Lesani (IEEE ICBC, 2020)

Learning quantitative representation synthesis. - Mayur Patil; Farzin Houshmand; Mohsen Lesani (MAPL@PLDI, 2020)

GraFS: Graph Analytics Fusion and Synthesis. - Farzin Houshmand; Mohsen Lesani; Keval Vora (CoRR, 2020)

Grafs: declarative graph analytics. - Farzin Houshmand; Mohsen Lesani; Keval Vora (Proc. ACM Program. Lang., 2021)

Hamband: RDMA replicated data types. - Farzin Houshmand; Javad Saberlatibari; Mohsen Lesani (PLDI, 2022)

HAMRAZ: Resilient Partitioning and Replication. - Xiao Li; Farzin Houshmand; Mohsen Lesani (SP, 2022)

Distributed Coordination and Computation Synthesis - Farzin Houshmand (2023)

TensorRight: Automated Verification of Tensor Graph Rewrites. - Jai Arora; Sirui Lu; Devansh Jain 001; Tianfan Xu; Farzin Houshmand; Phitchaya Mangpo Phothilimthana; Mohsen Lesani; Praveen Narayanan; Karthik Srinivasa Murthy; Rastislav Bodík; Amit Sabne; Charith Mendis (Proc. ACM Program. Lang., 2025)