Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Tue 20 Sep 2016 11:25 - 11:50 at Noh Theater - Session 5 Chair(s): Robby Findler

The vertex-centric programming model, known as “think like a
vertex”, is being used more and more to support various big graph
processing methods through iterative supersteps that execute in
parallel a user-defined vertex program over each vertex of a graph.
However, the imperative and message-passing style of existing systems
makes defining a vertex program unintuitive. In this paper, we show
that one can benefit more from “Thinking like a vertex” by
“Behaving like a function” rather than “Acting like a procedure”
with full use of side effects and explicit control of message passing,
state, and termination. We propose a functional approach to
vertex-centric graph processing in which the computation at every
vertex is abstracted as a higher-order function and present Fregel, a
new domain-specific language. Fregel has clear functional semantics,
supports declarative description of vertex computation, and can be
automatically translated into Pregel, an emerging imperative-style
distributed graph processing framework, and thereby achieve promising
performance. Experimental results for several typical examples show
the promise of this functional approach.

Tue 20 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

10:35 - 12:15: Session 5Research Papers at Noh Theater
Chair(s): Robby FindlerNorthwestern University
10:35 - 11:00
A Glimpse of Hopjs
Research Papers
Manuel SerranoInria, France, Vincent PrunetInria, France
11:00 - 11:25
Experience Report: Growing and Shrinking Polygons for Random Testing of Computational Geometry Algorithms
Research Papers
Ilya SergeyUniversity College London, UK
11:25 - 11:50
Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-Centric Big Graph Processing
Research Papers
Kento EmotoKyushu Institute of Technology, Japan, Kiminori MatsuzakiKochi University of Technology, Japan, Zhenjiang HuNational Institute of Informatics, Japan, Akimasa MorihataUniversity of Tokyo, Japan, Hideya IwasakiUniversity of Electro-Communications, Japan
11:50 - 12:15
Datafun: A Functional Datalog
Research Papers
Michael ArntzeniusUniversity of Birmingham, UK, Neel KrishnaswamiUniversity of Birmingham, UK