Published April 15, 2026 | Version v2
Software Open

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation

Authors/Creators

  • 1. ROR icon University of Illinois Urbana-Champaign

Description

Artifact for our PLDI'26 paper titled "Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation"

Files

README.md

Files (2.7 GB)

Name Size
md5:eaf2eb13d771e7c860829e23f3224656
589.6 MB Preview Download
md5:e314108d0e3c0a3622580d8293967263
2.1 GB Download
md5:1f6452368af51cb46a4146e6f241ec23
11.5 kB Preview Download
md5:7af22f0449bfc6aeaa6adb0615ccb44b
13.7 kB Preview Download