| 2008 |
|---|
| 10 | EE | Karen Zee,
Viktor Kuncak,
Martin C. Rinard:
Verifying linked data structure implementations.
IPDPS 2008: 1-5 |
| 9 | EE | Karen Zee,
Viktor Kuncak,
Martin C. Rinard:
Full functional verification of linked data structures.
PLDI 2008: 349-361 |
| 2007 |
|---|
| 8 | EE | Karen Zee,
Viktor Kuncak,
Michael Taylor,
Martin C. Rinard:
Runtime Checking for Program Verification.
RV 2007: 202-213 |
| 7 | EE | 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: 74-88 |
| 2006 |
|---|
| 6 | EE | Thomas Wies,
Viktor Kuncak,
Karen Zee,
Andreas Podelski,
Martin C. Rinard:
On Verifying Complex Properties using Symbolic Shape Analysis
CoRR abs/cs/0609104: (2006) |
| 5 | EE | Viktor 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 |
|---|
| 4 | EE | Viktor Kuncak,
Patrick Lam,
Karen Zee,
Martin C. Rinard:
Implications of a Data Structure Consistency Checking System.
VSTTE 2005: 214-226 |
| 2004 |
|---|
| 3 | EE | Konstantine Arkoudas,
Karen Zee,
Viktor Kuncak,
Martin C. Rinard:
Verifying a File System Implementation.
ICFEM 2004: 373-390 |
| 2002 |
|---|
| 2 | EE | Karen Zee,
Martin C. Rinard:
Write barrier removal by static analysis.
OOPSLA 2002: 191-210 |
| 1 | EE | Karen Zee,
Martin C. Rinard:
Write barrier removal by static analysis.
SIGPLAN Notices 37(4): 32-41 (2002) |
