3 papers
cs.SE2025
A High-level Synthesis Toolchain for the Julia Language
Benedict Short, Ian McInerney, John Wickerson
With the push towards Exascale computing and data-driven methods, problem sizes have increased dramatically, increasing the computational requirements of the underlying algorithms.…
cs.AR2025
Formalising CXL Cache Coherence
Chengsong Tan, Alastair F. Donaldson, John Wickerson
We report our experience formally modelling and verifying CXL.cache, the inter-device cache coherence protocol of the Compute Express Link standard. We have used the Isabelle proof…
cs.SE2025
Hardware.jl - An MLIR-based Julia HLS Flow (Work in Progress)
Benedict Short, Ian McInerney, John Wickerson
Co-developing scientific algorithms and hardware accelerators requires domain-specific knowledge and large engineering resources. This leads to a slow development pace and high pro…