diff --git a/bibs/header.bib b/bibs/header.bib
index ef86ee7..75a6067 100644
--- a/bibs/header.bib
+++ b/bibs/header.bib
@@ -189,6 +189,7 @@
 @STRING{icfp        = "{ACM} {SIGPLAN} {I}nternational {C}onference on
                       {F}unctional {P}rogramming ({ICFP})" }
 @STRING{icfp17      = icfp # ", Oxford, England" }
+@STRING{icfp16      = icfp # ", Nara, Japan" }
 @STRING{icfp14      = icfp # ", Gothenburg, Sweden" }
 @STRING{icfp13      = icfp # ", Boston, Massachusetts" }
 @STRING{icfp12      = icfp # ", Copenhagen, Denmark" }
@@ -227,6 +228,10 @@
 @STRING{ccs19       = ccs # ", London, England" }
 @STRING{ccs20       = ccs }
 
+@STRING{cpp         = "{ACM} {SIGPLAN} Conference on Certified Proofs and Programs ({CPP})"}
+@STRING{cpp16       = cpp # ", St. Petersburg, Florida" }
+@STRING{cpp24       = cpp # ", London, England" }
+
 @STRING{dbpl        = {Database Programming Languages (DBPL)}}
 @STRING{dbpl05      = dbpl}
 
@@ -309,6 +314,8 @@
 @STRING{pldi21      = pldi }
 @STRING{pldi22      = pldi # ", San Diego, California" }
 @STRING{pldi23      = pldi # ", Orlando, Florida" }
+@STRING{pldi24      = pldi # ", Copenhagen, Denmark" }
+
 % ----
 @STRING{lfp         = "ACM Symposium on Lisp and Functional Programming (LFP)" }
 @STRING{lfp80       = lfp # ", Stanford, California" }
@@ -399,6 +406,11 @@
 @STRING{focs13      = focs # ", Berkeley, California"}
 @STRING{focs14      = focs # ", Philadelphia, Pennsylvania"}
 
+% ----
+@STRING{fmcad       = "International Conference on Formal Methods in
+  Computer-Aided Design ({FMCAD})" }
+@STRING{fmcad00     = fmcad # ", Austin, Texas" }
+
 % ----
 @STRING{socg        = "{SIGACT} -- {SIGGRAPH} {S}ymposium on {C}omputational
   {G}eometry (SOCG)"}
@@ -563,6 +575,7 @@
 @STRING{vmcai12  = vmcai # ", Philadelphia, Pennsylvania" }
 @STRING{vmcai13  = vmcai # ", Rome, Italy" }
 @STRING{vmcai16  = vmcai # ", St. Petersburg, Florida" }
+@STRING{vmcai18  = vmcai # ", Los Angeles, California" }
 
 % ----
 @STRING{csf      = "{IEEE} {C}omputer {S}ecurity {F}oundations {S}ymposium
@@ -582,6 +595,11 @@
                     {S}emantics-{B}ased {P}rogram {M}anipulation ({PEPM})" }
 @STRING{pepm91    = pepmpre12 # ", New Haven, Connecticut" }
 
+% ----
+@STRING{arith    = "{IEEE} Symposium on Computer Arithmetic ({ARITH})" }
+@STRING{arith11  = arith # ", T{\"{u}}bingen, Germany" }
+@STRING{arith23  = arith # ", Portland, Oregon" }
+
 % ----
 % workshops with informal proceedings only
 % ----
@@ -657,6 +675,7 @@
 @STRING{mfps      = {Conference on the Mathematical Foundations of Programming
                     Semantics (MFPS)} }
 @STRING{nfm       = {{NASA} Formal Methods Symposium (NFM)} }
+@STRING{nsv       = {International Workshop on Numerical Software Verification ({NSV}) }}
 @STRING{osdi      = {USENIX Symposium on Operating Systems Design and
                     Implementation (OSDI)} }
 @STRING{paste     = {ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for
@@ -705,6 +724,7 @@
 % ---
 @STRING{aplas03     = aplas # ", Beijing, China" }
 @STRING{aplas05     = aplas # ", Tsukuba, Japan" }
+@STRING{aplas08     = aplas # ", Bangalore, India" }
 @STRING{aplas10     = aplas # ", Shanghai, China" }
 @STRING{aplas17     = aplas # ", Suzhou, China" }
 @STRING{aplas21     = aplas # ", Chicago, Illinois" }
@@ -763,6 +783,7 @@
 @STRING{cav18       = cav # ", Oxford, England" }
 @STRING{cav20       = cav # ", Los Angeles, California" }
 @STRING{cav22       = cav # ", Haifa, Israel" }
+@STRING{cav24       = cav # ", Montr{\'e}al, Qu{\'e}bec" }
 % ---
 @STRING{cp          = "International Conference on Principles and Practice of
                        Constraint Programming (CP)" }
@@ -800,6 +821,7 @@
 @STRING{esop00      = esop # ", Berlin, Germany" }
 @STRING{esop01      = esop # ", Genova, Italy" }
 @STRING{esop02      = esop # ", Grenoble, France" }
+@STRING{esop05      = esop # ", Edinburgh, Scotland" }
 @STRING{esop07      = esop # ", Braga, Portugal" }
 @STRING{esop09      = esop # ", York, England" }
 @STRING{esop11      = esop # ", Saarbr{\"u}cken, Germany" }
@@ -810,6 +832,7 @@
 @STRING{esop17      = esop # ", Uppsala, Sweden" }
 @STRING{esop18      = esop # ", Thessaloniki, Greece" }
 @STRING{esop21      = esop # ", Luxembourg City, Luxembourg" }
+@STRING{esop23      = esop # ", Paris, France" }
 % ---
 @STRING{esorics03   = esorics # ", Gj{\o}vic, Norway" }
 % ---
@@ -821,6 +844,7 @@
 @STRING{fm08        = fm # ", Turku, Finland" }
 @STRING{fm11        = fm # ", Limerick, Ireland" }
 @STRING{fm12        = fm # ", Paris, France" }
+@STRING{fm19        = "Formal Methods -- The Next 30 Years ({FM}), Porto, Portugal" }
 % ---
 @STRING{fmco06      = fmco # ", Amsterdam, The Netherlands" }
 @STRING{fmco09      = fmco # ", Eindhoven, The Netherlands" }
@@ -894,6 +918,11 @@ STRING{fse08        = fse # ", Atlanta, Georgia" }
 % ---
 @STRING{nfm11       = nfm # ", Pasadena, California" }
 @STRING{nfm15       = nfm # ", Pasadena, California" }
+
+% ---
+@STRING{nsv09       = nsv # ", Toronto, Ontario" }
+@STRING{nsv22       = nsv # ", Haifa, Israel" }
+
 % ---
 @STRING{osdi96      = osdi # ", Seattle, Washington" }
 @STRING{osdi00      = osdi # ", San Diego, California" }
@@ -929,6 +958,7 @@ STRING{fse08        = fse # ", Atlanta, Georgia" }
 @STRING{sas11       = sas # ", Venice, Italy" }
 @STRING{sas14       = sas # ", Munich, Germany" }
 @STRING{sas17       = sas # ", New York, New York" }
+@STRING{sas23       = sas # ", Cascais, Portugal" }
 % ---
 @STRING{sosp93      = sosp # ", Asheville, North Carolina" }
 % ---
diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index cb64140..8260c83 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -1,12 +1,4 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-@unpublished{KH23,
-  title  = {A Type System for Numerical Error Analysis},
-  author = {Ariel Kellison and Justin Hsu},
-  year   = 2023,
-  jh     = yes,
-  jhsite = yes,
-}
-
 @unpublished{AH23,
   title  = {Separated and Shared Effects in Higher-Order Languages},
   author = {Azevedo de Amorim, Pedro H. and Hsu, Justin},
@@ -20,7 +12,7 @@
 }
 
 @unpublished{GBHSZ23,
-  title  = {An abstract approach to conditional independence in {DIBI} models},
+  title  = {A Categorical Approach to {DIBI} Models},
   author = {Gu, Tao and
             Bao, Jialu and
             Hsu, Justin and
@@ -116,6 +108,32 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@inproceedings{BLH24,
+  title  = {Verifying Cake Cutting, Faster},
+  author = {Bertram, Noah and Lai, Tean and Hsu, Justin},
+  booktitle     = cav24,
+  year   = 2024,
+  jh     = yes,
+  jhsite = yes,
+  reviewed  = yes,
+}
+
+@inproceedings{KH23,
+  title  = {Numerical {Fuzz}: A Type System for Rounding Error Analysis},
+  author = {Ariel Kellison and Justin Hsu},
+  year     = 2024,
+  month    = jun,
+  journal  = pacmpl,
+  articleno = {226},
+  volume   = {8},
+  number   = {PLDI},
+  reviewed = yes,
+  jh       = yes,
+  jhsite   = yes,
+  doi      = {10.1145/3656456},
+  note   = "Appeared at " # pldi24 # ".",
+}
+
 @inproceedings{GGH23,
   title  = {Expressive Policies for Microservice Networks},
   author = {Grewal, Karuna and Godfrey, Brighten and Hsu, Justin},