Research on type-based efficient implementation of SIMD and parallel extensions for the statically typed functional programming language

Research Project

Project/Area Number	20700039
Research Category	Grant-in-Aid for Young Scientists (B)
Allocation Type	Single-year Grants
Research Field	Software
Research Institution	財団法人京都高度技術研究所 (2011) Advanced Software Technology & Mechatronics Research Institute of Kyoto (2008-2010)
Principal Investigator	YOSHIDA Nobuaki 財団法人京都高度技術研究所, 研究部, 副主任研究員 (00373506)
Project Period (FY)	2008 – 2011
Project Status	Completed (Fiscal Year 2011)
Budget Amount *help	¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000) Fiscal Year 2011: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000) Fiscal Year 2010: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000) Fiscal Year 2009: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000) Fiscal Year 2008: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Keywords	ソフトウェア学 / 言語処理系 / 並列計算 / ハイパフォーマンスコンピューティング / ハイパフォーマンスコンピューラィング
Research Abstract	We realized parallel computation mechanisms on the statically-typed functional programming language by implementing SIMD operations with vector data types and GPGPU parallel processing extensions on "SML#" compiler. Currently, these extensions are experimental, and each functions are implemented on previous versions of SML# compiler independently ; these will be ported to the latest version of the compiler.

Report

(6 results)