Published October 18, 2023 | Version v1
Software Open

Extending GenMC's Usability and Performance (Replication Package)

  • 1. ROR icon Max Planck Institute for Software Systems

Description

This is the artifact accompanying our TACAS'24 submission "Extending GenMC's Usability and Performance".

 

Files

instructions.pdf

Files (4.0 GB)

Name Size Download all
md5:a993fba15aa84f4ddf91f364bc3eddd8
4.0 GB Download
md5:8e52222b9e0dbe44479539ac0a968790
62.4 kB Preview Download

Additional details

Funding

European Commission
PERSIST - A Semantic Foundation for Persistent Programming 101003349