4 search results - page 1 / 1 » Static Backward Demand-Driven Slicing |
155
click to vote
CSMR
2007
IEEE
16 years 4 days ago
2007
IEEE
Static program slicing is often proposed for software maintenance-related tasks. Due to different causes static slices are in many cases overly conservative and hence too large to...
166
Voted
ISCA
2000
IEEE
15 years 10 months ago
2000
IEEE
For many applications, branch mispredictions and cache misses limit a processor’s performance to a level well below its peak instruction throughput. A small fraction of static i...
183
Voted
JSS
2006
15 years 5 months ago
2006
Whether context-sensitive program analysis is more effective than context-insensitive analysis is an ongoing discussion. There is evidence that context-sensitivity matters in comp...
205
Voted
ASPLOS
2011
ACM
14 years 9 months ago
2011
ACM
Concurrency bugs are caused by non-deterministic interleavings between shared memory accesses. Their effects propagate through data and control dependences until they cause softwa...