|
  |
The 5th ROSAEC Center Workshop
| Speaker: | ROSAEC members |
|---|---|
| Period: | 2011-01-06 15:00 ~ 2011-01-09 12:00 |
| Place: | Tongyeong Marina Resort, Gyeongsangnam-do, Korea |
Photos
new window
Program
Day 1 : January 6, 2011
Session1 : 15:00 - 16:30
Workshop 개회 및 센터 활동 보고
Kwangkeun Yi, Seoul National University [slide]
좋은 발표란 무엇인가?
Yungbum Jung, Seoul National University [slide]
Frama-C 프로그램 검증 시스템 소개
Jonghyun Park, POSTECH [slide]
Session2 : 16:50 - 17:20
STAR : Stack-Trace Based Automatic Crash Reproduction
Sung Kim, HKUST [slide]
Session3 : 17:40 - 18:00
빠른 3*3 행렬 곱셈법을 자동으로 찾아내기
Jin Kim, Seoul National University [slide] 
Milestone 최다 질문상
Milestone 최다 질문상
Day 2 : January 7, 2011
Session1 : 9:00 - 9:45
Simulation Walls for System Architects
Jangwoo Kim, POSTECH [slide]
Session2 : 10:00 - 12:00
PLRG @ KAIST
Sukyoung Ryu, KAIST [slide]
스마트시대, 정보화 혁명 그리고 우리의 기회
Jin-Young Choi, Korea University [slide]
Analysing Information Spreading in Complex Networks
Kyomin Jung, KAIST [slide]
스카이라인 빠르게 계산하기
Jongwuk Lee, POSTECH [slide]
Session3 : 13:30 - 14:00
Implementing String Analysis for PHP Program
Jaejun Choi, KAIST [slide]
ACSR과 Statechart를 이용한 소프트웨어 명세
Dae Yon Hwang, Korea University [slide]
필요한 정보만 가지고 필요한 지점만 분석하기
Hakjoo Oh, Seoul National University [slide] 우수 모국어 발표상
우수 모국어 발표상
이름이 같은 함수들의 안전성을 Coq으로 증명하기
Jieung Kim, KAIST [slide]
코드 클론에서 잠재적 라이선스 위반에 관한 연구
Sanghoon Lee, POSTECH [slide]
편리하고 확장 가능한 분석기 생성 도구 만들기
Seungjung Lee, Seoul National University [slide]
Session4 : 14:20 - 16:40
PLaSSE Research and Education
Kyung-Goo Doh, Hanyang University [slide]
Boolean BI 논리를 위한 컷-제거 귀추 계산법
Sungwoo Park, POSTECH [slide]
Implicit Programming
Bruno C.d.S. Oliveira, Seoul National University [slide]
For More Usable This Type
Hyunik Na, KAIST [slide]
Program Analysis for Overlaid Data Structures
Seungchul Jung, Hanyang University [slide]
Session5 : 17:00 - 17:40
ROSAEC Center Software Clinic Service : "주변의 병든 소프트웨어를 치료해주세요"
Jaeho Shin, Seoul National University [slide] 우수 모국어 발표상
우수 모국어 발표상
다단계 프로그램에서 불필요한 변수 제거하기
Sungkeun Cho, Seoul National University [slide]
QNX RTOS 기반 비행제어SW 및 고장사례 분석
Yongsu Han, Seoul National University [slide]
언어를 이용하여 정보 흐름 파악하기
Changhee Park, KAIST [slide]
두 마리 토끼 잡기 - 정적 타이핑과 동적 타이핑의 만남
Seonghoon Kang, KAIST [slide]
소셜 네트웍에서 영향력 최대화에 대한 연구
Wooram Heo, KAIST [slide]
COBET : 패턴 기반 동시성 버그 검출기 프레임워크
Shin Hong, KAIST [slide]
실제 개발 환경에 적용해 본 Concolic Testing
Yunho Kim, KAIST [slide]
Session6 : 17:40 - 18:20
Graph Indexing Techniques
Wook-Shin Han, Kyungpook National University [slide] Milestone 최다 질문상
Milestone 최다 질문상
인간을 위한 School of Computing
Kwangmoo Choe, KAIST [slide]
Session7 : 20:00 - 21:00
When Does the Tipping Point Occur? : Analysis of Information Cascade in Social Networks
Seulki Lee, KAIST [slide] 포스터 인기상
포스터 인기상
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
Wonchan Lee and Yungbum Jung, Seoul National University [slide]
필요한 정보만 가지고 필요한 지점만 분석하기
Yoonseok Ko and Kihong Heo, Seoul National University [slide]
단계제거 변환을 통한 다단계 프로그램의 정적 분석
Wontae Choi, Seoul National University [slide]
요약해석에 기반한 경보 동일 군집 구하기
Woosuk Lee, Seoul National University [slide]
Plasma와 Hadoop MapReduce 환경 비교 분석
Jeongpyo Lim and Dongwon Kim, POSTECH [slide]
Boolean BI 논리를 위한 컷-제거 귀추 계산법
Jonghyun Park, POSTECH [slide]
COBET : Effective Concurrency Bug Detector Framework for OS Kernel
Shin Hong, KAIST [slide]
뇌폭풍 모임 : 21:00 - 23:00
정적 분석과 기계 학습의 만남
Leader : Nam-ju Kwak, KAIST
Coq Users at Korea
Leader : Sungwoo Park, POSTECH
Code Review 효과를 높이려면?
Leader : Jaeho Shin, Seoul National University
Type 깃털을 가진 새들의 모임
Leader : Hyunik Na, KAIST
모바일 앱과 테스팅
Leader : Seungjung Lee, Seoul National University
박성우 교수님 장가 보내기 : 이대로 괜찮은가?
Leader : Yungbum Jung, Seoul National University
워크샵 혁명과 야외활동 연구
Leader : Wooram Heo, KAIST
분석기의 버그 잡기
Leader : Wontae Choi, Seoul National University
Day 3 : January 8, 2011
Session1 : 9:00 - 12:10
기계 학습 기법으로 스팸 메일 걸러내기
Nam-ju Kwak, KAIST [slide] 우수 모국어 발표상
우수 모국어 발표상
경보 메시지간의 종속 관계를 안전하게 계산하는 방법
Youil Kim, Seoul National University [slide] 우수 모국어 발표상
우수 모국어 발표상
명시되지 않은 인자를 지원하는 계산 언어의 설계
Wonchan Lee, Seoul National University [slide]
프로그램 개발 도우미로서의 기호실행에 대한 재조명
Jooyong Lee, Korea University [slide]
보다 친숙한 Coq 증명을 위한 방안 연구 II
Gyesik Lee, Seoul National University [slide]
Day 4 : January 9, 2011
Session1 : 9:00 - 10:20
무작위 과정을 분석하는 미분 방정식 방법
Boyoung Kim, KAIST [slide] 우수 모국어 발표상
우수 모국어 발표상
단계제거 변환을 통한 다단계 프로그램의 정적분석
Wontae Choi, Seoul National University [slide]
재귀 모듈을 위한 구문 기반 타입 시스템
Hyeonseung Im, Postech [slide] 우수 모국어 발표상
우수 모국어 발표상
뒷마당 : 11:00 - 12:00
뇌폭풍 단체 놀이 활동 보고
Yungbum Jung, Seoul National University [slide]
야외활동 보고1
Jonghyun Park, POSTECH [slide]
야외활동 보고2
Jieung Kim, KAIST [slide] 최다 인원 사진상
최다 인원 사진상
Workshop 폐회
Kwangkeun Yi, Seoul National University [slide]
This will be shown to users with no Flash or Javascript.