Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs.

Gilles Barthe, Adrien Koutsos, Solne Mirliaz, David Pichardie, Peter Schwabe

Browse the full SAS paper archive.