From c1fc04e8a532beddb7c3e44076d1052d4ac8c37e Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Thu, 9 May 2024 11:43:30 -0400
Subject: [PATCH] arxiv

---
 bibs/myrefs.bib | 4 ++++
 1 file changed, 4 insertions(+)

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 # ".",
 }