Elementary Microarchitecture Algebra
No abstract available.
Related papers
- Beyond the elementary representations of program invariants over algebraic data types PLDI 2021
- A microbenchmark to study GPU performance models PPoPP 2018
- Calculating Compilers Effectively (Functional Pearl) Haskell 2024
- A model of cooperative threads POPL 2009
- Microarchitecture Verification by Compositional Model Checking CAV 2001
- Efficient compilation of algebraic effect handlers OOPSLA 2021
- Verifying Advanced Microarchitectures that Support Speculation and Exceptions CAV 2000
- Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics CAV 2010