BOOK-CHAPTER

Formally Verified Speculative Optimizations

Aurèle Barrière

Year: 2025 ACM eBooks   Publisher: Association for Computing Machinery
Keywords:
Computer science Speculative multithreading Parallel computing Programming language

Metrics

0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
83
Refs
0.07
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Topics

Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence
Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Parallel Computing and Optimization Techniques
Physical Sciences →  Computer Science →  Hardware and Architecture

Related Documents

BOOK-CHAPTER

Formally Verified EVM Block-Optimizations

Elvira AlbertSamir GenaimDaniel KirchnerEnrique Martin-Martin

Lecture notes in computer science Year: 2023 Pages: 176-189
JOURNAL ARTICLE

Code optimizations using formally verified properties

Yao ShiBernard BlackhamGernot Heiser

Journal:   ACM SIGPLAN Notices Year: 2013 Vol: 48 (10)Pages: 427-442
JOURNAL ARTICLE

Formally Verified Loop-Invariant Code Motion and Assorted Optimizations

David MonniauxCyril Six

Journal:   ACM Transactions on Embedded Computing Systems Year: 2022 Vol: 22 (1)Pages: 1-27
JOURNAL ARTICLE

Formally verified mathematics

Jeremy AvigadJohn Harrison

Journal:   Communications of the ACM Year: 2014 Vol: 57 (4)Pages: 66-75
© 2026 ScienceGate Book Chapters — All rights reserved.