Farzin Houshmand

I’m currently a fifth-year PhD candidate advised by Mohsen Lesani. My research interest broadly spans over programming language and formal methods. I’m particularly interested in program synthesis and its applications in distributed and parallel systems.
Research Statement

Publications

TensorRight: Provably Correct Tensor Graph Rewrites
Charith Mendis(UIUC)^*,Farzin Houshmand (Google Brain)^*, Karthik Srinivasa Murthy (Google Brain) , Tianfan Xu (UIUC) , Amit Sabne (Google Brain), Praveen Narayanan (Google Brain), Lucas Kramer (Google Brain), Mohsen Lesani (UC Riverside) , Ras Bodik (Google Brain), Mangpo Phothilimthana (Google Brain)
under review

Hamband: RDMA Replicated Data Types
Farzin Houshmand, Javad Saber-latibari, Mohsen Lesani
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2022.

Hamraz: Resilient Object Partitioning and Replication
Xiao Li, Farzin Houshmand, Mohsen Lesani
IEEE Symposium on Security and Privacy (S&P), 2022.

Grafs: Declarative Graph Analytics
[] [] []
Farzin Houshmand, Mohsen Lesani, Keval Vora
Proceedings of the ACM on Programming Languages (ICFP), 2021.

Hampa: Solver-Aided Recency-Aware Replication
[] []
Xiao Li, Farzin Houshmand, Mohsen Lesani
International Conference on Computer Aided Verification (CAV), 2020.

Cross-Chain Transactions
[]
Narges Shadab, Farzin Houshmand, Mohsen Lesani
IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2020.

Learning Quantitative Representation Synthesis
[]
Mayur Patil, Farzin Houshmand, Mohsen Lesani
Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages (MAPL), 2020.

Hamsaz: Replication Coordination Analysis and Synthesis
[]
Farzin Houshmand, Mohsen Lesani
Proceedings of the ACM on Programming Languages (POPL), 2019.