Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs.

Yiming Qiu, Patrick Tser Jern Kon, Ryan Beckett, Ang Chen

Browse the full SOSP paper archive.