Published May 9, 2026
| Version v1
Software
Open
PSOUFFLE: Towards Scalable Probabilistic Logic Inference for Program Analysis
Authors/Creators
-
1.
Purdue University
-
2.
University of Maryland, College Park
-
3.
East West University
Description
Artifact for the paper “PSOUFFLE: Towards Scalable Probabilistic Logic Inference for Program Analysis”.
This record contains the implementation, benchmark inputs, scripts, README, and checksum files needed for artifact evaluation and result reproduction.
Files
README.pdf
Files
(1.4 GB)
| Name | Size | |
|---|---|---|
|
md5:9fcd6d3ce8ed77c3f93f90a6960ffcf6
|
1.4 GB | Preview Download |
|
md5:71a2e84df9092da05ae73fadd4464231
|
100 Bytes | Download |
|
md5:1468b03033ea820da546ed747391898d
|
1.1 MB | Preview Download |
|
md5:33edf93249be43a75d41b0356ac9c917
|
7.0 kB | Preview Download |
|
md5:a49c65ee60df5ffa1227369fb96d7bac
|
68.2 kB | Preview Download |