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.
- Find accepted papers and schedule on the Program page
- Philip Wadler will present a keynote address
The first Data Driven Functional Programming Workshop examined 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 discussed the use and advancement 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.
Paper submissions were due October 15, 2012. We are no longer accepting submissions.
We invited 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.
- 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
- Nate Foster, Cornell University, United States
- George Giorgidze, University of Tübingen, Germany
- Jim Hendler, Rensselaer Polytechnic Institute, United States
- Steffen Staab, University of Koblenz, Germany
- Don Syme, Microsoft Research Cambridge, United Kingdom
- Jan Vitek, Purdue University, United States
- Paper submissions due:
Oct. 15, 2012
- Author notification: Oct. 30, 2012
- Camera ready: Nov. 10, 2012
- Workshop: Jan. 22, 2013
Evelyne Viegas, Microsoft Research, United States
If you have questions, please send email to email@example.com.