One project I worked on, called "Extreme Management" is working on ways to make machines and systems of machines easier to manage. ubiquitous. One of the issues we are looking into is system dependencies. We want to create a formal way to describe system dependencies and then be able to generate a graph containing the dependencies of a system to make troubleshooting more automated.
My main research invlolved detecting concurrency bugs in multithreaded applications. For this project, I studied order related bugs to find the feasibility of detecting them. My other goal was to come up with an approatch for detecting these types of bugs. By keeping track of define-use pairs, we are be able detect order related concurrency bugs. If you would like to read more about my research, please take a look at my final paper.