diff --git a/papers/hatra23/hatra23.pdf b/papers/hatra23/hatra23.pdf new file mode 100644 index 00000000..128f4f91 Binary files /dev/null and b/papers/hatra23/hatra23.pdf differ