Karen Zee

Publication Activity (10 Years)

Years Active: 2002-2009
Publications (10 Years): 0

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Karen Zee, Viktor Kuncak, Martin C. Rinard
An integrated proof language for imperative programs. PLDI (2009)
Karen Zee, Viktor Kuncak, Martin C. Rinard
Verifying linked data structure implementations. IPDPS (2008)
Karen Zee, Viktor Kuncak, Martin C. Rinard
Full functional verification of linked data structures. PLDI (2008)
Karen Zee, Viktor Kuncak, Michael B. Taylor, Martin C. Rinard
Runtime Checking for Program Verification. RV (2007)
Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin C. Rinard
Using First-Order Theorem Provers in the Jahob Data Structure Verification System. VMCAI (2007)
Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard
Modular Pluggable Analyses for Data Structure Consistency. IEEE Trans. Software Eng. 32 (12) (2006)
Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin C. Rinard
On Verifying Complex Properties using Symbolic Shape Analysis CoRR (2006)
Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard
Implications of a Data Structure Consistency Checking System. VSTTE (2005)
Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard
Verifying a File System Implementation. ICFEM (2004)
Karen Zee, Viktor Kuncak
File Refinement. Arch. Formal Proofs 2004 (2004)
Karen Zee, Martin C. Rinard
Write barrier removal by static analysis. ACM SIGPLAN Notices 37 (4) (2002)
Karen Zee, Martin C. Rinard
Write barrier removal by static analysis. OOPSLA (2002)