From de305a0701581b541b1fd4e0ee9ac4deb40fc3df Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinhsu.net>
Date: Fri, 22 May 2026 22:11:09 -0400
Subject: [PATCH] paper award

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

diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index edc3751..a636e7b 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -163,7 +163,7 @@
   eprint = {2604.15633},
   archivePrefix = {arXiv},
   primaryClass  = {cs.PL},
-  note   = "Appeared at " # pldi26 # ".",
+  note   = "Appeared at " # pldi26 # ". Distinguished Paper Award.",
 }
 
 @article{GGH25,
diff --git a/content/about.md b/content/about.md
index 0b7fb51..a65b3eb 100644
--- a/content/about.md
+++ b/content/about.md
@@ -46,6 +46,7 @@ policies, and algorithms from numerical analysis and applied mathematics.
 
 ## Awards and Honors ##
 
+- **2026** PLDI Distinguished Paper Award
 - **2024** EATCS [Presburger Award](https://www.eatcs.org/index.php/presburger)
 - **2024** Royal Society [Wolfson Visiting Fellowship](https://royalsociety.org/grants/royal-society-wolfson-visiting-fellowship/)
 - **2022** CAV Distinguished Paper Award
diff --git a/content/news.md b/content/news.md
index 00c6ed7..dc71b99 100644
--- a/content/news.md
+++ b/content/news.md
@@ -1,7 +1,8 @@
 + **05/2026** **$\lambda_{\lambda}$: A Programming Language for Photonic
   Switches** will appear at **SIGCOMM 2026**. Congrats Vaibhav and Arjun!
-+ **04/2026** **Synthesizing Backward Error Bounds, Backward** will appear at
-  **PLDI 2026**. Congrats Laura!
++ **05/2026** **Synthesizing Backward Error Bounds, Backward** will appear at
+  **PLDI 2026**, and has been selected for a **Distinguished Paper Award**.
+  Congrats Laura!!
 + **08/2025** I'm back to Ithaca after a year on sabbatical! This fall, I'll be
   teaching [**Category Theory for Computer Scientists
   (CS 6117)**](https://www.cs.cornell.edu/courses/cs6117/2025fa/).