I'm very pleased to announce an exciting new workshop being added to the POPL program at POPL 2013. This workshop is aimed at anyone who loves the application of functional programming (and indeed other programming paradigms as well) to data-rich domains.
Please consider submitting to the workshop. Whatever your flavour of data, whatever your flavour of functional programming. We want this to be a great event that opens up opportunities at the intersection of data and programming!
Submission Date: Oct 8, 2012
Data-Driven Functional Programming Workshop 2013
Co-Located with POPL 2013, January 22, 2013 | Rome, Italy
Functional programming techniques are becoming increasingly important in data-centric programming: languages like Haskell, Scala, and C# draw heavily on a range of functional techniques and find application in numerous data-driven domains; functional paradigms like map/reduce and its extensions lie at the core of modern scalable data processing; and “information-rich” languages like Ur, F#, and Gosu use meta-programming to integrate type-safe queries, web-based APIs, and scalable data sources—along with associated semantically-rich metadata—into the programming language. In principle, the expressiveness, strong typing, and core functional paradigm of these languages make them an ideal choice for expressing robust and scalable data-centric programming. However, many challenges remain.
The first Data Driven Functional Programming Workshop will examine data-centric programming in the light of today’s data challenges, with a particular focus on the application of functional programming and meta-programming techniques. In this forum, we will discuss, promote, and advance the use of functional programming in information-rich data spaces—including the development of new programming and data-manipulation systems and the extension of existing ones
By devising methods for handling data from the programming level, we can promote the research and development of better functional programming technologies as a whole, as well as facilitate the shift towards both principled and effective data-centric computing.
We invite submissions in any area related to the connection between programming and data, including but not limited to:
- Formal systems that capture the essential theoretical elements of data-centric programming
- Experimental systems that demonstrate novel data-centric programming techniques
- Technology that demonstrates correctness, scalability, productivity, robustness, or maintainability of data-centric programs
- Schema evolution, schema-type mapping, query languages, probabilistic programming, network-connected programming, or semi-structured data
- Programming-related aspects of knowledge representation techniques including the database theory, ontology techniques, and linked data.
Instructions for submitting your paper will be posted to this page soon.
- Karin Breitman, EMC Labs, Brazil
- Judith Bishop, Microsoft Research, United States
- Soren Auer, University of Leipzig, Germany
- Guy Blelloch, Carnegie Mellon University, United States
- Adam Chlipala, Massachusetts Institute of Technology, United States
- Sophia Drossopolou, Imperial College, United Kingdom
- Tim Finin, University of Maryland, United States
- Kathleen Fisher, Tufts University, United States
- George Giorgidze, University of Tübingen, Germany
- Jim Hendler, Rensselaer Polytechnic Institute, United States
- Don Syme, Microsoft Research Cambridge, United Kingdom
- Jan Vitek, Purdue University, United States
- Steffen Staab, University of Koblenz, Germany