Organizers

General Chair

Atsushi Igarashi, Kyoto Univ.

aplas2012@fos.kuis.kyoto-u.ac.jp

Program Chair

Ranjit Jhala, Univ. of California, San Diego

aplas2012@easychair.org

Poster & Demo Chair

Kohei Suenaga, Kyoto Univ.

aplas2012-poster@fos.kuis.kyoto-u.ac.jp

Program Committee

• Amal Ahmed, Northeastern Univ.
• Satish Chandra, IBM
• Juan Chen, Microsoft Research
• Jean-Christophe Filliatre, LRI
• Deepak Garg, MPI-SWS
• Aarti Gupta, NEC Labs America
• Arie Gurfinkel, SEI, Carnegie Mellon Univ.
• Aquinas Hobor, Natl. Univ. Singapore
• Chung-Kil Hur, MPI-SWS
• Atsushi Igarashi, Kyoto Univ.
• Ranjit Jhala, Univ. of California, San Diego
• Thomas Jensen, INRIA
• Akash Lal, Microsoft Research
• Keiko Nakata, Institute of Cybernetics, Tallinn
• James Noble, Victoria Univ. of Wellington
• Luke Ong, Univ. of Oxford
• Sungwoo Park, Pohang Univ. Sci. Tech.
• Zvonimir Rakamaric, Univ. of Utah
• Tachio Terauchi, Nagoya Univ.
• Dimitrios Vytiniotis, Microsoft Research
• Bow-Yaw Wang, Academia Sinica
• Stephanie Weirich, Univ. of Pennsylvania
• Eran Yahav, Technion
• Xiangyu Zhang, Purdue Univ.
• Jianjun Zhao, Shanghai Jiao Tong Univ.