- Aaron Stump, Hongwei Xi, editors, Proceedings of the Programming Languages meets Program Verification, PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006. Volume 174 of Electronic Notes in Theoretical Computer Science, Elsevier, 2007.
- Aaron Stump, Hongwei Xi, editors, Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007. ACM, 2007.