diff --git a/docs/ctor-dtor-raii-popl12.pdf b/docs/ctor-dtor-raii-popl12.pdf
new file mode 100644
index 0000000..ecf8c30
Binary files /dev/null and b/docs/ctor-dtor-raii-popl12.pdf differ