We collaborate with our colleagues from artifact-eval.org to push artifact evaluation to the major conferences and journals with the traditional publication model (many thanks to Shriram Krishnamurthi for his help, support and discussions). Validated papers receive a stamp "Artifact Evaluated".
Our current participants are:
