¿¬±¸³»¿ë/Çлý¸ðÁý 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

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.

• Principal investigator: Kwangkeun Yi (phd)
• Research associates:

  Iksoon Kim(phd) Jaeho Shin Hakjoo Oh

  Hongseok Yang(phd) Seungho Han Yi-kwon Hwang

  Jaehwang Kim Sangwoo Lee

  Yungbum Jung Deokhwan Kim

• Joint members:

  Oukseh Lee(phd) Woongsik Choi

  Hyunjun Eo Se-won Kim

  Sunae Seo Tcaesvk Gim

  Hyun-goo Kang Ki-yung Ahn

• Former members: Bomshik Kim, Hyunsok Oh, Sungwoo Park, Soojin Cho, Eunsun Cho, Sanghyun Joo, Jaeyoun Jung, Charles Hymans, Jeff Polakow, Fermin Reig, Andrzej Murawski, Nikolay Shilov, Joonseon Ahn, Sukyoung Ryu, Laszlo Nemeth, Jaegyoon Hahm, Jungtaek Kim, Jeff Sarnat, Kyung Hoon Choi, Jaeho Shin, Kyungmin Bae, Youil Kim, Kwanghoon Choi, Pascal Cuoq, Sungsoon Jang
  

• In July and August of 2001, KISTEP's evaluation program reviewed our progress for the first phase(1998-2001). The evaluation process consisted of two kinds: a hearing with 9 domestic panelists and written evaluations by 2 domestic and 3 international reviewers from Ecole Normale Superieure, Kansas State Univ., and UC Berkeley.
  • progress report(PDF)
  • presentation slides(PDF, in Korean)
  • external evaluation reports: international, domestic
  • evaluation comments by the panelists at the hearing (in Korean)

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