Search the dblp DataBase

Publications of Author

1. Brian Demsky, Martin C. Rinard
   Role-based exploration of object-oriented programs. [Citation Graph (0, 0)][DBLP]
   ICSE, 2002, pp:313-334 [Conf]
   
2. Brian Demsky, Martin C. Rinard
   Data structure repair using goal-directed reasoning. [Citation Graph (0, 0)][DBLP]
   ICSE, 2005, pp:176-185 [Conf]
   
3. Brian Demsky, Martin C. Rinard
   Static Specification Analysis for Termination of Specification-Based Data Structure Repair. [Citation Graph (0, 0)][DBLP]
   ISSRE, 2003, pp:71-84 [Conf]
   
4. Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard
   Inference and enforcement of data structure consistency specifications. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2006, pp:233-244 [Conf]
   
5. Brian Demsky, Martin C. Rinard
   Automatic detection and repair of errors in data structures. [Citation Graph (0, 0)][DBLP]
   OOPSLA, 2003, pp:78-95 [Conf]
   
6. Brian Demsky, Martin C. Rinard
   Goal-Directed Reasoning for Specification-Based Data Structure Repair. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2006, v:32, n:12, pp:931-951 [Journal]
   
7. 
   Bristlecone: A Language for Robust Software Systems. [Citation Graph (, )][DBLP]
   
   
8. 
   Views: object-inspired concurrency control. [Citation Graph (, )][DBLP]
   
   
9. 
   AFID: an automated fault identification tool. [Citation Graph (, )][DBLP]
   
   
10. 
    Bamboo: a data-centric, object-oriented approach to many-core software. [Citation Graph (, )][DBLP]
    
    
11. 
    Symbolic prefetching in transactional distributed shared memory. [Citation Graph (, )][DBLP]
    
    
12. 
    Software transactional distributed shared memory. [Citation Graph (, )][DBLP]
    
    
13. 
    AFID: an automated approach to collecting software faults. [Citation Graph (, )][DBLP]