diff --git a/compressed.tracemonkey-pldi-09.pdf b/compressed.tracemonkey-pldi-09.pdf new file mode 100644 index 000000000..342f7aa00 Binary files /dev/null and b/compressed.tracemonkey-pldi-09.pdf differ