ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
We present a novel approach to automatic synthesis of loopfree programs. The approach is based on a combination of oracle-guided learning from examples, and constraint-based synth...
FORMATS
2007
Springer
15 years 6 months ago
2007
Springer
101
Voted
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...
101
Voted
CAV
2009
Springer
16 years 29 days ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...