paper award

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,

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

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/).