Search the dblp DataBase

Publications of Author

1. Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard
   Verifying a File System Implementation. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2004, pp:373-390 [Conf]
   
2. Karen Zee, Martin C. Rinard
   Write barrier removal by static analysis. [Citation Graph (0, 0)][DBLP]
   OOPSLA, 2002, pp:191-210 [Conf]
   
3. Karen Zee, Martin C. Rinard
   Write barrier removal by static analysis. [Citation Graph (0, 0)][DBLP]
   SIGPLAN Notices, 2002, v:37, n:4, pp:32-41 [Journal]
   
4. Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard
   Modular Pluggable Analyses for Data Structure Consistency. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2006, v:32, n:12, pp:988-1005 [Journal]
   
5. Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin C. Rinard
   On Verifying Complex Properties using Symbolic Shape Analysis [Citation Graph (0, 0)][DBLP]
   CoRR, 2006, v:0, n:, pp:- [Journal]
   
6. 
   Verifying linked data structure implementations. [Citation Graph (, )][DBLP]
   
   
7. 
   An integrated proof language for imperative programs. [Citation Graph (, )][DBLP]
   
   
8. 
   Full functional verification of linked data structures. [Citation Graph (, )][DBLP]
   
   
9. 
   Using First-Order Theorem Provers in the Jahob Data Structure Verification System. [Citation Graph (, )][DBLP]
   
   
10. 
    Runtime Checking for Program Verification. [Citation Graph (, )][DBLP]
    
    
11. 
    Implications of a Data Structure Consistency Checking System. [Citation Graph (, )][DBLP]