We analyze reported patches for three existing generate-and-validate patch generation
systems (GenProg, RSRepair, and AE). The basic principle behind generate-and-validate …

SQL is the de facto language for manipulating relational data. Though powerful, many users
find it difficult to write SQL queries due to highly expressive constructs. While using the …

Automated program repair can potentially reduce debugging costs and improve software
quality but recent studies have drawn attention to shortcomings in the quality of …

Modern program synthesizers are increasingly delivering on their promise of lightening the
burden of programming by automatically generating code, but little research has addressed …

Code search is an essential task in software development. Developers often search the
internet and other code databases for necessary source code snippets to ease the …

Modern programming frameworks come with large libraries, with diverse applications such
as for matching regular expressions, parsing XML files and sending email. Programmers …

Technical question and answer Q&A platforms, such as Stack Overflow, provide a platform
for users to ask and answer questions about a wide variety of programming topics. These …

Effective program repair techniques, which modify faulty programs to fix them with respect to
given test suites, can substantially reduce the cost of manual debugging. A common repair …

Component-based approaches to program synthesis assemble programs from a database
of existing components, such as methods provided by an API. In this paper, we present a …

As code search is a frequent developer activity in software development practices, improving
the performance of code search is a critical task. In the text retrieval based search …