PLDI 2007プログラム

POPLと並んでメジャーなプログラミング言語関連学会であるPLDIのプログラムが出ています。

http://ties.ucsd.edu/PLDI/program.shtml

残念ながらすべてチェックする余裕はないですが、どれもおもしろそうで。以前のPLDIは「Cコンパイラの最適化を改良して、SPECベンチマークが最大で3%高速化しました」みたいな論文・発表ばかりだったのですが、最近は型理論やらプログラム正当性証明やらHaskellやら、POPLっぽい研究もかなり進出しています。

追記：併設ワークショップのPLAS 2007もおもしろそうです。と宣伝。とっつきやすそうな話では"Large-scale analysis of format string vulnerabilities in Debian Linux"とか"Abash: Finding Bugs in Bash Scripts"とか。PLDIの"Sound and Precise Analysis of Web Applications for Injection Vulnerabilities"もそうですが、何とかインジェクション系のバグは、わりと素直なデーターフロー解析（ないしtaintedなどの型ベース解析）の応用で検出できるようで、いろいろな結果が発表されています。