Cooperative reasoning for preemptive execution.

Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan

Browse the full PPoPP paper archive.