Farzin Houshmand

According to our database, Farzin Houshmand authored at least 9 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Distributed Coordination and Computation Synthesis

Farzin Houshmand

PhD thesis, 2023

2022

HAMRAZ: Resilient Partitioning and Replication.

Xiao Li, Farzin Houshmand, Mohsen Lesani

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Hamband: RDMA replicated data types.

Farzin Houshmand, Javad Saberlatibari, Mohsen Lesani

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Grafs: declarative graph analytics.

Farzin Houshmand, Mohsen Lesani, Keval Vora

Proc. ACM Program. Lang., 2021

2020

GraFS: Graph Analytics Fusion and Synthesis.

Farzin Houshmand, Mohsen Lesani, Keval Vora

CoRR, 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, 2020

Cross-chain Transactions.

Narges Shadab, Farzin Houshmand, Mohsen Lesani

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2020

Hampa: Solver-Aided Recency-Aware Replication.

Xiao Li, Farzin Houshmand, Mohsen Lesani

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Hamsaz: replication coordination analysis and synthesis.

Farzin Houshmand, Mohsen Lesani

Proc. ACM Program. Lang., 2019