861 search results - page 93 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
130
click to vote
ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
137
click to vote
EUROSYS
2006
ACM
16 years 6 days ago
2006
ACM
Nearly ten years after its first presentation and five years after its first application to operating systems, the suitability of AspectOriented Programming (AOP) for the devel...
123
click to vote
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
OSprof is a versatile, portable, and efficient profiling methodology based on the analysis of latency distributions. Although OSprof has offers several unique benefits and has bee...
123
click to vote
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
Static analysis tools report software defects that may or may not be detected by other verification methods. Two challenges complicating the adoption of these tools are spurious f...
109
click to vote
ASPLOS
2012
ACM
13 years 11 months ago
2012
ACM
Even though most data races are harmless, the harmful ones are at the heart of some of the worst concurrency bugs. Alas, spotting just the harmful data races in programs is like ...