JFlow: Practical Mostly-Static Information Flow Control
Javaの機能を極力削らないようにしながら情報流解析を導入して拡張した言語JFlowの論文。型システムとかの詳細は省かれていて、言語の解説がほとんど。Jifという後継(?)がある。
author="Andrew C.Myers",
title="{JFlow: Practical Mostly-Static Information Flow Control}",
booktitle="POPL'99",
publisher="ACM Press",
pages="228--241",
year="1999"
Proving Thread Termination
マルチスレッドなプログラムにおいてスレッドが停止するか示す方法。スレッドのインターリーブのすべての可能性を調べるのは非現実的なので、停止性を示したいスレッド以外を環境として抽象化してしまう。抽象化してしまうとシーケンシャルなプログラムの停止性の証明器が使える。反例が見つかれば潰すように環境を変更する。変更した環境が他のスレッドの抽象化として適切か調べて、不適切なら変更する。
author="Byron Cook and Andreas Podelski and Andrey Rybalchenko",
title="{Proving Thread Termination}",
booktitle="PLDI'07",
publisher="ACM Press",
volume="42",
pages="320--330",
year="2007"