2 ms·Kernel Contracts: A Spec. Language for Correctness Across Heterogeneous Silicon1 points by matt_d 6mo ago