Search results for "happens-before"

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