182 search results - page 2 / 37 » Automatic patch generation by learning correct code |
PLDI
2011
ACM
12 years 7 months ago
2011
ACM
Fixing software bugs has always been an important and timeconsuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era. H...
ICCL
1992
IEEE
13 years 8 months ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
PICS
2003
13 years 6 months ago
2003
Device characterization typically involves generating one or more targets each comprising a number of color patches and making colorimetric measu...
EUROSYS
2008
ACM
14 years 1 months ago
2008
ACM
The internal libraries of Linux are evolving rapidly, to address new requirements and improve performance. These evolutions, however, entail a massive problem of collateral evolut...
CVPR
2007
IEEE
14 years 6 months ago
2007
IEEE
We present a hierarchical generative model for object recognition that is constructed by weakly-supervised learning. A key component is a novel, adaptive patch feature whose width...