Year |
Citation |
Score |
2016 |
Hawkins B, Demsky B, Taylor MB. BlackBox: Lightweight security monitoring for COTS binaries Proceedings of the 14th International Symposium On Code Generation and Optimization, Cgo 2016. 261-272. DOI: 10.1145/2854038.2854062 |
0.326 |
|
2016 |
Norris B, Demsky B. A practical approach for model checking C/C++11 code Acm Transactions On Programming Languages and Systems. 38. DOI: 10.1145/2806886 |
0.492 |
|
2015 |
Fang L, Nguyen K, Xu G, Demsky B, Lu S. Interruptible tasks: Treating memory pressure as interrupts for highly scalable data-parallel programs Sosp 2015 - Proceedings of the 25th Acm Symposium On Operating Systems Principles. 394-409. DOI: 10.1145/2815400.2815407 |
0.404 |
|
2014 |
Luu L, Shinde S, Saxena P, Demsky B. A model counter for constraints over unbounded strings Acm Sigplan Notices. 49: 565-576. DOI: 10.1145/2594291.2594331 |
0.309 |
|
2013 |
Norris B, Demsky B. CDSCHECKER: Checking concurrent data structures written with C/C++ atomics Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 131-149. DOI: 10.1145/2509136.2509514 |
0.408 |
|
2013 |
Demsky B, Lam P. Views: Synthesizing fine-grained concurrency control Acm Transactions On Software Engineering and Methodology. 22. DOI: 10.1145/2430536.2430538 |
0.509 |
|
2012 |
Zhou J, Demsky B. Memory management for many-core processors with software configurable locality policies Acm Sigplan Notices. 47: 3-14. DOI: 10.1145/2426642.2259000 |
0.301 |
|
2012 |
Eom YH, Demsky B. Self-stabilizing java Acm Sigplan Notices. 47: 287-298. DOI: 10.1145/2345156.2254099 |
0.329 |
|
2012 |
Eom YH, Yang S, Jenista JC, Demsky B. DOJ: Dynamically parallelizing object-oriented programs Proceedings of the Acm Sigplan Symposium On Principles and Practice of Parallel Programming, Ppopp. 85-96. DOI: 10.1145/2145816.2145828 |
0.554 |
|
2011 |
Demsky B. Cross-application data provenance and policy enforcement Acm Transactions On Information and System Security. 14. DOI: 10.1145/1952982.1952988 |
0.322 |
|
2011 |
Jenista JC, Eom YH, Demsky B. OoOJava: Software out-of-order execution Proceedings of the Acm Sigplan Symposium On Principles and Practice of Parallel Programming, Ppopp. 57-67. DOI: 10.1145/1941553.1941563 |
0.557 |
|
2011 |
Demsky B, Sundaramurthy S. Bristlecone: Language support for robust software applications Ieee Transactions On Software Engineering. 37: 4-23. DOI: 10.1109/Tse.2010.27 |
0.484 |
|
2011 |
Dash A, Demsky B. Integrating caching and prefetching mechanisms in a distributed transactional memory Ieee Transactions On Parallel and Distributed Systems. 22: 1284-1298. DOI: 10.1109/Tpds.2011.23 |
0.606 |
|
2011 |
Demsky B, Tehrany NF. Integrating file operations into transactional memory Journal of Parallel and Distributed Computing. 71: 1293-1304. DOI: 10.1016/J.Jpdc.2011.04.005 |
0.449 |
|
2010 |
Dash A, Demsky B. Symbolic prefetching in transactional distributed shared memory Acm Sigplan Notices. 45: 331-332. DOI: 10.1145/1837853.1693499 |
0.567 |
|
2010 |
Demsky B, Lam P. Views: Object-inspired concurrency control Proceedings - International Conference On Software Engineering. 1: 395-404. DOI: 10.1145/1806799.1806858 |
0.387 |
|
2010 |
Zhou J, Demsky B. Bamboo: A data-centric, object-oriented approach to many-core software Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 388-399. DOI: 10.1145/1806596.1806640 |
0.497 |
|
2010 |
Dash A, Demsky B. Automatically generating symbolic prefetches for distributed transactional memories Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6452: 355-375. DOI: 10.1007/978-3-642-16955-7_18 |
0.533 |
|
2010 |
Demsky B, Zhou J, Montaz W. Recovery tasks: An automated approach to failure recovery Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6418: 229-244. DOI: 10.1007/978-3-642-16612-9_18 |
0.386 |
|
2010 |
Zhou J, Demsky B. Automatically tuning task-based programs for multicore processors Software Automatic Tuning: From Concepts to State-of-the-Art Results. 315-334. DOI: 10.1007/978-1-4419-6935-4_18 |
0.455 |
|
2009 |
Dash A, Demsky B. Software transactional distributed shared memory Acm Sigplan Notices. 44: 297-298. DOI: 10.1145/1504176.1504223 |
0.549 |
|
2009 |
Demsky B, Rinard M. Automatic extraction of heap reference properties in object-oriented programs Ieee Transactions On Software Engineering. 35: 305-324. DOI: 10.1109/Tse.2008.91 |
0.476 |
|
2008 |
Demsky B, Dash A. Bristlecone: A language for robust software systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5142: 490-515. DOI: 10.1007/978-3-540-70592-5_21 |
0.579 |
|
2006 |
Demsky B, Rinard MC. Goal-directed reasoning for specification-based data structure repair Ieee Transactions On Software Engineering. 32: 931-951. DOI: 10.1109/Tse.2006.122 |
0.462 |
|
2002 |
Demsky B, Rinard M. Role-based exploration of object-oriented programs Proceedings - International Conference On Software Engineering. 313-324. |
0.373 |
|
Show low-probability matches. |