243 citations · 397 across the 10 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019★ 4 cited
On the Representation of Partially Specified Implementations and its Application to the Optimization of Linear Algebra Kernels on GPU
Ulysse Beaugnon, Basile Clément, Nicolas Tollenaere +1
Traditional optimizing compilers rely on rewrite rules to iteratively apply program transformations. This iterative approach hides optimization opportunities behind intermediate tr…
cs.CR2019★ 6 cited
Studying EM Pulse Effects on Superscalar Microarchitectures at ISA Level
Julien Proy, Karine Heydemann, Fabien Majéric +2
In the area of physical attacks, system-on-chip (SoC) designs have not received the same level of attention as simpler micro-controllers. We try to model the behavior of secure sof…