2947 search results - page 129 / 590 » Analyzing Program Analyses |
122
click to vote
ENTCS
2007
15 years 4 months ago
2007
We give a uniform type-systematic account of a number of optimizations and the underlying analyses for a bytecode-like stack-based low-level language, including analysis soundness...
207
click to vote
CC
2012
Springer
14 years 11 days ago
2012
Springer
Pointer analysis is one of the most important static analyses during compilation. While several enhancements have been made to scale pointer analysis, the work on parallelizing the...
122
click to vote
ESORICS
2005
Springer
15 years 10 months ago
2005
Springer
We consider the enforcement powers of program monitors, which intercept security-sensitive actions of a target application at run time and take remedial steps whenever the target a...
140
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
A wide variety of stability and performance questions about linear dynamical systems can be reformulated as convex optimization problems involving linear matrix inequalities (LMIs...
130
click to vote
DISOPT
2008
15 years 4 months ago
2008
We introduce a general technique to create an extended formulation of a mixed-integer program. We classify the integer variables into blocks, each of which generates a finite set ...