|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 15 keywords
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
122 | Pin Zhou, Radu Teodorescu, Yuanyuan Zhou |
HARD: Hardware-Assisted Lockset-based Race Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: 13st International Conference on High-Performance Computer Architecture (HPCA-13 2007), 10-14 February 2007, Phoenix, Arizona, USA, pp. 121-132, 2007, IEEE Computer Society, 1-4244-0804-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
95 | Robert O'Callahan, Jong-Deok Choi |
Hybrid dynamic data race detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2003, June 11-13, 2003, San Diego, CA, USA, pp. 167-178, 2003, ACM, 1-58113-588-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
dynamic race detection, lockset hybrid, Java, happens-before |
86 | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES/RV ![In: Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers, pp. 193-208, 2006, Springer, 3-540-49699-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
52 | Ali Jannesari, Walter F. Tichy |
On-the-fly race detection in multi-threaded programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), PADTAD 2008, Seattle, Washington, USA, July 20-21, 2008, pp. 6, 2008, ACM, 978-1-60558-052-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
lockset, parallel programs, debugging, dynamic analysis, race conditions, race detection, multi-threaded programming, happens-before |
43 | Chao Wang 0001, Yu Yang 0013, Aarti Gupta, Ganesh Gopalakrishnan |
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings, pp. 126-140, 2008, Springer, 978-3-540-88386-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
43 | Christian Haack, Marieke Huisman, Clément Hurlin |
Reasoning about Java's Reentrant Locks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings, pp. 171-187, 2008, Springer, 978-3-540-89329-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Gabriel Ryan, Abhishek Shah, Dongdong She, Suman Jana |
Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023, pp. 2086-2103, 2023, IEEE, 978-1-6654-9336-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
36 | Yoshitaka Arahori |
RangeLocker: Adaptive Range-Sensitive Lockset Analysis for Precise Dynamic Race Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019, Hangzhou, China, January 3-5, 2019, pp. 184-191, 2019, IEEE, 978-1-5386-8540-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
36 | Jialin Yang, Bo Jiang 0001, W. K. Chan 0001 |
HistLock+: Precise Memory Access Maintenance Without Lockset Comparison for Complete Hybrid Data Race Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 67(3), pp. 786-801, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
36 | Huimin Hu, Yahui Bai, Yinxia Li, Haimei Wu, Ling Luo, Rui Wang, Pu Hong |
Research on Ergonomics Design of the Height and Operation Force for Furniture Lockset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (17) ![In: Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management - 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, pp. 64-74, 2018, Springer, 978-3-319-91396-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
36 | Lily Huang, Michael R. Smith 0001, Albert Tran, James Miller 0001 |
E-RACE, A Hardware-Assisted Approach to Lockset-Based Data Race Detection for Embedded Products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 11-14 November 2008, Seattle/Redmond, WA, USA, pp. 277-278, 2008, IEEE Computer Society, 978-0-7695-3405-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Ohad Shacham, Mooly Sagiv, Assaf Schuster |
Scaling model checking of dataraces using dynamic information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2005, June 15-17, 2005, Chicago, IL, USA, pp. 107-118, 2005, ACM, 1-59593-080-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
datarace, lockset, model checking, multithreading, data race detection |
21 | Ali Jannesari, Kaibin Bao, Victor Pankratius, Walter F. Tichy |
Helgrind+: An efficient dynamic race detector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-13, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Vineet Kahlon, Sriram Sankaranarayanan 0001, Aarti Gupta |
Semantic Reduction of Thread Interleavings in Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 124-138, 2009, Springer, 978-3-642-00767-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Vineet Kahlon, Yu Yang 0013, Sriram Sankaranarayanan 0001, Aarti Gupta |
Fast and Accurate Static Data-Race Detection for Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp. 226-239, 2007, Springer, 978-3-540-73367-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Vineet Kahlon, Aarti Gupta, Nishant Sinha 0001 |
Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 286-299, 2006, Springer, 3-540-37406-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Rahul Agarwal, Scott D. Stoller |
Type Inference for Parameterized Race-Free Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings, pp. 149-160, 2004, Springer, 3-540-20803-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Eli Poznianski, Assaf Schuster |
Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 287, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Eli Pozniansky, Assaf Schuster |
Efficient on-the-fly data race detection in multihreaded C++ programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2003, June 11-13, 2003, San Diego, CA, USA, pp. 179-190, 2003, ACM, 1-58113-588-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
concurrency, synchronization, multithreading, instrumentation, data race |
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|