Semantic foundations for cost analysis of pipeline-optimized programs

DOI10.1007/978-3-031-22308-2_17MaRDI QIDQ6164437zbMATH OpenFDO

Authors Gilles Barthe, Adrien Koutsos, Solène Mirliaz, David Pichardie, Peter Schwabe

Publication date 28 July 2023

Published in Static Analysis (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Certified abstract cost analysis
• More precise yet widely applicable cost analysis
• Automatic Static Cost Analysis for Parallel Programs
• Relational cost analysis
• FM 2005: Formal Methods

Cites work

• scientific article; zbMATH DE number 1682693 (Why is no real title available?)
• scientific article; zbMATH DE number 2080778 (Why is no real title available?)
• A Hoare-like proof system for analysing the computation time of programs
• Closed-form upper bounds in static cost analysis
• EasyCrypt: a tutorial
• Fast Software Encryption
• Programming Languages and Systems
• Public Key Cryptography - PKC 2006
• Recursion and dynamic data-structures in bounded space: towards embedded ML programming
• Relational cost analysis
• Resource bound certification
• SPEED: precise and efficient static estimation of program computational complexity
• Verifying Program Performance

Cited in

(1)

• A Dependently Typed Framework for Static Analysis of Program Execution Costs

This page was built for publication: Semantic foundations for cost analysis of pipeline-optimized programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6164437)