A Theory of Nested Speculative Execution.

Cristian Tapus, Jason Hickey

Browse the full Coordination paper archive.