1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.DB2026
Provenance Tracking in AI Compilers through the Lens of Coalgebra
Zilu Tian, Liying Liu
AI compilers aggressively rewrite computation graphs through normalization, lowering, and optimization, making it difficult to track the provenance of tensors and operators across…
cs.DB2025★ 1 cited
Output-Sensitive Evaluation of Acyclic Conjunctive Regular Path Queries
Mahmoud Abo Khamis, Alexandru-Mihai Hurjui, Ahmet Kara +3
Conjunctive Regular Path Queries, or CRPQs for short, are an essential construct in graph query languages. In this paper, we propose the first output-sensitive algorithm for evalua…
cs.DB2025
Using Process Calculus for Optimizing Data and Computation Sharing in Complex Stateful Parallel Computations
Zilu Tian, Dan Olteanu, Christoph Koch
We propose novel techniques that exploit data and computation sharing to improve the performance of complex stateful parallel computations, like agent-based simulations. Parallel c…