2 papers
cs.DC2020
GraFS: Graph Analytics Fusion and Synthesis
Farzin Houshmand, Mohsen Lesani, Keval Vora
Graph analytics elicits insights from large graphs to inform critical decisions for business, safety and security. Several large-scale graph processing frameworks feature efficient…
cs.PL2020
Temporal Logic of Composable Distributed Components
Jeremiah Griffin, Mohsen Lesani, Narges Shadab +1
Distributed systems are critical to reliable and scalable computing; however, they are complicated in nature and prone to bugs. To modularly manage this complexity, network middlew…