ROSAEC center Seoul National University
Speaker:ROSAEC members
Period:2010-01-07 14:00 ~ 2010-01-09 12:00
Place:Phoenix Island, Jeju Island, Korea


new window


Day 1 : January 7, 2010

Session1 : 15:00 - 16:20

센터 현황리뷰 및 워크샵 머릿말
Kwangkeun Yi, Seoul National University [slide]
Complex network관련 진행 중인 연구와 software verification에서의 응용
Kyomin Jung, KAIST [slide]
A Model-driven Development and Verification Framework for Embedded Software (3)
Yunja Choi, Kyungpook National University [slide]
정제 프로세스 상에서 컴포넌트 모델의 합성과 검증
Hoon Jang, Kyungpook National University [slide]
A Deductive Verification Tool for Realistic Programs
Jonghyun Park, POSTECH [slide]

Session2 : 16:30 - 19:00

Research Issues in Concolic Testing
Moonzoo Kim, KAIST [slide]
Concurrency Bug Detection through Improved Pattern Matching Using Semantic Information
Shin Hong, KAIST [slide]
Context-sensitive Pointer Analysis with Cycle Elimination and Hash-consing
Woongsik Choi, KAIST [slide]
x86 Binary Executable Analysis
Hyunik Na, KAIST [slide]
Filtering Redundant Alarms in Static Buffer-overflow Analysis
Youil Kim, KAIST [slide]
PLASSE Laboratory's Research Perspectives in 2010
Kyung-Goo Doh, Hanyang University [slide]
Research Topics in Service-oriented Architecture Modeling
Yukyong Kim, Hanyang University [slide]
Accurate Detection of Code Clones
Hyo-Sub Lee, Hanyang University [slide]
Implementation of Rule-based Security Vulnerability Detector
Hyunha Kim and Seung-Cheol Jung, Hanyang University [slide]

Day 2 : January 8, 2010

Session1 : 9:00 - 11:10

QNX RTOS 기반 PC/104 비행제어컴퓨터 개발
Hyunjin Choi, Seoul National University[slide]
지능형 로봇 소프트웨어 분석기 개발
Jaeyoung Han, Seoul National University [slide]
Deriving Loop Invariants Using Algorithmic Learning
Yungbum Jung, Seoul National University [slide]
Effective Memory Localization by Access Analysis
Hakjoo Oh, Seoul National University [slide]
Issues in Mechanizing Metatheory
Gyesik Lee, Seoul National University [slide]
Disciplined Inheritance with Explicits Effects
Bruno Oliveira, Seoul National University [slide]
Static Analysis of Staged Programs
Wontae Choi, Seoul National University [slide]

Session2 : 11:20 - 12:10

Static Analysis Based Code Clone Detector
Heejung Kim, Seoul National University [slide]
An Inductive Method for Verifying Properties of a Program
Sungkeun Cho, Seoul National University [slide]
지능형 로봇 소프트웨어 분석
Kihong Heo, Seoul National University [slide]
Specialized Static Analyzer for UAV
Suwon Jang, Seoul National University [slide]

Session3 : 13:30 - 15:20

Timed and Resource-oriented Statecharts for Embedded Software
Jin Hyun Kim, Korea University [slide]
고등급 공통평가기준의 시험서 평가제출용 개발
Jaehwan Sim, Korea University [slide]
스마트 그리드와 신뢰성
Dae Yon Hwang, Korea University [slide]
모듈단위의 소프트웨어 보안성 강화
Eun-Young Lee, Dongduk Women’s University [slide]
Static Analysis for Java-like Programs
Sukyoung Ryu, KAIST [slide]
Applying Concolic Testing to Software Written in Multi-staged Language
Taeksu Kim, Seoul National University [slide]

Session4 : 15:30 - 17:10

USeeC : A Tool for Visualizing C Source Code
HyungMin Lee and Kyle Koh, Seoul National University [slide]
Designing Costs in Cost-based Syntax Error Repair Schemes
Jin Hyun Kim, Seoul National University [slide]
Graph Indexing: A Frequent Structure-based Approach
Jinsoo Lee, Kyungpook National University [slide]
Instant Code Clone Detection
Mu-Woong Lee, POSTECH [slide]
When Bugs Meet Developers
Jinhan Kim, POSTECH [slide]
Discovering Code Search Intent from Web Search Engine Log
Jin-woo Park, POSTECH [slide]

© Copyright 2008-2010 ROSAEC Center, Seoul National University