Day I: November 3, 2005

16:30 - 17:30 Poster Session

An i/o typed framework for network programming in Haskell based on Localized pi-calculus
Keigo Imai, Shoji Yuen, Kiyoshi Agusa

A Novel Approach on Centralizing Networked Applications
Cyrille Artho

A study on the PIM transformation Rule of EJB Component using MDA Based Concept
Jungmo Yoon, Hyunjoo Lee

Decidable Type Checking for XML Programming in A Functional Setting
Akihiko Tozawa

Flow Analysis for Variant Parametric Types in Java
Florin Craciun, Corneliu Popeea, Siau-Cheng Khoo, Wei-Ngan Chin

Origami Theorem Proving - Examples
Hidekazu Takahashi, Fadoua Ghourabi, Asem Kasem

Request and Assert: Programmer-governed approach to computing specialization scenarios
Ping Zhu, Siau-Cheng Khoo

Safety Analysis of Multi-Staged Programs and Its Equivalent Type System
Deokhwan Kim, Kwangkeun Yi

Toward a Lightweight Tool for Locating Unintentional Object Retention in Java Programs
Chin-Hung Chien, Kung Chen, Ju-Bing Chen

Validating Dynamically Generated XHTML Documents
Nobuo Otoi, Yasuhiko Minamide