A Role for Theorem Proving in Multi-Processor Design
Abstract elided by the publisher.
Related papers
- Combining programming with theorem proving ICFP 2005
- Compilers and parallel computing systems PPoPP 2008
- High-performance IPv6 forwarding algorithm for multi-core and multithreaded network processor PPoPP 2006
- Portable, mostly-concurrent, mostly-copying garbage collection for multi-processors ISMM 2006
- Safe, fast, concurrent proof checking for the lambda-pi calculus modulo rewriting CPP 2022
- A true positives theorem for a static race detector POPL 2019
- A Multi-width Parametric Bitvector Equivalence Solver CAV 2026
- A HW/SW co-designed heterogeneous multi-core virtual machine for energy-efficient general purpose computing CGO 2011