Ph.D. Computer Science & Engineering, Ohio State University, 2004
M.S.  Computer & Information Science, Ohio State University, 2000
B.A.  Philosophy, Yale University, 1996

I am an assistant professor in the Department of Computer Science at Texas A&M University. My research investigates theoretical and practical techniques for isolating partial failures within small, local neighborhoods of impact in distributed systems. A representative sample of the kind of work I do can be found here. My previous work addresses a variety of intersecting topics in software engineering, distributed systems, and programming languages.

New: Eventually k-Bounded Wait-Free Distributed Daemons. This paper demonstrates the sufficiency of the eventually-perfect failure detector for wait-free and eventually fair scheduling in environments subject to process crashes. A companion paper demonstrates the necessity of this failure detector, in the sense that wait-free, eventually fair scheduling is impossible using any weaker oracle for crash-fault detection. As such, our results present an optimal oracle for wait-free, eventually fair scheduling.

Current Courses: Operating Systems 410/611

• I am teaching Operating Systems 410/611 during Summer 2008. This is a stacked course consisting of two sections which meet concurrently. CPSC 410 is the undergraduate section intended for computer science majors. CPSC 611 is a graduate section intended only for graduate students outside of computer science. Please note that graduate students in Computer Science or Computer Engineering cannot get credit for CPSC 611; such students should enroll for CPSC 613, if available.