421 search results - page 1 / 85 » Staged concurrent program analysis |
100
click to vote
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
151
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dyn...
POPL
1996
ACM
15 years 4 months ago
1996
ACM
106
click to vote
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Our work is based on tracematches, an extension to...
165
click to vote
SIGSOFT
2010
ACM
14 years 10 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...