diff --git a/doc/Stasis-OSDI.pdf b/doc/Stasis-OSDI.pdf new file mode 100644 index 0000000..d32d4c2 Binary files /dev/null and b/doc/Stasis-OSDI.pdf differ