526 search results - page 93 / 106 » Towards the Verifying Compiler |
143
Voted
PEPM
2009
ACM
16 years 8 days ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
127
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Multiprocessor System on Chip (MPSoC) architecture is rapidly gaining momentum for modern embedded devices. The vulnerabilities in software on MPSoCs are often exploited to caus...
169
Voted
SIGSOFT
2006
ACM
15 years 9 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
118
click to vote
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
123
Voted
STORAGESS
2005
ACM
15 years 9 months ago
2005
ACM
Improper access of data buffers is one of the most common errors in programs written in assembler, C, C++, and several other languages. Existing programs and OSs frequently acces...