Write barrier removal by static analysis. - Karen Zee; Martin C. Rinard (OOPSLA, 2002)

Verifying a File System Implementation. - Konstantine Arkoudas; Karen Zee; Viktor Kuncak; Martin C. Rinard (ICFEM, 2004)

File Refinement. - Karen Zee; Viktor Kuncak (Arch. Formal Proofs, 2004)

Implications of a Data Structure Consistency Checking System. - Viktor Kuncak; Patrick Lam 001; Karen Zee; Martin C. Rinard (VSTTE, 2005)

On Verifying Complex Properties using Symbolic Shape Analysis - Thomas Wies; Viktor Kuncak; Karen Zee; Andreas Podelski; Martin C. Rinard (CoRR, 2006)

Modular Pluggable Analyses for Data Structure Consistency. - Viktor Kuncak; Patrick Lam 001; Karen Zee; Martin C. Rinard (IEEE Trans. Software Eng., 2006)

Runtime Checking for Program Verification. - Karen Zee; Viktor Kuncak; Michael B. Taylor; Martin C. Rinard (RV, 2007)

Using First-Order Theorem Provers in the Jahob Data Structure Verification System. - Charles Bouillaguet; Viktor Kuncak; Thomas Wies; Karen Zee; Martin C. Rinard (VMCAI, 2007)

Verifying linked data structure implementations. - Karen Zee; Viktor Kuncak; Martin C. Rinard (IPDPS, 2008)

Full functional verification of linked data structures. - Karen Zee; Viktor Kuncak; Martin C. Rinard (PLDI, 2008)

An integrated proof language for imperative programs. - Karen Zee; Viktor Kuncak; Martin C. Rinard (PLDI, 2009)

Verification of full functional correctness for imperative linked data structures. - Karen Zee (2010)