Research Areas: 
Programming Languages
Security
Systems and Networking
Date Posted: 9/21/2016

CS Chair Fred Schneider will deliver a keynote address at the 16th International Conference on Runtime Verification (RV 2016) in Madrid, Spain, on September 30. His talk is titled "Why Tags Could be it” and focuses on expressive classes of tags that label data as an alternative means of policy enforcement.