2 papers
cs.PF2025
Analysis of Stable Vertex Values: Fast Query Evaluation Over An Evolving Graph
Mahbod Afarin, Chao Gao, Xizhe Yin +3
Evaluating a query over a large, irregular graph is inherently challenging. This challenge intensifies when solving a query over a sequence of snapshots of an evolving graph, where…
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…