Published April 16, 2018 | Version v1.0.1
Software Open

lpzun/cuba: CUBA: Interprocedural Context-Unbounded Analysis of Concurrent Programs (Artifact)

Authors/Creators

  • 1. Northeastern University

Description

This is the artifact for PLDI'18 paper:

CUBA: Interprocedural Context-Unbounded Analysis of Concurrent Programs.

Files

lpzun/cuba-v1.0.1.zip

Files (3.5 MB)

Name Size Download all
md5:34a3845cbbeec32cd129d3a21be321ce
3.5 MB Preview Download

Additional details

Related works

Is supplement to
https://github.com/lpzun/cuba/tree/v1.0.1 (URL)