In collaboration with his SMART group members, Pinkston conducted deadlock characterization studies that revealed how infrequently, and under what conditions, deadlocks can form and be resolved in interconnection networks, giving credence to deadlock recovery-based routing as a viable alternative to deadlock avoidance-based routing.