CS 6120: Lesson 11: Tracing via Speculation

From Adrian Sampson