421 search results - page 1 / 85 » Staged concurrent program analysis |
117
Voted
SIGSOFT
2010
ACM
15 years 18 days 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...
170
Voted
PLDI
2009
ACM
15 years 9 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...
88
Voted
POPL
1996
ACM
15 years 6 months ago
1996
ACM
125
Voted
ECOOP
2007
Springer
15 years 9 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...
198
Voted
SIGSOFT
2010
ACM
15 years 18 days 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...