A Server-side JavaScript System for Developing Practical Web Applications

• Project/Area Number: 23500038
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Research Field: Software
• Research Institution: The University of Electro-Communications
• Principal Investigator: IWASAKI Hideya 電気通信大学, 情報理工学(系)研究科, 教授 (90203372)
• Co-Investigator(Kenkyū-buntansha): NAKANO Keisuke 電気通信大学, 大学院・情報理工学研究科, 准教授 (30505839) ; UGAWA Tomoharu 電気通信大学, 大学院・情報理工学研究科, 助教 (50423017)
• Project Period (FY): 2011 – 2013
• Project Status: Completed (Fiscal Year 2013)
• Budget Amount: ¥5,200,000 (Direct Cost: ¥4,000,000、Indirect Cost: ¥1,200,000); Fiscal Year 2013: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000); Fiscal Year 2012: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000); Fiscal Year 2011: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
• Keywords: JavaScrip / 仮想機械 / 実行時最適化 / Just-in-timeコンパイラ / 外部関数インタフェース / イベント駆動方式サーバ / 漸進的型システム / プログラミング言語処理系 / コンパイラ / 型システム / 静的解析 / 型推論

Research Abstract

This research aims to develop an efficient server-side JavaScript engine that is expected to reduce the development cost of web applications. The obtained results can be summarized as follows. (1) We have developed a JavaScript virtual machine that optimizes the program execution on the basis of run-time information. (2) We have developed a foreign function interface that enables the programmer to call C functions from a JavaScript program. (3) We have extended the JavaScript virtual machine described in (1) so that it can run in parallel as event-driven servers. (4) We have developed a gradual type system for a subset of JavaScript programs to be a base of their safe execution.

Research Products

• [Journal Article] サーバサイド向けJavaScript 処理系におけるJust In Time コンパイラの実装 (2014)
  • Author(s): 漆原明博, 岩崎英哉, 鵜川始陽
  • Journal Title: 第16回プログラミングおよびプログラミング言語ワークショップ(PPL 2014)論文集
  • Peer Reviewed
• [Journal Article] JavaScript 処理系におけるQuickening の効果 (2013)
  • Author(s): 高田祥, 鵜川始陽, 中野圭介, 岩崎英哉
  • Journal Title: 第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)論文集
  • Peer Reviewed
• [Journal Article] Adaptive Scanning Reduces Sweep Time for the Lisp2 Mark-Compact Garbage Collector, Proc (2013)
  • Author(s): Kazuya Morikawa, Tomoharu Ugawa, Hideya Iwasaki
  • Journal Title: 2013 International Symposium on Memory Management (ISMM 2013) Pages: 15-26
  • DOI: 10.1145/2464157.2466480
  • Peer Reviewed
• [Presentation] イベント駆動式サーバのための並列JavaScript 処理系の実装 (2014)
  • Author(s): 藤井亮太, 岩崎英哉
  • Organizer: 第16回プログラミングおよびプログラミング言語ワークショップ(PPL 2014)
  • Place of Presentation: 熊本県阿蘇市
  • Year and Date: 2014-03-06
• [Presentation] サーバサイド向けJavaScript処理系における Just In Time コンパイラの実装 (2014)
  • Author(s): 漆原明博, 岩崎英哉, 鵜川始陽
  • Organizer: 第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014)
  • Place of Presentation: 熊本県阿蘇市
• [Presentation] イベント駆動式サーバのための並列JavaScript処理系の実装 (2014)
  • Author(s): 藤井亮太，岩崎英哉，中野圭介，鵜川始陽
  • Organizer: 第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014)
  • Place of Presentation: 熊本県阿蘇市
• [Presentation] JavaScript 処理系に対する外部関数インタフェースの設計及び実装 (2013)
  • Author(s): 谷村明, 岩崎英哉, 中野圭介, 鵜川始陽
  • Organizer: 第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)
  • Place of Presentation: 福島県会津若松市
  • Year and Date: 2013-03-04
• [Presentation] ビットマップマーキングを利用したマークコンパクトごみ集めのJikes RVM への実装 (2012)
  • Author(s): 森川和哉, 鵜川始陽, 岩崎英哉
  • Organizer: 情報処理学会第89回プログラミング研究会
  • Place of Presentation: 北海道小樽市
  • Year and Date: 2012-06-21
• [Presentation] サーバサイドJavaScript 処理系の開発について (2012)
  • Author(s): 高田祥, 鵜川始陽, 中野圭介, 岩崎英哉
  • Organizer: 第14回プログラミングおよびプログラミング言語ワークショップ(PPL 2012)
  • Place of Presentation: 和歌山県白浜町
  • Year and Date: 2012-03-09
• [Presentation] サーバサイドJavaScript処理系の開発について (2012)
  • Author(s): 高田 祥, 鵜川 始陽，中野 圭介，岩崎 英哉
  • Organizer: 第14回プログラミングおよびプログラミング言語ワークショップ (PPL 2012)
  • Place of Presentation: 和歌山県白浜町
• [Presentation] JavaScript におけるプログラム変換の効果 (2011)
  • Author(s): 田村知博, 中野圭介, 鵜川始陽, 岩崎英哉
  • Organizer: 夏のプログラミング・シンポジウム2011「プログラミング言語, 作る人, 使う人」報告集
  • Place of Presentation: 佐賀県唐津市
  • Year and Date: 2011-09-02
• [Presentation] JavaScriptにおけるプログラム変換の効果 (2011)
  • Author(s): 田村 知博，中野 圭介，鵜川 始陽，岩崎 英哉
  • Organizer: 夏のプログラミング・シンポジウム 「プログラミング言語，作る人，使う人」
  • Place of Presentation: 佐賀県唐津市
• [Presentation] Adaptive Scanning Reduces Sweep Time for the Lisp2 Mark-Compact Garbage Collector
  • Author(s): Kazuya Morikawa, Tomoharu Ugawa, Hideya Iwasaki
  • Organizer: 2013 International Symposium on Memory Management (ISMM 2013)
  • Place of Presentation: Seattle, Washington, UA
• [Presentation] ビットマップマーキングを利用したマークコンパクトごみ集めのJikes RVMへの実装
  • Author(s): 森川 和哉, 鵜川 始陽, 岩崎 英哉
  • Organizer: 情報処理学会 第89回プログラミング研究会
  • Place of Presentation: 北海道小樽市
• [Presentation] JavaScript処理系に対する外部関数インタフェースの設計及び実装
  • Author(s): 谷村 明, 岩崎 英哉, 中野 圭介, 鵜川 始陽
  • Organizer: 日本ソフトウェア科学会 第15回プログラミングおよびプログラミング言語ワークショップ (PPL 2013)
  • Place of Presentation: 福島県会津若松市
• [Presentation] JavaScript 仮想機械におけるQuickeningの効果
  • Author(s): 高田 祥, 鵜川 始陽, 中野 圭介, 岩崎 英哉
  • Organizer: 日本ソフトウェア科学会 第15回プログラミングおよびプログラミング言語ワークショップ (PPL 2013)
  • Place of Presentation: 福島県会津若松市
• [Presentation] ドメイン特化言語処理系実装支援ライブラリのメタプログラミングによる実装
  • Author(s): 塩田 雅人, 岩崎 英哉
  • Organizer: 日本ソフトウェア科学会 第15回プログラミングおよびプログラミング言語ワークショップ (PPL 2013)
  • Place of Presentation: 福島県会津若松市
• [Remarks] ホームページ
  • URL: http://ipl-www.cs.uec.ac.jp/~iwasaki/SSJS