Towards a Type System for Analyzing JavaScript Programs
JavaScript の型システムの提案。クラス定義を書かない点や暗黙の型変換に対応するための工夫をしたらしい。preservation と progress が証明されている。型システムの細かいところまで読み切れていないので、また読み直したい。
author="Peter Thiemann",
title="{Towards a Type System for Analyzing JavaScript Programs}",
booktitle="ESOP 2005",
publisher="Springer",
volume="3444",
series="LNCS",
pages="408--422",
year="2005"
JavaScript Instrumentation for Browser Security
Web ページに埋め込まれた JavaScript プログラムがポリシーに従っているか動的に検査する手法の提案。ポリシーはオートマトンの形で与え、検査コードを動的に埋め込む。JavaScript プログラム中で JavaScript プログラムを生成することが可能なため、動的に処理を行うことで対処する。JavaScript を簡略化した CoreScript と呼ぶモデルを構築して動作意味を定義し、検査コードの埋め込みが元にプログラムに影響しないことをフォーマルに証明。プロトタイプを実装して、簡単なポリシーに関してはうまくいくことを確かめたらしい。
author="Dachuan Yu and Ajay Chander and Nayeem Islam and Igor Serikov",
title="{JavaScript Instrumentation for Browser Security}",
booktitle="POPL 2007",
publisher="ACM Press",
pages="237--249",
year="2007"
Migrating Multi-page Web Applications to Single-page Ajax Interfaces
複数ページから構成される Web アプリケーションを Ajax 化する手法の提案。ページの抽出、スキーマに基づくページのクラスタリング、UI に着目した差分抽出などを行って最後に Ajax 化する。論文では差分のあたりの話までで、その先は今後の課題。Ajax 化することの利点が述べられていたけど、何でもかんでも Ajax 化すればいいってものでもないと思う。
author="Ali Mesbah and Arie van Deursen",
title="{Migrating Multi-page Web Applications to Single-page Ajax Interfaces}",
booktitle="Proceedings of the 11th European Conference on Software Maintenance and Reengineering",
publisher="IEEE Computer Society",
pages="181--190",
year="2007"
jar
Cygwin で Sapid をインストールする時に jar コマンドを使っていますが、Sun の JDK に含まれる jar にはないオプションを使っていて、gcc-java が必須でした。