Artifact for PLDI2026#17 "Path-Sensitive Abstract Interpretation for WCET Estimation"

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

Read full text
Authors: Shuqi Xiao, Mengxia Sun, Wei Zhang, Naijun Zhan, Lin Ju
DOI: 10.5281/zenodo.19045049
Cited by: 1

Abstract

This archive contains the artifact for the PLDI 2026 paper:"Path-Sensitive Abstract Interpretation for WCET Estimation".The artifact allows reviewers to reproduce the experimental results reported in the paper.The repository includes:- implementation- benchmarks- instructions for review

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
16 March 2026