|
  |
The 3rd ROSAEC Center Workshop
| Speaker: | ROSAEC members |
|---|---|
| Period: | 2010-01-07 14:00 ~ 2010-01-09 12:00 |
| Place: | Phoenix Island, Jeju Island, Korea |
Photos
new window
Program
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]
This will be shown to users with no Flash or Javascript.