Published October 16, 2025 | Version v2 (Updated README)
Software Open

Artifact for Nice to Meet You: Synthesizing Practical Abstract Transformers for MLIR

Authors/Creators

  • 1. ROR icon University of California, San Diego
  • 2. ROR icon University of Utah

Files

README.md

Files (665.2 MB)

Name Size Download all
md5:29dcd487fb815fb12605525704cc740b
24.4 kB Preview Download
md5:aee67cdd583943ba212e80ff3f5c980d
338.6 MB Download
md5:36cbd98711095452f2d4d6a1f8fe71eb
326.6 MB Download