Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs. In SOSP 2024
Zodiac automatically unearths complex cloud IaC semantic checks/rules that state-of-the-art IaC tools cannot easily capture, allowing us to reduce runtime error violations that can take very long to debug, into simple compile time checks.