This paper presents a new technique for automatically synthesizing SQL queries from
natural language (NL). At the core of our technique is a new NL-based program synthesis …

Object-relational mapping libraries are a popular way for applications to interact with
databases because they provide transparent access to the database using the same …

This paper demonstrates a novel combination of program synthesis and verification to lift
stencil computations from low-level Fortran code to a high-level summary expressed using a …

Database-backed applications are nearly ubiquitous in our daily lives. Applications that
make many small accesses to the database create two challenges for developers: increased …

Abstraction without regret refers to the vision of using high-level programming languages for
systems development without experiencing a negative impact on performance. A database …

Many web applications store persistent data in databases. During execution, such
applications spend a significant amount of time communicating with the database for …

Optimizing the performance of database applications is an area of practical importance, and
has received significant attention in recent years. In this paper we present an approach to …

Many data processing systems allow SQL queries that call user-defined functions (UDFs)
written in conventional programming languages. While such SQL extensions provide …

MapReduce is a cost-effective way to achieve scalable performance for many log-
processing workloads. These workloads typically process their entire dataset. MapReduce …

This paper presents a new technique for automatically synthesizing SQL queries from
natural language. Our technique is fully automated, works for any database without requiring …