The Term Processor Generator Kimwitu
Abstract elided by the publisher.
Related papers
- Interpretable noninterference measurement and its application to processor designs OOPSLA 2021
- Generating Compilers for Qubit Mapping and Routing POPL 2026
- Using Integer Sets for Data-Parallel Program Analysis and Optimization PLDI 1998
- The locality of concurrent write barriers ISMM 2010
- Securing Interruptible Enclaved Execution on Small Microprocessors TOPLAS 2021
- Extendable pattern-oriented optimization directives CGO 2011
- A derivation framework for dependent security label inference OOPSLA 2018
- Using fine grain multithreading for energy efficient computing PPoPP 2007