GraphBolt: Dependency-Driven Synchronous Processing of Streaming Graphs. - Mugilan Mariappan; Keval Vora (EuroSys, 2019)

DZiG: sparsity-aware incremental processing of streaming graphs. - Mugilan Mariappan; Joanna Che; Keval Vora (EuroSys, 2021)

Anti-vertex for neighborhood constraints in subgraph queries. - Kasra Jamshidi; Mugilan Mariappan; Keval Vora (GRADES-NDA@SIGMOD, 2022)

Threshold Strategy for Leaking Corner-Free Hamilton-Jacobi Reachability with Decomposed Computations. - Chong He; Mugilan Mariappan; Keval Vora; Mo Chen (CoRR, 2025)