dblp.uni-trier.dewww.uni-trier.de

Karen Zee Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
11EEKaren Zee, Viktor Kuncak, Martin C. Rinard: An integrated proof language for imperative programs. PLDI 2009: 338-351
2008
10EEKaren Zee, Viktor Kuncak, Martin C. Rinard: Verifying linked data structure implementations. IPDPS 2008: 1-5
9EEKaren Zee, Viktor Kuncak, Martin C. Rinard: Full functional verification of linked data structures. PLDI 2008: 349-361
2007
8EEKaren Zee, Viktor Kuncak, Michael Taylor, Martin C. Rinard: Runtime Checking for Program Verification. RV 2007: 202-213
7EECharles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin C. Rinard: Using First-Order Theorem Provers in the Jahob Data Structure Verification System. VMCAI 2007: 74-88
2006
6EEThomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin C. Rinard: On Verifying Complex Properties using Symbolic Shape Analysis CoRR abs/cs/0609104: (2006)
5EEViktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard: Modular Pluggable Analyses for Data Structure Consistency. IEEE Trans. Software Eng. 32(12): 988-1005 (2006)
2005
4EEViktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard: Implications of a Data Structure Consistency Checking System. VSTTE 2005: 214-226
2004
3EEKonstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard: Verifying a File System Implementation. ICFEM 2004: 373-390
2002
2EEKaren Zee, Martin C. Rinard: Write barrier removal by static analysis. OOPSLA 2002: 191-210
1EEKaren Zee, Martin C. Rinard: Write barrier removal by static analysis. SIGPLAN Notices 37(4): 32-41 (2002)

Coauthor Index

1Konstantine Arkoudas [3]
2Charles Bouillaguet [7]
3Viktor Kuncak [3] [4] [5] [6] [7] [8] [9] [10] [11]
4Patrick Lam [4] [5]
5Andreas Podelski [6]
6Martin C. Rinard [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]
7Michael Taylor [8]
8Thomas Wies [6] [7]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)