238 search results - page 12 / 48 » The RoadRunner dynamic analysis framework for concurrent pro... |
192
Voted
POPL
2005
ACM
16 years 25 days ago
2005
ACM
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...
146
click to vote
ISSTA
2012
ACM
13 years 3 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
77
Voted
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
93
Voted
PLDI
1996
ACM
15 years 4 months ago
1996
ACM
This paper presents a new analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutat...
127
Voted
SCAM
2008
IEEE
15 years 7 months ago
2008
IEEE
The JOANA project (Java Object-sensitive ANAlysis) is a program analysis infrastructure for the Java language. It contains a wide range of analysis techniques such as dependence g...