diff --git a/pldi2020-paper29.pdf b/pldi2020-paper29.pdf
deleted file mode 100644
index ed5c05b..0000000
Binary files a/pldi2020-paper29.pdf and /dev/null differ