diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 78604bc..380acd5 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -137,6 +137,10 @@
   jh       = yes,
   jhsite   = yes,
   doi      = {10.1145/3656456},
+  url       = {https://arxiv.org/abs/2405.04612},
+  eprint    = {2405.04612},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.PL},
   note   = "Appeared at " # pldi24 # ".",
 }