Implementing resource-aware safe assembly for kernel probes as a dependently-typed DSL.

Ilya Yanok, Nathaniel Nystrom

Browse the full ICFP paper archive.