연구내용/학생모집
OpenBoard

ROPAS: Research On Program Analysis System
National Creative Research Initiative Center
School of Computer Science & Engineering
Seoul National University

[ Brochure (in Korean, PDF, 5.5MB)]

The center's flagship project is The LET Project: program analysis for smalL/safE/smarT code, which focuses on the three programming-system technologies of high-order & typed programming languages for the global network computing environment.


Overview

Our Research
Position Paper(in Korean, PDF)
Evaluation

Talks

Seminars/Workshops
Weekly Show&Tell
Web Board

Library

Ropas Library
Our Mother Tongue
Photo Gallery: our life in visuals

People

Members
Visitors

Publications

Papers
Technical memos
Trip reports

Software Releases

nML Compiler
(CVS Repository)
Airac: C array analyzer
ML Exception Analyzer
Program analyzer generator Z1 (also from KAIST, or UIUC)

Projects

The LET Project
nML Compiler System
Program Analysis System Zoo

Mirrors

SML/NJ
OCaml

Miscellaneous

Heading for us?
Visa information
Internal document


Overview

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.

Our research results will consist of research papers (technical memos) and software releases.


Members


Evaluation


Programming Research Laboratory Room 312-2, Bldg 302 School of Computer Science and Engineering Seoul National University San 56-1 Shilim-dong Kwanak-gu Seoul 151-742, KOREA +82.2.880.1865
off-campus visits since August 21, 2000.