Formally Verified Speculative Optimizations

BOOK-CHAPTER

Year: 2025 ACM eBooks Publisher: Association for Computing Machinery

DOI: 10.1145/3705593.3705599

Keywords:

Computer science Speculative multithreading Parallel computing Programming language

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

0.07

Citation Normalized Percentile

Is in top 1%

Is in top 10%

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