Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics

This supplementary file (.tgz) contains the Forge model, Cope-and-Drag specification, and trace screenshots.