[BDCS2014] project reef-pregel