From 6fd5ee373d92bb3ca6a3a36579ce3f103a042e97 Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Sat, 1 Apr 2023 01:40:07 -0400
Subject: [PATCH] PLDI paper.

---
 bibs/header.bib |  1 +
 bibs/myrefs.bib | 22 ++++++++++++++--------
 content/news.md |  4 ++--
 3 files changed, 17 insertions(+), 10 deletions(-)

diff --git a/bibs/header.bib b/bibs/header.bib
index 87db72e..4bd9337 100644
--- a/bibs/header.bib
+++ b/bibs/header.bib
@@ -308,6 +308,7 @@
 @STRING{pldi20      = pldi # ", London, England" }
 @STRING{pldi21      = pldi }
 @STRING{pldi22      = pldi # ", San Diego, California" }
+@STRING{pldi23      = pldi # ", Orlando, Florida" }
 % ----
 @STRING{lfp         = "ACM Symposium on Lisp and Functional Programming (LFP)" }
 @STRING{lfp80       = lfp # ", Stanford, California" }
diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index e792f8f..cfc6a90 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -1,12 +1,4 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-@unpublished{BHL22,
-  title  = {Cutting the Cake: A Language for Fair Division},
-  author = {Bertram, Noah and Levinson, Alex and Hsu, Justin},
-  year   = 2022,
-  jh     = yes,
-  jhsite = yes,
-}
-
 @unpublished{AH23,
   title  = {Separated and Shared Effects in Higher-Order Languages},
   author = {Azevedo de Amorim, Pedro H. and Hsu, Justin},
@@ -116,6 +108,20 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@article{BLH23,
+  title  = {Cutting the Cake: A Language for Fair Division},
+  author = {Bertram, Noah and Levinson, Alex and Hsu, Justin},
+  year     = 2023,
+  month    = jun,
+  journal  = pacmpl,
+  volume   = {7},
+  number   = {PLDI},
+  reviewed = yes,
+  jh       = yes,
+  jhsite = yes,
+  note   = "Appeared at " # pldi23 # ".",
+}
+
 @article{SLHR21,
   title  = {Symbolic Execution for Randomized Programs},
   author = {Susag, Zachary and
diff --git a/content/news.md b/content/news.md
index 1ec2b43..721115a 100644
--- a/content/news.md
+++ b/content/news.md
@@ -1,3 +1,5 @@
++ **03/2023** **Cutting the Cake: A Language for Fair Division** to appear at
+  **PLDI 2023**.
 + **01/2023** This spring, I am co-teaching 🐫[**Data Structures and Functional
   Programming (CS 3110)**](https://www.cs.cornell.edu/courses/cs3110/2023sp/)🐫
   with Dexter Kozen.
@@ -12,5 +14,3 @@
   appear at **OOPSLA 2022**.
 + **05/2022** **Data-Driven Invariant Learning for Probabilistic Programs** to
   appear at **CAV 2022**.
-+ **02/2022** **P4BID: Information Flow Control in P4** to appear at **PLDI
-  2022**.