182 search results - page 33 / 37 » Automatic patch generation by learning correct code |
PERCOM
2009
ACM
15 years 4 months ago
2009
ACM
—We present a middleware platform for assembling pervasive applications that demand fault-tolerance and adaptivity in distributed, dynamic environments. Unlike typical adaptive m...
ICNP
2006
IEEE
15 years 4 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
LCPC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The increased popularity of grid systems and cycle sharing across organizations requires scalable systems that provide facilities to locate resources, to be fair in the u...
ECBS
2006
IEEE
15 years 4 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
128
click to vote
PLDI
2011
ACM
14 years 28 days ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...