4 citations · 7 across the 7 of their papers we have counts for
7 papers
An obstruction to lifting schemes to spectral schemes
Robert Szafarczyk
-rings are a globalization of -rings. Motivated by their application to obstructing spectral lifts, we develop the theory of animated -rings. They extend the discr…
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…
A High-Frequency Load-Store Queue with Speculative Allocations for High-Level Synthesis
Robert Szafarczyk, Syed Waqar Nabi, Wim Vanderbauwhede
Dynamically scheduled high-level synthesis (HLS) enables the use of load-store queues (LSQs) which can disambiguate data hazards at circuit runtime, increasing throughput in codes…
Compiler Discovered Dynamic Scheduling of Irregular Code in High-Level Synthesis
Robert Szafarczyk, Syed Waqar Nabi, Wim Vanderbauwhede
Dynamically scheduled high-level synthesis (HLS) achieves higher throughput than static HLS for codes with unpredictable memory accesses and control flow. However, excessive datafl…
New elementary components of the Gorenstein locus of the Hilbert scheme of points
Robert Szafarczyk
We construct new explicit examples of nonsmoothable Gorenstein algebras with Hilbert function . This gives a new infinite family of elementary components in the Gorenste…