2673 search results - page 42 / 535 » Guided Static Analysis |
109
click to vote
SIGPLAN
2002
14 years 10 months ago
2002
We present a new analysis for removing unnecessary write barriers in programs that use generational garbage collection. To our knowledge, this is the first static program analysis...
EUROSYS
2006
ACM
15 years 8 months ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
SP
2008
IEEE
15 years 5 months ago
2008
IEEE
Web applications are ubiquitous, perform missioncritical tasks, and handle sensitive user data. Unfortunately, web applications are often implemented by developers with limited se...
OOPSLA
2004
Springer
15 years 4 months ago
2004
Springer
This paper introduces dynamic object colocation, an optimization to reduce copying costs in generational and other incremental garbage collectors by allocating connected objects t...
158
Voted
POPL
2003
ACM
15 years 11 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...