Follow
Karen Zee
Karen Zee
VMware, Inc.
Verified email at mit.edu
Title
Cited by
Cited by
Year
Full functional verification of linked data structures
K Zee, V Kuncak, M Rinard
ACM SIGPLAN Notices 43 (6), 349-361, 2008
2542008
Verifying a file system implementation
K Arkoudas, K Zee, V Kuncak, M Rinard
International Conference on Formal Engineering Methods, 373-390, 2004
912004
An integrated proof language for imperative programs
K Zee, V Kuncak, MC Rinard
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
722009
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
692007
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
572006
Runtime checking for program verification
K Zee, V Kuncak, M Taylor, M Rinard
Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada …, 2007
552007
Write barrier removal by static analysis
K Zee, M Rinard
ACM SIGPLAN Notices 37 (11), 191-210, 2002
402002
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
332004
On verifying complex properties using symbolic shape analysis
T Wies, V Kuncak, K Zee, A Podelski, M Rinard
arXiv preprint cs/0609104, 2006
302006
The Hob project web page
P Lam, V Kuncak, K Zee, M Rinard
152004
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
52005
Set interfaces for generalized typestate and data structure consistency verification
P Lam, K Zee, V Kuncak, M Rinard
42007
Combining Theorem Proving with Static Analysis for Data Structure Consistency
V Kuncak, P Lam, K Zee, M Rinard
Proceedings of SVV’04, 2004
22004
Verifying linked data structure implementations
K Zee, V Kuncak, M Rinard
2008 IEEE International Symposium on Parallel and Distributed Processing, 1-5, 2008
12008
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
The system can't perform the operation now. Try again later.
Articles 1–20