If this page looks abnormally plain, you should consider upgrading to a standards-compliant browser Links to other sections of this site appear at the bottom of the page. Research I am particularly interested in topics in the systems area of computer science, specifically parallel and distributed systems and programming languages . My research focuses on techniques to make programming easier and more reliable, although sometimes I have obtained results in areas tangential to my main interests. You may also want to check out the Clinic projects I've been involved in. Student Involvement In the coming year, I'm hoping to increase my level of student involvement in my research. Currently I have project ideas for students in the area of storage management. I'm also very interested in supporting other student ideas for research that match my interests. Active Projects This summer, I'm hoping to submit work in the following areas Dominance Drawings and their Applications Dominance drawings have some useful properties. In particular, they allow one to determine whether there is a path between two nodes in a graph in O(1) time. Previous algorithms for constructing dominance drawings have assumed that the graph is known when the drawing is made. I have developed a simple algorithm for creating a dominance drawing incrementally. My current work focuses on proving that this simple algorithm is correct. | |
|