570 search results - page 57 / 114 » From Program Verification to Program Synthesis |
259
Voted
POPL
2003
ACM
16 years 4 months ago
2003
ACM
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...
127
Voted
COLT
2001
Springer
15 years 8 months ago
2001
Springer
A classical learning problem in Inductive Inference consists of identifying each function of a given class of recursive functions from a finite number of its output values. Unifor...
129
click to vote
ISCA
1997
IEEE
15 years 8 months ago
1997
IEEE
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
163
click to vote
CSREAESA
2004
15 years 5 months ago
2004
The growing software content in various battery-driven embedded systems has led to significant interest in technologies for energy-efficient embedded software. While lowenergy sof...
140
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...