|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 42 occurrences of 36 keywords
|
|
|
Results
Found 41 publication records. Showing 41 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
62 | 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 |
62 | Christoph Angerer, Thomas R. Gross |
now happens-before later: static schedule analysis of fine-grained parallelism with explicit happens-before relationships. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLASH/OOPSLA Companion ![In: Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, part of SPLASH 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA, pp. 3-10, 2010, ACM, 978-1-4503-0240-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
53 | 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 | Bin Xin 0001, Patrick Th. Eugster, Xiangyu Zhang 0001, Jinlin Yang |
Lightweight Task Graph Inference for Distributed Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31 - November 3, 2010, pp. 100-110, 2010, IEEE Computer Society, 978-0-7695-4250-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
distributed computing, anomaly detection, task graphs, log analysis, happens-before |
52 | Utpal Banerjee, Brian Bliss, Zhiqiang Ma, Paul Petersen |
A theory of data race detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 4th 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 2006), PADTAD 2006, Portland, Maine, USA, July 17, 2006, pp. 69-78, 2006, ACM, 1-59593-414-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
access conflict, synchronization, dependence, thread, data race, vector clock, happens-before |
50 | Umang Mathur 0001, Dileep Kini, Mahesh Viswanathan 0001 |
What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 2(OOPSLA), pp. 145:1-145:29, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
50 | Umang Mathur 0001, Dileep Kini, Mahesh Viswanathan 0001 |
What Happens - After the First Race? Enhancing the Predictive Power of Happens - Before Based Dynamic Race Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.00185, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
42 | Pietro Ferrara 0001 |
Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings, pp. 116-133, 2008, Springer, 978-3-540-79123-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Static Analysis, Abstract Interpretation, Memory Model, Multithreaded Programs |
31 | Sahithya Ravi, Chris Tanner, Raymond Ng, Vered Shwartz |
What happens before and after: Multi-Event Commonsense in Event Coreference Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.09715, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Sahithya Ravi, Chris Tanner, Raymond Ng, Vered Shwartz |
What happens before and after: Multi-Event Commonsense in Event Coreference Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EACL ![In: Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics, EACL 2023, Dubrovnik, Croatia, May 2-6, 2023, pp. 1700-1716, 2023, Association for Computational Linguistics, 978-1-959429-44-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Jixin Han, Tomofumi Yuki, Michelle Mills Strout, Dan Umeda, Hironori Kasahara, Keiji Kimura |
Parallelizing Compiler Translation Validation Using Happens-Before and Task-Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANDAR (Workshops) ![In: Ninth International Symposium on Computing and Networking, CANDAR 2021 - Workshops, Matsue, Japan, 23-26 November 2021, pp. 87-93, 2021, IEEE, 978-1-6654-1218-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Diyu Wu, Jie Liu 0020, Yulei Sui, Shiping Chen 0001, Jingling Xue |
Precise Static Happens-Before Analysis for Detecting UAF Order Violations in Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019, pp. 276-287, 2019, IEEE, 978-1-7281-1736-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Pallavi Maiya, Aditya Kanade |
Efficient computation of happens-before relation for event-driven programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017, pp. 102-112, 2017, ACM, 978-1-4503-5076-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Muhammad Yusuf, Nornisah Mohamed, Suriyati Mohamad, Dusanka Janezic, K. V. Damodaran, Habibah A. Wahab |
H274Y's Effect on Oseltamivir Resistance: What Happens Before the Drug Enters the Binding Site. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 56(1), pp. 82-100, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Yang Zhang, Xinyu Feng 0001 |
An operational happens-before memory model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. ![In: Frontiers Comput. Sci. 10(1), pp. 54-81, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Joseph Izraelevitz, Hammurabi Mendes, Michael L. Scott |
Brief Announcement: Preserving Happens-before in Persistent Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016, pp. 157-159, 2016, ACM, 978-1-4503-4210-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Paul Thomson, Alastair F. Donaldson |
The lazy happens-before relation: better partial-order reduction for systematic concurrency testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015, San Francisco, CA, USA, February 7-11, 2015, pp. 259-260, 2015, ACM, 978-1-4503-3205-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Pavel Parízek, Pavel Jancík |
Approximating happens-before order: interplay between static analysis and state space traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: 2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014, pp. 1-10, 2014, ACM, 978-1-4503-2452-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Yang Zhang, Xinyu Feng 0001 |
An Operational Approach to Happens-Before Memory Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 121-128, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Vineet Kahlon, Chao Wang 0001 |
Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings, pp. 434-449, 2010, Springer, 978-3-642-14294-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Paula Savolainen, June M. Verner, Lesley Pek Wee Land, Graham C. Low |
What Happens Before a Project Starts? - Project Start-up from the Supplier Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISD ![In: Information Systems Development, Business Systems and Services: Modeling and Development [Proceedings of ISD 2010, Charles University in Prague, Czech Republic, August 25-27, 2010], pp. 647-657, 2010, Springer, 978-1-4419-9645-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Nicholas D. Matsakis, Thomas R. Gross |
Handling errors in parallel programs based on happens before relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: 24th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2010, Atlanta, Georgia, USA, 19-23 April 2010 - Workshop Proceedings, pp. 1-8, 2010, IEEE. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Bridgette Wessels, John E. Dobson |
What Happens before Requirements Engineering? ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 5th IEEE International Symposium on Requirements Engineering (RE 2001), 27-31 August 2001, Toronto, Canada, pp. 298-299, 2001, IEEE Computer Society, 0-7695-1125-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Koushik Sen, Grigore Rosu, Gul Agha |
Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings, pp. 211-226, 2005, Springer, 3-540-26181-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | 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 |
|
22 | Pranav Gambhire, Ajay D. Kshemkalyani |
Reducing False Causality in Causal Message Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2000, 7th International Conference, Bangalore, India, December 17-20, 2000, Proceedings, pp. 61-72, 2000, Springer, 3-540-41429-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Michael J. Butler, Mairead Meagher |
Performing Algorithmic Refinement before Data Refinement in B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings, pp. 324-343, 2000, Springer, 3-540-67944-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Shan Lu 0001, Soyeon Park, Chongfeng Hu, Xiao Ma 0014, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou 0001 |
MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, SOSP 2007, Stevenson, Washington, USA, October 14-17, 2007, pp. 103-116, 2007, ACM, 978-1-59593-591-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
variable correlation, concurrency bug, bug detection |
11 | Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley |
PACER: proportional detection of data races. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 255-268, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
concurrency, sampling, data races, bugs |
11 | Adrian Nistor, Darko Marinov, Josep Torrellas |
Light64: lightweight hardware support for data race detection during systematic testing of parallel programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 42st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-42 2009), December 12-16, 2009, New York, New York, USA, pp. 541-552, 2009, ACM, 978-1-60558-798-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
execution history hash, data race, systematic testing |
11 | Chao Wang 0001, Sudipta Kundu, Malay K. Ganai, Aarti Gupta |
Symbolic Predictive Analysis for Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 256-272, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | 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 |
|
11 | Maofu Liu, Wenjie Li 0002, Xiaolong Zhang, Ji Zhang |
Event-Based Summarization Using Critical Temporal Event Term Chain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCPOL ![In: Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy, 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings, pp. 378-385, 2009, Springer, 978-3-642-00830-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Event-Based Summarization, Event Term Graph, Temporal Event Term Chain, Depth-First Search Algorithm |
11 | Maofu Liu, Wenjie Li 0002, Huijun Hu |
Extractive Summarization Based on Event Term Temporal Relation Graph and Critical Chain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIRS ![In: Information Retrieval Technology, 5th Asia Information Retrieval Symposium, AIRS 2009, Sapporo, Japan, October 21-23, 2009. Proceedings, pp. 87-99, 2009, Springer, 978-3-642-04768-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Bin Xin 0001, William N. Sumner, Xiangyu Zhang 0001 |
Efficient program execution indexing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 238-248, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
execution alignment, semantic augmentation, structural indexing, data race, control dependence, execution indexing |
11 | Seiko Myojin, Mie Nakatani, Hirokazu Kato 0001, Shogo Nishida |
Friendly Process of Human-Computer Interaction - A Prototype System in Nostalgic World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (9) ![In: Human Interface and the Management of Information. Interacting in Information Environments, Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II, pp. 102-109, 2007, Springer, 978-3-540-73353-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
emergent relationships, nostalgia, image recognition, entertainment |
11 | Satish Narayanasamy, Zhenghao Wang, Jordan Tigani, Andrew Edwards, Brad Calder |
Automatically classifying benign and harmful data racesallusing replay analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 22-31, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
benign data races, concurrency Bbugs, replay |
11 | Costin Badica, Maria Ganzha, Marcin Paprzycki, Amalia Pirvanescu |
Combining Rule-Based and Plug-in Components in Agents for Flexible Dynamic Negotiations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEEMAS ![In: Multi-Agent Systems and Applications IV, 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings, pp. 555-558, 2005, Springer, 3-540-29046-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Shiow-Yang Wu, Kuo-Chang Lin |
Cross Enterprise Business Modeling with AC Diagrams and Workflow Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC ![In: 7th IEEE International Conference on E-Commerce Technology (CEC 2005), 19-22 July 2005, München, Germany, pp. 110-117, 2005, IEEE Computer Society, 0-7695-2277-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
activity control diagram, XML, E-Commerce, business modeling, workflow patterns |
11 | Wei Chen 0008, Keith S. Decker |
Developing Alternative Mechanisms for Multiagent Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Intelligent Agents and Multi-Agent Systems, 5th Pacific Rim International Workshop on Multi Agents, Tokyo, Japan, August 19-20, 2002, Proceedings, pp. 63-76, 2002, Springer, 3-540-44026-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #41 of 41 (100 per page; Change: )
|
|