JSSST 2019 における発表と受賞
日本ソフトウェア科学会第36回大会において以下の研究発表を行いました。
日本ソフトウェア科学会第36回大会において以下の研究発表を行いました。
叢悠悠が関数型言語の国際会議 ICFP 2019 で以下の論文を発表します。
タイトル: Compiling with Continuations, or without? Whatever.
著者: Youyou Cong, Leo Osvald, Gregory Essertel, and Tiark Rompf
概要:
What makes a good compiler IR? In the context of functional languages, there has been an extensive debate on the advantages and disadvantages of continuation-passing-style (CPS). The consensus seems to be that some form of explicit continuations is necessary to model jumps in a functional style, but that they should have a 2nd-class status, separate from regular functions, to ensure efficient code generation. Building on this observation, a recent study from PLDI 2017 proposed a direct-style IR with explicit join points, which essentially represent local continuations, i.e., functions that do not return or escape. While this IR can work well in practice, as evidenced by the implementation of join points in the Glasgow Haskell Compiler (GHC), there still seems to be room for improvement, especially with regard to the way continuations are handled in the course of optimization.
In this paper, we contribute to the CPS debate by developing a novel IR with the following features. First, we integrate a control operator that resembles Felleisen’s C, eliminating certain redundant rewrites observed in the previous study. Second, we treat the non-returning and non-escaping aspects of continuations separately, allowing efficient compilation of well-behaved functions defined by the user. Third, we define a selective CPS translation of our IR, which erases control operators while preserving the meaning and typing of programs. These features enable optimizations in both direct style and full CPS, as well as in any intermediate style with selectively exposed continuations. Thus, we change the spectrum of available options from “CPS yes or no” to “as much or as little CPS as you want, when you want it”.
5名のメンバーの歓送会を行いました。
みなさんの輝かしい未来を願ってやみません。近いうちに再会できることを願っています!
ジョージア工科大学からの交換留学生Chengkai Yangがサマープログラムの成果発表を行いました。Yangは当研究室においてプログラム合成を用いたCUDAプログラムの最適器ツールKaniCUDAの高速化に取り組みました。
9月修了予定者2名が修士論文発表を行いました。
日本ソフトウェア科学会「コンピュータソフトウェア」誌の2019年36巻3号に増原の巻頭言「お前まだアレやってるの?」が掲載されました。
ECOOP 2019 (the 33rd European Conference on Object-Oriented Programming) においてSpringeと増原による論文 “DynaSOAr: A Parallel Memory Allocator for Object-oriented Programming on GPUs with Efficient Memory Access” を発表しました。
Matthias Springerの博士論文“Memory-Efficient Object-Oriented Programming on GPUs”の公聴会が開かれました。博士号の取得はもうすぐそこまで来ています! (さらに…)
Matthias Springer と Hidehiko Masuhara による論文 “Massively Parallel GPU Memory Compaction” (PDF) が the ACM SIGPLAN International Symposium on Memory Management (ISMM) 2019 に採択されました。ISMM は PLDI 2019 に併設されるメモリ管理に関する国際会議です。
Matthias Springer によるポスター発表 “CompactGpu: Massively Parallel Memory Defragmentation on GPUs” が the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2019 において行われる ACM Student Research Competition (SRC) に採択されました。
Matthias SpringerはISMMの最優秀学生発表と、SRC大学院生部門の第一位に輝きました。
以下の研究が情報処理学会プログラミング研究発表会(第124回,名古屋)で発表されます。
『コエフェクト計算に基づく量化型の再形式化』
田辺 裕大, Luthfan Anshar Lubis, 青谷 知幸, 増原 英彦