12272 search results - page 14 / 2455 » Experimental program analysis |
PACT
2001
Springer
15 years 4 months ago
2001
Springer
POPL
1998
ACM
15 years 4 months ago
1998
ACM
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfort...
152
click to vote
DAC
2005
ACM
16 years 21 days ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
143
click to vote
DLS
2010
14 years 9 months ago
2010
Dynamic languages such as Python allow programs to be written more easily using high-level constructs such as comprehensions for queries and using generic code. Efficient executio...