Artifact for OOPSLA'26: Specy: Learning Specifications for Distributed Systems from Event Traces

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Deyuan (Mike) He, Ankush Desai, Jagarapu Aishwarya, Terry Doug, Sharad Malik, A. Gupta
DOI: 10.5281/zenodo.18452033
Cited by: 1

Abstract

This archive contains the artifact of the OOPSLA'26 paper "Specy: Learning Specifications for Distributed Systems from Event Traces". PInfer-OOPSLA-Artifact-main.zip: https://github.com/AD1024/PInfer-OOPSLA-Artifact/tree/3dd4222228da0d0292f00fb4c5fceeea510620ad PInfer-Benchmarks-oopsla-artifact.zip: https://github.com/AD1024/PInfer-Benchmarks/tree/3dad8657f6ff15b217074f8fa499fe6c364ee7a0 *Please note that PInfer-OOPSLA-Artifact-main is downloaded via GitHub webpage, where the "pinfer_traces.tar" is a pointer file to the GitHub LFS. Before building the docker image, please overwrite this pointer file with the pinfer_traces.tar in this archive.*

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
1 February 2026