Verifying Qthreads: Is Model Checking Viable for User Level Tasking Runtimes?

Noah Evans

Browse the full SC paper archive.