diff --git a/public/paper/cc2018.pdf b/public/paper/cc2018.pdf deleted file mode 100644 index 07eb3c0..0000000 Binary files a/public/paper/cc2018.pdf and /dev/null differ diff --git a/public/paper/datalog2022.pdf b/public/paper/datalog2022.pdf deleted file mode 100644 index bafdd00..0000000 Binary files a/public/paper/datalog2022.pdf and /dev/null differ diff --git a/public/paper/issta2018.pdf b/public/paper/issta2018.pdf deleted file mode 100644 index b52d815..0000000 Binary files a/public/paper/issta2018.pdf and /dev/null differ diff --git a/public/paper/onward2022.pdf b/public/paper/onward2022.pdf deleted file mode 100644 index d9bcc7a..0000000 Binary files a/public/paper/onward2022.pdf and /dev/null differ diff --git a/public/paper/oopsla2020a.pdf b/public/paper/oopsla2020a.pdf deleted file mode 100644 index d759c6a..0000000 Binary files a/public/paper/oopsla2020a.pdf and /dev/null differ diff --git a/public/paper/oopsla2020b.pdf b/public/paper/oopsla2020b.pdf deleted file mode 100644 index c135a02..0000000 Binary files a/public/paper/oopsla2020b.pdf and /dev/null differ diff --git a/public/paper/oopsla2021.pdf b/public/paper/oopsla2021.pdf deleted file mode 100644 index fd6cac3..0000000 Binary files a/public/paper/oopsla2021.pdf and /dev/null differ diff --git a/public/paper/pldi2016.pdf b/public/paper/pldi2016.pdf deleted file mode 100644 index 56115d5..0000000 Binary files a/public/paper/pldi2016.pdf and /dev/null differ diff --git a/public/paper/ppdp2018.pdf b/public/paper/ppdp2018.pdf deleted file mode 100644 index 3714f8f..0000000 Binary files a/public/paper/ppdp2018.pdf and /dev/null differ diff --git a/public/talks/dahl-nygaard.pdf b/public/talks/dahl-nygaard.pdf deleted file mode 100644 index 39398fb..0000000 Binary files a/public/talks/dahl-nygaard.pdf and /dev/null differ