Full functional verification of linked data structures K Zee, V Kuncak, M Rinard ACM SIGPLAN Notices 43 (6), 349-361, 2008 | 253 | 2008 |

Verifying a file system implementation K Arkoudas, K Zee, V Kuncak, M Rinard International Conference on Formal Engineering Methods, 373-390, 2004 | 91 | 2004 |

An integrated proof language for imperative programs K Zee, V Kuncak, MC Rinard Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009 | 71 | 2009 |

Using first-order theorem provers in the Jahob data structure verification system C Bouillaguet, V Kuncak, T Wies, K Zee, M Rinard Verification, Model Checking, and Abstract Interpretation: 8th International …, 2007 | 69 | 2007 |

Modular pluggable analyses for data structure consistency V Kuncak, P Lam, K Zee, MC Rinard IEEE Transactions on Software Engineering 32 (12), 988-1005, 2006 | 56 | 2006 |

Runtime checking for program verification K Zee, V Kuncak, M Taylor, M Rinard Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada …, 2007 | 54 | 2007 |

Write barrier removal by static analysis K Zee, M Rinard ACM SIGPLAN Notices 37 (11), 191-210, 2002 | 40 | 2002 |

Combining theorem proving with static analysis for data structure consistency K Zee, P Lam, V Kuncak, M Rinard International Workshop on Software Verification and Validation, 2004 | 33 | 2004 |

On verifying complex properties using symbolic shape analysis T Wies, V Kuncak, K Zee, A Podelski, M Rinard arXiv preprint cs/0609104, 2006 | 30 | 2006 |

The Hob project web page P Lam, V Kuncak, K Zee, M Rinard | 15 | 2004 |

Implications of a data structure consistency checking system V Kuncak, P Lam, K Zee, M Rinard Working Conference on Verified Software: Theories, Tools, and Experiments …, 2005 | 5 | 2005 |

Set interfaces for generalized typestate and data structure consistency verification P Lam, K Zee, V Kuncak, M Rinard | 4 | 2007 |

Combining Theorem Proving with Static Analysis for Data Structure Consistency V Kuncak, P Lam, K Zee, M Rinard Proceedings of SVV’04, 2004 | 2 | 2004 |

Verifying linked data structure implementations K Zee, V Kuncak, M Rinard 2008 IEEE International Symposium on Parallel and Distributed Processing, 1-5, 2008 | 1 | 2008 |

Data refinement of representation of a file K Zee, V Kuncak | | 2010 |

Verification of full functional correctness for imperative linked data structures KK Zee Massachusetts Institute of Technology, 2010 | | 2010 |

Research Abstracts-2006 P Lam, V Kuncak, K Zee, M Rinard | | |

Towards an Effective Data Structure Analysis T Wies, V Kuncak, K Zee, A Podelski, M Rinard | | |

Techniques for Write Barrier Removal K Zee, M Rinard | | |

Role Logic for Parameterized Typestate and Modular Pluggable Analyses V Kuncak, K Zee, P Lam, M Rinard | | |