Posts with categories “Conference Papers”

SIMT-Step Execution: A Flexible Operational Semantics For GPU Subgroup Behavior

SIMT-Step provides a formal and flexible operational semantics for GPU subgroup execution, using dynamic basic blocks and TLA+ validation to reason about converged, synchronous, and independent behaviors across devices.

April 07, 2026 ✦ By Zheyuan Chen, Naomi Rehman, Guido Martínez and Tyler Sorensen

categories:

Conference Papers

BetterTogether: An Interference-Aware Framework for Fine-grained Software Pipelining on Heterogeneous SoCs.

BetterTogether enables fine-grained software pipelining on heterogeneous edge SoCs using a profile-guided performance model that captures intra-application interference across CPUs and GPUs.

October 12, 2025 ✦ By Yanwen Xu, Rithik Sharma, Zheyuan Chen, Shaan Mistry and Tyler Sorensen

categories:

Conference Papers