V Kahlon, N Sinha, E Kruus, Y Zhang - … of the 7th joint meeting of the …, 2009 - dl.acm.org
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of …
C Flanagan, SN Freund - … Conference, Montpellier, France, July 1-5, 2013 …, 2013 - Springer
Precise dynamic race detectors report an error if and only if an observed program trace exhibits a data race. They must typically check for races on all memory accesses to ensure …
We argue in this paper that concurrency errors should be treated as exceptions, ie, have fail- stop behavior and precise semantics. We propose an exception model based on conflict of …
K Genç, J Roemer, Y Xu, MD Bond - Proceedings of the ACM on …, 2019 - dl.acm.org
Data races are a real problem for parallel software, yet hard to detect. Sound predictive analysis observes a program execution and detects data races that exist in some other …
Data race detectors are commonly viewed as debugging tools. We argue that if we knew how to make them both fully accurate and sufficiently fast for “always on” use, they could …
A Farzan, P Madhusudan - … Conference on Tools and Algorithms for the …, 2009 - Springer
We study the prediction of runs that violate atomicity from a single run, or from a regular or pushdown model of a concurrent program. When prediction ignores all synchronization, we …
Debugging multithreaded programs, which involves detection and identification of the cause of data races, has proved to be a hard problem. Although there has been significant amount …
Dataflow analyses for concurrent programs differ from their single-threaded counterparts in that they must account for shared memory locations being overwritten by concurrent threads …
C Soueidi, Y Falcone - International Symposium on Model Checking …, 2023 - Springer
Monitoring concurrent programs typically rely on collecting traces to abstract program executions. However, existing approaches targeting general behavioral properties are either …