Published October 7, 2025 | Version v1
Software Open

Artifact of "Endangered by the Language But Saved by the Compiler: Robust Safety via Semantic Back-Translation"

Authors/Creators

  • 1. ROR icon Max Planck Institute for Software Systems
  • 2. ROR icon Institute of Science and Technology Austria

Files

README.md

Files (7.1 GB)

Name Size Download all
md5:ad71ffa72bda27d09b6d5d9fcccb1deb
436.6 kB Preview Download
md5:2a28d648c759d4d2c745893fb28505a9
7.1 GB Download
md5:d1d601251e876ddacb30e0299d4c5012
12.9 kB Preview Download
md5:d96941b2e2ee638b8ebc3d6256292574
416.9 kB Preview Download

Additional details

Related works

Is supplement to
Conference paper: 10.1145/3776682 (DOI)