From 82869324e0d62fbe3e2a605307b770d008e10431 Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinhsu.net>
Date: Wed, 12 Aug 2026 10:59:45 -0400
Subject: [PATCH] update

---
 bibs/myrefs.bib  | 2 ++
 content/about.md | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 6f52072..7238595 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -169,6 +169,8 @@
             Hsu, Justin and
             Singh, Rachee},
   booktitle     = sigcomm26,
+  url = {https://dl.acm.org/doi/10.1145/3789240.3829151},
+  doi = {10.1145/3789240.3829151},
   year   = 2026,
   jh     = yes,
   jhsite = yes,
diff --git a/content/about.md b/content/about.md
index a9e7816..e5710ad 100644
--- a/content/about.md
+++ b/content/about.md
@@ -13,7 +13,7 @@ Logic, and Verification Group](http://pplv.cs.ucl.ac.uk/welcome/) at the
 Pennsylvania](https://www.upenn.edu).
 
 I am funded by the National Science Foundation, the Office of Naval Research,
-and Facebook Research.
+and Jane Street.
 
 ## Research Interests ##
 I design methods to **formally verify** that **algorithms** are correct. I am