|
|
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. |
PPoPP |
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. |
PADTAD |
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. |
SPLASH/OOPSLA Companion |
2010 |
DBLP DOI BibTeX RDF |
|
53 | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
|
52 | Bin Xin 0001, Patrick Th. Eugster, Xiangyu Zhang 0001, Jinlin Yang |
Lightweight Task Graph Inference for Distributed Applications. |
SRDS |
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. |
PADTAD |
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. |
Proc. ACM Program. Lang. |
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. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
42 | Pietro Ferrara 0001 |
Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model. |
TAP |
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. |
CoRR |
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. |
EACL |
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. |
CANDAR (Workshops) |
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. |
ICST |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Pallavi Maiya, Aditya Kanade |
Efficient computation of happens-before relation for event-driven programs. |
ISSTA |
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. |
J. Chem. Inf. Model. |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Yang Zhang, Xinyu Feng 0001 |
An operational happens-before memory model. |
Frontiers Comput. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Joseph Izraelevitz, Hammurabi Mendes, Michael L. Scott |
Brief Announcement: Preserving Happens-before in Persistent Memory. |
SPAA |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Paul Thomson, Alastair F. Donaldson |
The lazy happens-before relation: better partial-order reduction for systematic concurrency testing. |
PPoPP |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Pavel Parízek, Pavel Jancík |
Approximating happens-before order: interplay between static analysis and state space traversal. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Yang Zhang, Xinyu Feng 0001 |
An Operational Approach to Happens-Before Memory Model. |
TASE |
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. |
CAV |
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. |
ISD |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Nicholas D. Matsakis, Thomas R. Gross |
Handling errors in parallel programs based on happens before relations. |
IPDPS Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Bridgette Wessels, John E. Dobson |
What Happens before Requirements Engineering? |
RE |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Koushik Sen, Grigore Rosu, Gul Agha |
Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Pin Zhou, Radu Teodorescu, Yuanyuan Zhou |
HARD: Hardware-Assisted Lockset-based Race Detection. |
HPCA |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Pranav Gambhire, Ajay D. Kshemkalyani |
Reducing False Causality in Causal Message Ordering. |
HiPC |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Michael J. Butler, Mairead Meagher |
Performing Algorithmic Refinement before Data Refinement in B. |
ZB |
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. |
SOSP |
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. |
PLDI |
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. |
MICRO |
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. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Ali Jannesari, Kaibin Bao, Victor Pankratius, Walter F. Tichy |
Helgrind+: An efficient dynamic race detector. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Maofu Liu, Wenjie Li 0002, Xiaolong Zhang, Ji Zhang |
Event-Based Summarization Using Critical Temporal Event Term Chain. |
ICCPOL |
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. |
AIRS |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Bin Xin 0001, William N. Sumner, Xiangyu Zhang 0001 |
Efficient program execution indexing. |
PLDI |
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. |
HCI (9) |
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. |
PLDI |
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. |
CEEMAS |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Shiow-Yang Wu, Kuo-Chang Lin |
Cross Enterprise Business Modeling with AC Diagrams and Workflow Patterns. |
CEC |
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. |
PRIMA |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #41 of 41 (100 per page; Change: )
|
|