Publising deadlock programs prior to popl15 author-responce closure.