Karen Zee

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