Runtime Verification

Vijay Garg and Himanshu Chauhan Receive Best Paper at RV'17

Vijay Garg RV'17

Texas ECE Professor Vijay Garg and his former PhD student Himanshu Chauhan received the Best Paper Award at the International Conference on Runtime Verification 2017 (RV’17), held September 13th–16th in Seattle, Washington. The Runtime Verification event originated as a workshop in 2001, and is now an international conference, held annually since 2010. The award recognizes their paper “Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs.”


Subscribe to RSS - Runtime Verification