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.”

Chauhan received his PhD from Texas ECE in the summer of 2017. He is now working as a Software Engineer at Tableau Software. He previously worked as a research intern in a VMware Research Group, an intern with Amazon Web Services, a research intern with École polytechnique fédérale de Lausanne, and as a Technical Staff Member with IBM. Chauhan received his bachelor of Technology from the Indian Institute of Technology, Kanpur.