31 search results - page 2 / 7 » Thread-Sensitive Points-to Analysis for Multithreaded Java P... |
105
Voted
APAQS
2001
IEEE
15 years 4 months ago
2001
IEEE
118
Voted
CAV
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
92
Voted
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
181
Voted
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
160
Voted
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...