We have published a report about artifact evaluation at PPoPP'19
including HotCRP configuration:
https://bit.ly/configure-hotcrp-for-artifact-evaluation .
Hope it will be useful for the future AE chairs to set up their own
HotCRP AE instance and to automatically generate a list of evaluated
artifacts with their badges.
Cheers,
Grigori