Our research position is to aggressively adopt recent progress in programming language theories into a set of advanced yet practical programming tools and environments. The major thrust for promoting the potential synergy between the language theoreis and programming tools comes from our focus on semantic-based static analysis.