 | 2012 |
|---|
| 24 |       | Yong Hun Eom,
Stephen Yang,
James Christopher Jenista,
Brian Demsky:
DOJ: dynamically parallelizing object-oriented programs.
PPOPP 2012: 85-96 |
| 2011 |
|---|
| 23 | | James Christopher Jenista,
Yong Hun Eom,
Brian Demsky:
Using Disjoint Reachability for Parallelization.
CC 2011: 198-224 |
| 22 | | James Christopher Jenista,
Yong Hun Eom,
Brian Demsky:
OoOJava: software out-of-order execution.
PPOPP 2011: 57-68 |
| 21 | | Brian Demsky:
Cross-application data provenance and policy enforcement.
ACM Trans. Inf. Syst. Secur. 14(1): 6 (2011) |
| 20 | | Alokika Dash,
Brian Demsky:
Integrating Caching and Prefetching Mechanisms in a Distributed Transactional Memory.
IEEE Trans. Parallel Distrib. Syst. 22(8): 1284-1298 (2011) |
| 19 | | Brian Demsky,
Sivaji Sundaramurthy:
Bristlecone: Language Support for Robust Software Applications.
IEEE Trans. Software Eng. 37(1): 4-23 (2011) |
| 18 | | Brian Demsky:
Using Discrete Event Simulation to Analyze Contention Managers.
International Journal of Parallel Programming 39(6): 783-808 (2011) |
| 17 | | Brian Demsky,
Navid Farri Tehrany:
Integrating file operations into transactional memory.
J. Parallel Distrib. Comput. 71(10): 1293-1304 (2011) |
| 2010 |
|---|
| 16 | | Brian Demsky,
Patrick Lam:
Views: object-inspired concurrency control.
ICSE (1) 2010: 395-404 |
| 15 | | Alokika Dash,
Brian Demsky:
Automatically Generating Symbolic Prefetches for Distributed Transactional Memories.
Middleware 2010: 355-375 |
| 14 | | Jin Zhou,
Brian Demsky:
Bamboo: a data-centric, object-oriented approach to many-core software.
PLDI 2010: 388-399 |
| 13 | | Alokika Dash,
Brian Demsky:
Symbolic prefetching in transactional distributed shared memory.
PPOPP 2010: 331-332 |
| 12 | | Brian Demsky,
Jin Zhou,
William Montaz:
Recovery Tasks: An Automated Approach to Failure Recovery.
RV 2010: 229-244 |
| 11 | | Alex Edwards,
Sean Tucker,
Brian Demsky:
AFID: an automated approach to collecting software faults.
Autom. Softw. Eng. 17(3): 347-372 (2010) |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page