Managing State Explosion Through Runtime Verification Sharad Malik Princeton University Gigascale Systems Research Center (GSRC) Hardware Verification.
Opportunities and Challenges for Better Than WorstCase Design Todd Austin (presenter) Valeria Bertacco David Blaauw Trevor Mudge University of Michigan.