The paper 'Efficient Deadlock Avoidance by Considering Stalling, Message Dependencies, and Topology' was published in IEEE Computer Architecture Letters.