Registered user since Mon 5 Nov 2018
Name:Farzin Houshmand
Country:United States
Affiliation:University of California, Riverside
Personal website:https://fhoushmand.github.io/
Research interests:Formal Methods, Program Synthesis, Distributed Systems
Contributions
| PLDI 2022 | (ICFP 2021) Grafs: Declarative Graph Analytics Hamband: RDMA Replicated Data Types | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile