Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling.