416 search results - page 55 / 84 » Software Code Generation for the RVC-CAL Language |
132
click to vote
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
131
click to vote
OSDI
1996
ACM
15 years 3 months ago
1996
ACM
This paper describes a mechanism by which an operating system kernel can determine with certainty that it is safe to execute a binary supplied by an untrusted source. The kernel r...
167
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
223
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
118
click to vote
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
The number and the importance of web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...