DBPL is a biennial symposium that aims to foster exchange of ideas and discussion about current trends and open problems between the data management and the programming languages research communities. For over 25 years, DBPL has established itself as the principal venue for publishing and discussing new ideas and problems at the intersection of data management and programming languages. Many key contributions relevant to the formal foundations, design, implementation, and evaluation of query languages (e.g., for object-oriented, nested, or semi-structured data) were first announced at DBPL.

As an established destination for such new ideas, DBPL aims to solicit submissions from researchers in databases, programming languages or any other community interested in the design, implementation or foundations of languages and systems for data-centric computation. Our main goal is to provide an inter-disciplinary venue where current trends, open problems, as well as insights about research methodology for potential solutions can be shared and discussed between the two communities.

Scope and Topics

DBPL 2017 solicits theoretical and practical papers in all areas of Data-Centric Programming Languages. papers emphasizing new topics or foundations of emerging areas are especially welcome.

Topics of interest for submissions include:

* Programming Abstractions and Type Systems for Data-Centric Batch or Stream Processing
* Data-Centric Language Design
* Data-Centric Language Semantics
* Data-Centric Language Optimizations and Transformations
* Data-Centric Language Compilation to Emerging Hardware or Software Platforms
* Data Integration, Exchange, and Interoperability
* Declarative Data Centers
* Emerging and Nontraditional Data Models
* Language-Based Security in Data Management
* Language-Integrated Query Mechanisms
* Managing Uncertain and Imprecise Information
* Metaprogramming and Heterogeneous Staged Computation
* Programming Language Support for Databases
* Schema Mapping and Metadata Management
* Semantics and Verification of Database Systems
* Validation, Type-checking