activity
20162026
most citedTriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA

37 citations · 86 across the 16 of their papers we have counts for

collaborators
Showing cs.PFShow all

1 paper · 1 filter

cs.PF2026

Campaign Diagrams: Visualizing the March Through the Phases of a Workload

Toluwanimi O. Odemuyiwa, John D. Owens, Michael Pellauer +1

We present campaign diagrams, a visualization technique for phase-level analysis of resource utilization and bottlenecks in modern workloads. Existing tools have a trade-off: roofl…