LIVSHITS Benjamin について
Microsoft Res. について
SRIDHARAN Manu について
Samsung Res. America について
SMARAGDAKIS Yannis について
Univ. Athens について
LHOTAK Ondrej について
Univ. Waterloo について
AMARAL J. Nelson について
Univ. Alberta について
CHANG Bor-Yuh Evan について
Univ. Colorado Boulder について
GUYER Samuel Z. について
Tufts Univ. について
KHEDKER Uday P. について
Indian Inst. Technol. Bombay について
MOLLER Anders について
Aarhus Univ. について
VARDOULAKIS Dimitrios について
Google Inc. について
Communications of the ACM (Association for Computing Machinery) について
健全性 について
ソフトウェア開発 について
プログラム解析 について
応用プログラム について
情報源 について
システム評価 について
計算理論 について
アプリケーション について
計算理論 について
計算機システム開発 について
言語プロセッサ について
健全性 について
マニフェスト について