Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

Published October 2, 2022 | Version 0.1
Software Open

Kater: Automating Weak Memory Models

Creators

  • 1. MPI-SWS
  • 2. Tel Aviv University

Description

This is the artifact accompanying our paper "Kater: Automating Weak Memory Models", conditionally accepted for publication at POPL 2023.

Files

instructions.pdf

Files (3.6 GB)

Name Size Download all
md5:3718db8f96ff0f8adf00fe5fb3b22669
68.9 kB Preview Download
md5:e1a6a7b0735a3d053d2a7687fd4bb0e1
3.6 GB Download

Additional details

Funding

PERSIST – A Semantic Foundation for Persistent Programming 101003349
European Commission