Add citations

Author: mernst

docs/manual/accumulation-checker.tex

@@ -107,6 +107,19 @@
 system.
 
 
+\sectionAndLabel{Publications}{accumulation-publications}
+
+The paper
+\href{https://homes.cs.washington.edu/~mernst/pubs/accumulation-analysis-ecoop2022.pdf}{``Accumulation
+  Analysis''}~\cite{KelloggSSE2022} describes theoretical properties of
+accumulation analysis.  The papers
+\href{https://homes.cs.washington.edu/~mernst/pubs/object-construction-icse2020.pdf}{``Verifying
+  Object Construction''}~\cite{KelloggRSSE2020} and
+\href{https://homes.cs.washington.edu/~mernst/pubs/resource-leak-esecfse2021.pdf}{``Lightweight
+  and modular resource leak verification''}~\cite{KelloggSSE2021} describe
+specific accumulation analyses.
+
+
 % LocalWords:  SubtypeOf TestAccumulation TestAccumulationBottom
 % LocalWords:  TestAccumulationPredicate AccumulationChecker
 % LocalWords:  AccumulationAnnotatedTypeFactory BaseTypeChecker

docs/manual/manual.bbl

@@ -388,6 +388,12 @@ Martin Kellogg, Narges Shadab, Manu Sridharan, and Michael~D. Ernst.
   Engineering Conference and Symposium on the Foundations of Software
   Engineering (ESEC/FSE)}, Athens, Greece, August 2021.
 
+\bibitem[KSSE22]{KelloggSSE2022}
+Martin Kellogg, Narges Shadab, Manu Sridharan, and Michael~D. Ernst.
+\newblock Accumulation analysis.
+\newblock In {\em ECOOP 2022 --- Object-Oriented Programming, 33rd European
+  Conference}, Berlin, Germany, June 2022.
+
 \bibitem[KSTE20]{KelloggSTE2020}
 Martin Kellogg, Martin Sch{\"a}f, Serdar Tasiran, and Michael~D. Ernst.
 \newblock Continuous compliance.

docs/manual/troubleshooting.tex

@@ -1252,6 +1252,8 @@
   Automatic Annotation of Confidential Data in Java Code (FPS 2021)~\cite{BastysBRS2021}
 
 % 2022
+\item
+  Accumulation Analysis (ECOOP 2022)~\cite{KelloggSSE2022}
 \item
   Lightweight Verification via Specialized Typecheckers (PhD thesis, 2022)~\cite{Kellogg2022}