APLAS 2010 Accepted Posters

  1. Shigeyuki Sato and Hideya Iwasaki. Parallelization via Matrix Multiplication.
  2. Zhiwen Zheng, Jonghee M.Youn and Yunheung Paek. Compiler triggered C level error check.
  3. Sandeep Dasgupta, Barnali Basak and Amey Karkare. Dependence Analysis for Parallelization of Sequential Programs.
  4. Do Thi Bich Ngoc and Mizuhito Ogawa. Checking Roundoff Errors based on Counterexample-Guided Narrowing.
  5. Lintaro Ina and Atsushi Igarashi. Gradual Typing for Generics.
  6. Takuma Wakamori, Masahiro Idez, Shinpei Nakataz and Kimio Kuramitsu. A Design of Scripting Language Bytecode: Instructions Based on Static Single Assignment Form.
  7. Chin-Lung Chang and Tyng-Ruey Chuang. From XPath to Prolog via Relation.
  8. Yu Liu and Zhenjiang Hu. Wrapping MapReduce with Homomorphism.
  9. Qichao Liu, Barrett R. Bryant and Marjan Mernik. Grammar Inference for Model Co-Evolution.
  10. Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda and Keisuke Nakano. Towards State-based Interface to a Graph Roundtrip Transformation System GRoundTram.
  11. Frederic Blanqui, Claude Helmstetter , Vania Joloboff, Jean-Francois Monin and Xiaomu Shi. Designing a CPU model: from a pseudo-formal documentation to formal code.
  12. Masahiro Ide and Kimio Kuramitsu. Improved Selective Inlining Using Micro-Bytecode Template.
  13. Xiuting Tao and Guoqiang Li. A Formal Model for the Exchange Protocol Based on Game Theory.
  14. Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba and Hiroyuki Kato. Range Analysis of Graph Transformation for Simulation-based Schema.
  15. Sidi Ould Biha. Toward a Certified PLCs Programming Environment.