activity
20212026
most citedA Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

2 citations · 4 across the 6 of their papers we have counts for

collaborators
Showing cs.DCShow all

1 paper · 1 filter

cs.DC2026

KV-Pipe: On the Relation Between KV Sharing and Pipeline Parallel Efficiency in LLMs

Maryam Dialameh, Hossein Rajabzadeh, Harish Krishnamoorthy Murali +3

Pipeline parallelism (PP) is widely used to scale large language model (LLM) training, but its efficiency is often limited by stage imbalance and pipeline bubbles. Meanwhile, cross…