ROPAS:

Programming
Research Laboratory
The ROSAEC Center

Research On Program Analysis System

School of Computer Science & Engineering

Seoul National University

KBS 9시 뉴스

Introduction

  • Our Research
  • Evaluation
  • Members
  • Visitors

Resources

  • ROPAS Library
  • Papers
  • Technical Memos
  • Our Mother Tongue
  • Trip Reports

Talks

  • Seminars/Workshops
  • Weekly Show&Tell

Projects

  • Airac Family
  • nML Compiler System
  • Program Analysis System Zoo
  • The LET Project

Software Releases

  • nML Compiler (CVS Repository)
  • ML Exception Analyzer
  • Program analyzer generator Z1
    (also from KAIST, or UIUC)

Miscellaneous

  • Visiting Information
  • Photo Album: Our Life in Visuals
  • Internal Documents
  • 연구내용/학생모집
175109 off-campus visits since August 21, 2000.
XHTML
Programming Research Laboratory
School of Computer Science and Engineering
Seoul National University
San 56-1 Shilim-dong Gwanak-gu
Seoul 151-742, KOREA
+82-2-880-1857 (professor), +82-2-880-1865 (laboratory)