2947 search results - page 268 / 590 » Analyzing Program Analyses |
196
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
215
click to vote
FPCA
1995
15 years 10 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
171
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
184
click to vote
SIAMJO
2010
15 years 5 months ago
2010
Identifying small groups of lines, whose removal would cause a severe blackout, is critical for the secure operation of the electric power grid. We show how power grid vulnerabilit...
212
click to vote
IEEEPACT
2005
IEEE
16 years 8 days ago
2005
IEEE
Feedback-directed Optimization has become an increasingly important tool in designing and building optimizing compilers as itprovides a means to analyze complexprogram behavior th...