ROPAS:

Programming
Research Laboratory
The ROSAEC Center

Research On Program Analysis System

School of Computer Science & Engineering

Seoul National University

October 2013
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

  • Facebook Inferbo
  • ZooBerry
  • ScanDallogo
  • Airac Family
  • nML Compiler System
  • Program Analysis System Zoo
  • The LET Project

Software Releases

  • ROPAS Github(open source analyzer, etc)
  • Sparrow
  • Zooberry
  • Facebook Inferbo
  • 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
  • 연구내용/학생모집
795555 off-campus visits since August 21, 2000.
XHTML
Programming Research Laboratory
School of Computer Science and Engineering
Seoul National University
1 Kwanak-ro, Kwanak-gu,
Seoul 151-744, KOREA
+82-2-880-1857 (professor), +82-2-880-1865 (laboratory)