4725 search results - page 405 / 945 » Dependence-Based Program Analysis |
207
Voted
PLDI
2005
ACM
16 years 1 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
188
Voted
DAC
2003
ACM
16 years 8 months ago
2003
ACM
In this paper, we describe a set of compiler analyses and an implementation that automatically map a sequential and un-annotated C program into a pipelined implementation, targete...
176
Voted
ACG
2009
Springer
16 years 2 months ago
2009
Springer
Retrograde analysis is a tool for reconstructing a game tree starting from its leaves; with these techniques one can solve specific subsets of a complex game, achieving optimal pl...
195
click to vote
COMPSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
212
click to vote
CSMR
2005
IEEE
16 years 1 months ago
2005
IEEE
Data mining is a technology recently used in support of software maintenance in various contexts. Our works focuses on achieving a high level understanding of Java systems without...