Program

Data Driven Functional Programming Workshop 2013

Co-Located with POPL 2013 | January 22, 2013 | Rome, Italy

Time  Event/Topic 

8:45

Welcome

Judith Bishop, Microsoft Research, Redmond, US; Karin Breitman, EMC Labs, Brazil; Evelyne Viegas, Microsoft Research, Redmond, US

9:00

Keynote

Higher-Order Language Integrated Query—a Theory You Can Quote

Philip Wadler, University of Edinburgh, UK

10:00

Break

10:30

Themes in Information-Rich Functional Programming for Internet-Scale Data Sources
Don Syme, Microsoft Research Cambridge, UK; Tomas Petricek, University of Cambridge, UK; Kenji Takeda, Keith Battocchi, and Donna Malayeri, Microsoft Research Cambridge, UK

 

Algebraic Data Types for Language-Integrated Queries

George Giorgidze, Torsten Grust, Alexander Ulrich, and Jeroen Weijers, University of Tübingen, Germany

11:30

Invited Talk

Incompleteness-Aware Programming with RDF Data

Steffen Staab, Ralf Lämmel, Gerd Gröner, and Stefan Schegelmann, University of Koblenz, Germany

12:30

Lunch

14:00

Invited Tutorial

TryF#—Type Providers in Your Browser

Christophe Poulain, Microsoft Research, Redmond, US

15:00

Streaming Big Data with Self-Adjusting Computation

Umut A. Acar, Carnegie Mellon University, US; Yan Chen, Max Planck Institute for Software Systems, Germany

 

Visualizing Data in the Web
Loic Denuziere, Adam Granicz, and Anton Tayanovskyy, IntelliFactory, Hungary

16:00

Break

16:30

Panel

Evelyne Viegas, Microsoft Research, Redmond, US (Chair); Umut Acar, Carnegie Mellon University, US; Adam Chlipala, Massachusetts Institute of Technology, US; Jeremy Gibbons, University of Oxford, UK; and Stefan Staab, University of Koblenz, Germany

17:20

Closing Remarks and Call to Action

The Workshop Chairs