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): Robert Bruce 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

Displayed time zone: Osaka, Sapporo, Tokyo change

10:35 - 12:15
Session 5Research Papers at Noh Theater
Chair(s): Robert Bruce Findler Northwestern University
10:35
25m
Talk
A Glimpse of Hopjs
Research Papers
Manuel Serrano Inria, France, Vincent Prunet Inria, France
DOI
11:00
25m
Talk
Experience Report: Growing and Shrinking Polygons for Random Testing of Computational Geometry Algorithms
Research Papers
Ilya Sergey University College London, UK
DOI
11:25
25m
Talk
Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-Centric Big Graph Processing
Research Papers
Kento Emoto Kyushu Institute of Technology, Japan, Kiminori Matsuzaki Kochi University of Technology, Japan, Zhenjiang Hu National Institute of Informatics, Japan, Akimasa Morihata University of Tokyo, Japan, Hideya Iwasaki University of Electro-Communications, Japan
DOI
11:50
25m
Talk
Datafun: A Functional Datalog
Research Papers
Michael Arntzenius University of Birmingham, UK, Neel Krishnaswami University of Birmingham, UK
DOI