From the 1 of 4 linked papers with an AI index.
4 papers
An obstruction to lifting schemes to spectral schemes
Robert Szafarczyk
The paper introduces an obstruction theory for lifting ordinary schemes over the integers to spectral schemes over the sphere spectrum, extending Nikolaus's result on ‑structure…
A Curious Characterisation of Dedekind Domains
Robert Szafarczyk
We characterise Dedekind rings among not necessarily Noetherian domains by a property of their module homomorphisms. Our proof relies on a homological algebra argument.
Dynamic Loop Fusion in High-Level Synthesis
Robert Szafarczyk, Syed Waqar Nabi, Wim Vanderbauwhede
Dynamic High-Level Synthesis (HLS) uses additional hardware to perform memory disambiguation at runtime, increasing loop throughput in irregular codes compared to static HLS. Howev…
Compiler Support for Speculation in Decoupled Access/Execute Architectures
Robert Szafarczyk, Syed Waqar Nabi, Wim Vanderbauwhede
Irregular codes are bottlenecked by memory and communication latency. Decoupled access/execute (DAE) is a common technique to tackle this problem. It relies on the compiler to sepa…