1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.AR2026
Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols
Fletch Rydell, An Qi Zhang, Nicolai Oswald +3
Processor design is converging on a new model of cache-coherent shared memory characterized by heterogeneity, hierarchy, and scopes. Protocols like CXL or AMBA CHI are used as glob…
cs.PL2024★ 1 cited
Verifying Peephole Rewriting In SSA Compiler IRs
Siddharth Bhat, Alex Keizer, Chris Hughes +2
There is an increasing need for domain-specific reasoning in modern compilers. This has fueled the use of tailored intermediate representations (IRs) based on static single assignm…
cs.SC2024
Bridging Syntax and Semantics of Lean Expressions in E-Graphs
Marcus Rossel, Andrés Goens
Interactive theorem provers, like Isabelle/HOL, Coq and Lean, have expressive languages that allow the formalization of general mathematical objects and proofs. In this context, an…