52 search results - page 9 / 11 » Generalizing the Paige-Tarjan algorithm by abstract interpre... |
INFOCOM
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— TCP/IP can be interpreted as a distributed primaldual algorithm to maximize aggregate utility over source rates. It has recently been shown that an equilibrium of TCP/I...
ISSTA
2012
ACM
11 years 11 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...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Regression testing, as it's commonly practiced, is unsound due to inconsistent test repair and test addition. This paper presents a new technique, differential testing, that ...
ICFP
2007
ACM
14 years 8 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
PEPM
2010
ACM
14 years 5 months ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...