 | 2009 |
|---|
| 10 |       | Alokika Dash,
Brian Demsky:
Software transactional distributed shared memory.
PPOPP 2009: 297-298 |
| 9 | | Brian Demsky,
Martin C. Rinard:
Automatic Extraction of Heap Reference Properties in Object-Oriented Programs.
IEEE Trans. Software Eng. 35(3): 305-324 (2009) |
| 2008 |
|---|
| 8 | | Brian Demsky,
Alokika Dash:
Bristlecone: A Language for Robust Software Systems.
ECOOP 2008: 490-515 |
| 7 | | Alex Edwards,
Sean Tucker,
Sébastien Worms,
Rahul Vaidya,
Brian Demsky:
AFID: an automated fault identification tool.
ISSTA 2008: 179-188 |
| 2006 |
|---|
| 6 | | Brian Demsky,
Michael D. Ernst,
Philip J. Guo,
Stephen McCamant,
Jeff H. Perkins,
Martin C. Rinard:
Inference and enforcement of data structure consistency specifications.
ISSTA 2006: 233-244 |
| 5 | | Brian Demsky,
Martin C. Rinard:
Goal-Directed Reasoning for Specification-Based Data Structure Repair.
IEEE Trans. Software Eng. 32(12): 931-951 (2006) |
| 2005 |
|---|
| 4 | | Brian Demsky,
Martin C. Rinard:
Data structure repair using goal-directed reasoning.
ICSE 2005: 176-185 |
| 2003 |
|---|
| 3 | | Brian Demsky,
Martin C. Rinard:
Static Specification Analysis for Termination of Specification-Based Data Structure Repair.
ISSRE 2003: 71-84 |
| 2 | | Brian Demsky,
Martin C. Rinard:
Automatic detection and repair of errors in data structures.
OOPSLA 2003: 78-95 |
| 2002 |
|---|
| 1 | | Brian Demsky,
Martin C. Rinard:
Role-based exploration of object-oriented programs.
ICSE 2002: 313-334 |
