output
20172024
most citedPerformance Debugging through Microarchitectural Sensitivity and Causality Analysis

1 citations

5 papers

cs.DC2024★ 1 cited

Performance Debugging through Microarchitectural Sensitivity and Causality Analysis

Alban Dutilleul, Hugo Pompougnac, Nicolas Derumigny +4

Modern Out-of-Order (OoO) CPUs are complex systems with many components interleaved in non-trivial ways. Pinpointing performance bottlenecks and understanding the underlying causes…

cs.CC2024

Tightening I/O Lower Bounds through the Hourglass Dependency Pattern

Lionel Eyraud-Dubois, Guillaume Iooss, Julien Langou +1

When designing an algorithm, one cares about arithmetic/computational complexity, but data movement (I/O) complexity plays an increasingly important role that highly impacts perfor…

cs.PL2023

Bidirectional Reactive Programming for Machine Learning

Dumitru Potop Butucaru, Albert Cohen, Gordon Plotkin +1

Reactive languages are dedicated to the programming of systems which interact continuously and concurrently with their environment. Values take the form of unbounded streams modeli…

cs.AR2020

PALMED: Throughput Characterization for Superscalar Architectures -- Extended Version

Nicolas Derumigny, Fabian Gruber, Théophile Bastian +4

In a super-scalar architecture, the scheduler dynamically assigns micro-operations (OPs) to execution ports. The port mapping of an architecture describes how an instruction dec…

cs.SE2017

Verifying Policy Enforcers

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani +1

Policy enforcers are sophisticated runtime components that can prevent failures by enforcing the correct behavior of the software. While a single enforcer can be easily designed fo…