EasyChair Smart Slide
Towards Static Performance Guarantees for Programs with Run-time Checks
Towards Static Performance Guarantees for Programs with Run-time Checks