11:30-12:30 Session of Posters

• A New Threat to Java Software Protection: Using Malicious Apects to Bypass License Checks
  Kung Chen (National Chengchi University)
• Optimizations in region based programming
  Florin Craciun (National University of Singapore)
• Adapting Size-Change Termination to Verification of Liveness Properties
  Carl Christian Frederiksen (University of Tokyo)
• A programming language for quantum computation and its semantics
  Yoshihiko Kakutani (University of Tokyo)
• Static Analyzer for Automatic Verification of Array Index Ranges in C Programs
  Jaehwang Kim (SNU)
• A Domain Specific Language for Knowledge Discovery based on  Dual Computations
  Kazutaka Matsuda (University of Tokyo)
• Recursive Object-Oriented Modules
  Keiko Nakata (Kyoto University)
• Memory Usage Inference for Object-Oriented Programs
  Huu Hai Nguyen (Singapore-MIT Alliance)
• On Trees Used in GLR(k)-Parsers for a Proved Optimization
  Julia Stoll (University of Kuopio)
• Removing Unnecessary Escape Barriers for Continuations
  Tomoharu Ugawa (Kyoto University)
• Syntax-Directed Transformation of RDF Documents
  Ching-Long Yeh (Tatung University)
• A Combinator Library for Specifying Program Transformation
  Tetsuo Yokoyama (University of Tokyo)