Ensuring Code Safety Without Run-time Checks for Real-time Control Systems -Presented by Sumant KowshikJoint Work With Dinakar Dhurjati and Vikram of Illinois at Urbana-ChampaignSupported by NS