The ROPAS center, under the direction of Kwangkeun Yi, was established in October 1998 by the grant from the National Creative Research Initiative Program of the Korean Ministry of Science and Technology.
Our research position is to aggressively adopt recent progress in programming language theories into a set of practical compilation techniques. The major thrust for promoting the potential synergy between the language theories and compilation practices comes from our focus on semantic-based static analysis.
The center members and visitors will offer various kinds of seminars and tutorials, all of which aim for active cooperation between programming language systems researchers, programming language theoreticians, mathematicians, and highly-motivated graduate students. These talks will promote an atmosphere in which the separation between practical and theoretical works cannot happen.