| Full functional verification of linked data structures K Zee, V Kuncak, M Rinard ACM SIGPLAN Notices 43 (6), 349-361, 2008 | 251 | 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 | 73 | 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 | 70 | 2007 |
| Runtime checking for program verification K Zee, V Kuncak, M Taylor, M Rinard Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada …, 2007 | 58 | 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 | 57 | 2006 |
| 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 | 29 | 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 | | |
