- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j9 |      | Brian Demsky, Patrick Lam: Views: Synthesizing fine-grained concurrency control. ACM Trans. Softw. Eng. Methodol. 22(1): 4 (2013) |
| 2012 | ||
| c18 | | |
| c17 | | |
| c16 | | Yong Hun Eom, Stephen Yang, James Christopher Jenista, Brian Demsky: DOJ: dynamically parallelizing object-oriented programs. PPOPP 2012: 85-96 |
| 2011 | ||
| j8 | | Brian Demsky: Using Discrete Event Simulation to Analyze Contention Managers. International Journal of Parallel Programming 39(6): 783-808 (2011) |
| j7 | | Brian Demsky, Navid Farri Tehrany: Integrating file operations into transactional memory. J. Parallel Distrib. Comput. 71(10): 1293-1304 (2011) |
| j6 | | Brian Demsky: Cross-application data provenance and policy enforcement. ACM Trans. Inf. Syst. Secur. 14(1): 6 (2011) |
| j5 | | Alokika Dash, Brian Demsky: Integrating Caching and Prefetching Mechanisms in a Distributed Transactional Memory. IEEE Trans. Parallel Distrib. Syst. 22(8): 1284-1298 (2011) |
| j4 | | Brian Demsky, Sivaji Sundaramurthy: Bristlecone: Language Support for Robust Software Applications. IEEE Trans. Software Eng. 37(1): 4-23 (2011) |
| c15 | | James Christopher Jenista, Yong Hun Eom, Brian Demsky: Using Disjoint Reachability for Parallelization. CC 2011: 198-224 |
| c14 | | James Christopher Jenista, Yong Hun Eom, Brian Demsky: OoOJava: software out-of-order execution. PPOPP 2011: 57-68 |
| 2010 | ||
| j3 | | Alex Edwards, Sean Tucker, Brian Demsky: AFID: an automated approach to collecting software faults. Autom. Softw. Eng. 17(3): 347-372 (2010) |
| c13 | | |
| c12 | | Alokika Dash, Brian Demsky: Automatically Generating Symbolic Prefetches for Distributed Transactional Memories. Middleware 2010: 355-375 |
| c11 | | |
| c10 | | Alokika Dash, Brian Demsky: Symbolic prefetching in transactional distributed shared memory. PPOPP 2010: 331-332 |
| c9 | | Brian Demsky, Jin Zhou, William Montaz: Recovery Tasks: An Automated Approach to Failure Recovery. RV 2010: 229-244 |
| 2009 | ||
| j2 | | Brian Demsky, Martin C. Rinard: Automatic Extraction of Heap Reference Properties in Object-Oriented Programs. IEEE Trans. Software Eng. 35(3): 305-324 (2009) |
| c8 | | |
| 2008 | ||
| c7 | | Brian Demsky, Alokika Dash: Bristlecone: A Language for Robust Software Systems. ECOOP 2008: 490-515 |
| c6 | | Alex Edwards, Sean Tucker, Sébastien Worms, Rahul Vaidya, Brian Demsky: AFID: an automated fault identification tool. ISSTA 2008: 179-188 |
| 2006 | ||
| j1 | | Brian Demsky, Martin C. Rinard: Goal-Directed Reasoning for Specification-Based Data Structure Repair. IEEE Trans. Software Eng. 32(12): 931-951 (2006) |
| c5 | | 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 |
| 2005 | ||
| c4 | | Brian Demsky, Martin C. Rinard: Data structure repair using goal-directed reasoning. ICSE 2005: 176-185 |
| 2003 | ||
| c3 | | Brian Demsky, Martin C. Rinard: Static Specification Analysis for Termination of Specification-Based Data Structure Repair. ISSRE 2003: 71-84 |
| c2 | | Brian Demsky, Martin C. Rinard: Automatic detection and repair of errors in data structures. OOPSLA 2003: 78-95 |
| 2002 | ||
| c1 | | Brian Demsky, Martin C. Rinard: Role-based exploration of object-oriented programs. ICSE 2002: 313-334 |
Colors in the list of coauthors
Last update Fri May 24 22:05:32 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page