https://hevrard.org/index.html https://hevrard.org/project/distrace/index.html https://hevrard.org/project/dlc/index.html https://hevrard.org/publication/2013-forte/index.html https://hevrard.org/publication/2015-pdp/index.html https://hevrard.org/publication/2016-tacas/index.html https://hevrard.org/publication/2017-fse/index.html https://hevrard.org/publication/2017-jlamp/index.html https://hevrard.org/publication/2017-oopsla/index.html