Krill v1.0

Krill is an efficient graph system for processing concurrent graph jobs, which consists of a high-level compiler and a runtime system. Property buffer and its compiler are provided to easily manage the property data. The runtime system is equipped with graph kernel fusion that greatly reduces the number of memory accesses.