|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16 occurrences of 11 keywords
|
|
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yong Hun Eom, Stephen Yang, James Christopher Jenista, Brian Demsky |
DOJ: dynamically parallelizing object-oriented programs.  |
PPOPP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Demsky, Sivaji Sundaramurthy |
Bristlecone: Language Support for Robust Software Applications. |
IEEE Trans. Software Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Demsky |
Using Discrete Event Simulation to Analyze Contention Managers. |
International Journal of Parallel Programming |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alokika Dash, Brian Demsky |
Integrating Caching and Prefetching Mechanisms in a Distributed Transactional Memory. |
IEEE Trans. Parallel Distrib. Syst. |
2011 |
DBLP DOI BibTeX RDF |
prefetching, Distributed shared memory, software transactional memory |
| 1 | Brian Demsky, Navid Farri Tehrany |
Integrating file operations into transactional memory. |
J. Parallel Distrib. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Demsky |
Cross-application data provenance and policy enforcement. |
ACM Trans. Inf. Syst. Secur. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | James Christopher Jenista, Yong Hun Eom, Brian Demsky |
Using Disjoint Reachability for Parallelization. |
CC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | James Christopher Jenista, Yong Hun Eom, Brian Demsky |
OoOJava: software out-of-order execution. |
PPOPP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Edwards, Sean Tucker, Brian Demsky |
AFID: an automated approach to collecting software faults. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Zhou, Brian Demsky |
Bamboo: a data-centric, object-oriented approach to many-core software. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
data-centric languages, many-core programming |
| 1 | Brian Demsky, Jin Zhou, William Montaz |
Recovery Tasks: An Automated Approach to Failure Recovery. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alokika Dash, Brian Demsky |
Automatically Generating Symbolic Prefetches for Distributed Transactional Memories. |
Middleware |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Demsky, Patrick Lam |
Views: object-inspired concurrency control. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
concurrency, language design, static verification |
| 1 | Alokika Dash, Brian Demsky |
Symbolic prefetching in transactional distributed shared memory. |
PPOPP |
2010 |
DBLP DOI BibTeX RDF |
symbolic prefetching, transactional memory, distributed shared memory |
| 1 | Brian Demsky, Martin C. Rinard |
Automatic Extraction of Heap Reference Properties in Object-Oriented Programs. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alokika Dash, Brian Demsky |
Software transactional distributed shared memory. |
PPOPP |
2009 |
DBLP DOI BibTeX RDF |
path-expression prefetch, prefetching objects, transactional memory, distributed shared memory |
| 1 | Alex Edwards, Sean Tucker, Sébastien Worms, Rahul Vaidya, Brian Demsky |
AFID: an automated fault identification tool. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
fault collection |
| 1 | Brian Demsky, Alokika Dash |
Bristlecone: A Language for Robust Software Systems. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Demsky, Martin C. Rinard |
Goal-Directed Reasoning for Specification-Based Data Structure Repair. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
Testing and debugging, language constructs and features |
| 1 | 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 |
DBLP DOI BibTeX RDF |
data structure repair, dynamic invariant detection |
| 1 | Brian Demsky, Martin C. Rinard |
Data structure repair using goal-directed reasoning. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
data structure invariants, data structure repair |
| 1 | Brian Demsky, Martin C. Rinard |
Automatic detection and repair of errors in data structures. |
OOPSLA |
2003 |
DBLP DOI BibTeX RDF |
data structure invariants, data structure repair |
| 1 | Brian Demsky, Martin C. Rinard |
Static Specification Analysis for Termination of Specification-Based Data Structure Repair. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Demsky, Martin C. Rinard |
Role-based exploration of object-oriented programs. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")