12272 search results - page 17 / 2455 » Experimental program analysis |
192
click to vote
PLDI
2004
ACM
15 years 10 months ago
2004
ACM
This paper presents the first scalable context-sensitive, inclusionbased pointer alias analysis for Java programs. Our approach to context sensitivity is to create a clone of a m...
112
click to vote
JSS
2007
15 years 4 months ago
2007
Objective: Comparison of program defects caused by programmer pairs and solo developers. Design: Analysis of programs developed during two counter balanced experiments. Setting: P...
159
click to vote
HIPC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Lock-free shared data structures in the setting of distributed computing have received a fair amount of attention. Major motivations of lock-free data structures include ...
161
Voted
CC
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
156
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...