Fregel プロジェクト

What is Fregel?

Fregel (Functional Pregel) は， 大きなグラフを処理対象とする (Pregelのような) 頂点主体プログラムを開発するための関数型領域特化言語です． Fregel では，各頂点における計算は高階関数によって抽象化されており， 頂点計算の宣言的な記述が可能です．

Fregel コンパイラの現バージョンは， Fregelコードから Giraph コード (Java) あるいは Pregel+ コード (C++) への変換系になっています．

Fregel のソースコード

最新バージョン

• Version 1.2 (2021年1月28日 公開) (tgz file, zip file)

古いバージョン

• Version 1.1 (tgz file, zip file)
• Version 1.0 (tgz file, zip file)

Publications

ジャーナル論文

• 加藤 直斗, 岩崎 英哉
  Fregelコンパイラによる不要な値送受信の削減
  コンピュータソフトウェア, Vol.36, No.2, pp.28-46, 2019.
  論文中の実験で用いたプログラムとデータ
  

国際会議論文

• Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki
  Optimizing Declarative Parallel distributed Graph Processing by using Constraint Solvers
  Proc. 14th International Symposium on Functional and Logic Programming (FLOPS 2018), Lecture Notes in Computer Science 10818, Springer-Verlag, pp.166-181, 2018.
  DOI: 10.1007/978-3-319-90686-7_11


• Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
  Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-centric Big Graph Processing
  Proc. 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016), ACM Press, pp.200-213, 2016.
  DOI: 10.1145/2951913.2951938

その他の論文

• 加藤 直斗, 岩崎 英哉
  Fregelコンパイラによる不要な値送受信の削減
  第20回プログラミングおよびプログラミング言語ワークショップ (PPL 2018), 2018.
  (PPL2018 論文賞受賞)


• 森畑 明昌, 江本 健斗, 松崎 公紀, 胡 振江, 岩崎 英哉
  頂点主体並列グラフ処理の制約解消器による効率化
  日本ソフトウェア科学会第34回大会講演論文集, 2017.


• 松崎 公紀, 岩崎 英哉 江本 健斗, 胡 振江, 森畑 明昌,
  複数の頂点主体グラフ計算フレームワーク向けの中間表現とコード生成器
  日本ソフトウェア科学会第34回大会講演論文集, 2017.


• 江本 健斗, 松崎 公紀, 胡 振江, 森畑 明昌, 岩崎 英哉
  大規模グラフ並列処理のための関数型領域特化言語Fregelとその評価
  日本ソフトウェア科学会第33回大会講演論文集, 2016.
  (高橋奨励賞受賞)

謝辞

Fregel プロジェクトの一部は， JSPS科研費 26280020 と 15K15974 の助成を受けたものです．

Copyright (c) 2016-2021, Fregel Project. All rights reserved. (最終更新: 2021年1月28日)