8 search results - page 2 / 2 » Interprocedural Symbolic Evaluation of Ada Programs with Ali... |
98
Voted
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
ICS
2005
Tsinghua U.
15 years 3 months ago
2005
Tsinghua U.
Previous studies have shown that array regrouping and structure splitting significantly improve data locality. The most effective technique relies on profiling every access to eve...
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...