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