Karen Zee

According to our database, Karen Zee authored at least 12 papers between 2002 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Verification of full functional correctness for imperative linked data structures.

Karen Zee

PhD thesis, 2010

2009

An integrated proof language for imperative programs.

Karen Zee, Viktor Kuncak, Martin C. Rinard

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008

Full functional verification of linked data structures.

Karen Zee, Viktor Kuncak, Martin C. Rinard

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Verifying linked data structure implementations.

Karen Zee, Viktor Kuncak, Martin C. Rinard

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

2007

Using First-Order Theorem Provers in the Jahob Data Structure Verification System.

Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin C. Rinard

Proceedings of the Verification, 2007

Runtime Checking for Program Verification.

Karen Zee, Viktor Kuncak, Michael B. Taylor, Martin C. Rinard

Proceedings of the Runtime Verification, 7th International Workshop, 2007

2006

Modular Pluggable Analyses for Data Structure Consistency.

Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard

IEEE Trans. Software Eng., 2006

On Verifying Complex Properties using Symbolic Shape Analysis

Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin C. Rinard

CoRR, 2006

2005

Implications of a Data Structure Consistency Checking System.

Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard

Proceedings of the Verified Software: Theories, 2005

2004

File Refinement.

Karen Zee, Viktor Kuncak

Arch. Formal Proofs, 2004

Verifying a File System Implementation.

Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard

Proceedings of the Formal Methods and Software Engineering, 2004

2002

Write barrier removal by static analysis.

Karen Zee, Martin C. Rinard

ACM SIGPLAN Notices, 2002