ROPAS: Research On Program Analysis System
National Creative Research Initiative Center
Korea Advanced Institute of Science and Technology
[Korean]
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.
The center's flagship project is The LET Project: program analysis for smalL/safE/smarT code, which focuses on three compilation problems of high-order & typed programming languages for the global network computing environment.
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.
We are currently looking for two research professors and fellows.
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.
Our research results will consist of research papers and software releases.
Research On Program Analysis System National Creative Research Initiative Center Department of Computer Science KAIST 373-1 Kusong-dong Yusong-gu Taejon 305-701, Korea +82.42.869.8781 +82.42.869.8780 (fax)