There is a newer version of the record available.

Published March 9, 2024 | Version v2
Software Open

Learning Abstraction Selection for Bayesian Program Analysis (Paper Artifact)

Creators

  • 1. ROR icon Peking University

Description

This is the artifact of the paper Learning Abstraction Selection for Bayesian Program Analysis to appear in OOPSLA 2024.

Files

README.pdf

Files (3.0 GB)

Name Size Download all
md5:43b43a24c4e85162f79ac053791f91e9
3.0 GB Download
md5:e2a301f0bc55c8e120a04ea2c6150829
33.2 kB Preview Download
md5:159c29736893c11c5a73cea5ff615eed
694.8 kB Preview Download

Additional details

Related works

Is supplemented by
10.1145/3649845 (DOI)