Slides for lightning talk on hotcode 2013