About ECE

Monday, August 29, 2011

Prof. Vijay Garg Receives NSF Grant for Work on "Improving Dependability of Multithreaded Distributed Programs"

UT ECE professor Vijay Garg has been awarded an NSF grant for a project titled "Improving Dependability of Multithreaded Distributed Programs.' In this project, Prof. Garg and co-PI Prof. Neeraj Mittal (the University of Texas at Dallas) will work on the theory and algorithms for monitoring, analyzing and controlling multithreaded distributed computations.

They are investigating the following problems related to multithreaded distributed software:

1. Detecting temporal predicates: Efficient algorithms for analyzing a multithreaded distributed computation to detect whether some global state of the computation violates a given global invariant.
2. Dependency tracking: Timestamping events in a multithreaded distributed computation to efficiently determine how they are related.
3. Controlling temporal predicates: Algorithms to control a multithreaded distributed computation at runtime to ensure that a global invariant is always maintained.