Verifying Qthreads: Is Model Checking viable for User-Level Tasking runtimes?.
Abstract not provided.
Evans, Noah↗
Engineering topics
Evans, Noah
Publications and source records attributed to Evans, Noah.
Oses for High Consequence Applications; Might SeL4 benefit Nuclear Weapons?.
Abstract not provided.
Evans, Noah↗
Hobbes Node Virtualization Layer: System Software Infrastructure for Application Composition and Performance Isolation.
Abstract not provided.
Evans, Noah↗
Scythe: Composing MPI and OpenMP on top of a common runtime substrate.
Abstract not provided.
Evans, Noah↗
Hobbes Node Virtualization Layer: System Software Infrastructure for Application Composition and Performance Isolation.
Abstract not provided.
Evans, Noah↗
Toward Automatic Test Synthesis for Performance Portable Programs.
Abstract not provided.
Teranishi, Keita↗
Toward Automatic Test Synthesis for Performance Portable Programs.
Abstract not provided.
Teranishi, Keita↗