12519 search results - page 2497 / 2504 » Approximation Problems Categories |
121
Voted
ISSTA
2012
ACM
13 years 2 months ago
2012
ACM
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...
122
Voted
ISSTA
2012
ACM
13 years 2 months ago
2012
ACM
To keep a Graphical User Interface (GUI) responsive and active, a GUI application often has a main UI thread (or event dispatching thread) and spawns separate threads to handle le...
119
click to vote
ISSTA
2012
ACM
13 years 2 months ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
114
Voted
ISSTA
2012
ACM
13 years 2 months ago
2012
ACM
Over the last decade, there has been a significant increase in the number and sophistication of malware-related attacks and infections. Many detection techniques have been propos...
185
click to vote
ISSTA
2012
ACM
13 years 2 months ago
2012
ACM
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...