|
  |
The 9th ROSAEC Center Workshop
| Speaker: | ROSAEC members |
|---|---|
| Period: | 2013-01-30 15:00 ~ 2013-02-02 12:00 |
| Place: | POSTECH, Gyeongsangbuk-do, KOREA |
Photos
new window
Program
Day 1 : January 30, 2013
Session1 : 15:00 - 16:20
Workshop 개회식
Kwangkeun Yi, Seoul National University
반도체 공정 제어 시스템에서 변경된 코드의 영향 분석
Youngseok Lee, Seoul National University [slide]
Experiments with JavaScript clone detection
Ken Cheung, KAIST [slide]
Session2 : 16:45 - 18:00
SMaSH:Software Maven School at Hanyang Uinversity ERICA
Kyung-Goo Doh, Hanyang University [slide]
신뢰할수 있는 Sparse Sparrow 검산기
Sungkeun Cho, Seoul National University [slide]
Correcting the Dynamic Call Graph Using Control Flow Constaints
Byeongchul Lee, GIST [slide]
Day 2 : January 31, 2013
Session1 : 9:00 - 10:30
컴퓨터를 이용한 역수학(reverse mathematics)
Gyesik Lee, Hankyung Univers [slide]
부분적으로 문맥에 민감한 분석
Hakjoo Oh , Seoul National University [slide]
분리논리 자동정리증명기 개발
Sungwoo Park, POSTHCH [slide]
Session2 : 11:00 - 12:00
Image based CAPTCHA using honeypot images
Shinil Kwon, Korea University [slide]
SAFE에 DOM과 브라우저 API 모델링하기
Changhee Park, KAIST [slide]
JavaScript 의미구조의 기계적 검증
Sungkyung Bae, KAIST [slide]
DDG 간선을 복원하면서 분석하기
Hongki Lee, KAIST[slide]
웹접근성 정적으로 분석하기
Hyunha Kim, Hanyang University [slide]
프로그램 정적분석 시간 예측하기
Woosuk Lee, Seoul National University [slide]
꼭 필요한 변수 관계만 집중하는 프로그램 분석
Kihong Heo, Seoul National University [slide]
C언어의 사용하지 않는 구조체 필드 탐지
Jinyoung Heo, Seoul National University [slide]
부분 공간 근사화를 통한 빠르고 확장성 있는 커널 주성분 분석
Woosang Im, KAIST [slide]
JavaScript 모듈 시스템을 JavaScript로 다시 쓰기
Joonhee Jo, KAIST [slide]
Session3 : 13:30 - 14:15
A Formally Verified Runtime
Bernhard Egger, Seoul National Univers [slide]
커버리지 기법을 이요한 멀티쓰레드 프로그램 테스트 생성
Shin Hong, KAIST [slide]
Session4 : 15:15 - 16:00
Cyber Physical Systems:Computing for the Smart New World
Sanghyuk Son, DGIST [slide]
Day 3 : Feburuary 1, 2013
Session1 : 9:00 - 10:30
PALS구조(항공 시스템을 위한 논리적 동기화 시스템 구조)의 검증 논의
Cheolgi Kim, Korea Aerospace University [slide]
대용량 그래프 데이타 처리 기술
Wookshin Han, Kyungpook National University[slide]
Session2 : 11:00 - 11:50
JavaScript버그 검출기
Joonho Jin, KAIST[slide]
JavaScript 테스트데이터 자동 생성기
Sora Bea, KAIST [slide]
SCC 나누기 자동화 방안
Byeongjun Yu, Seoul National University [slide]
링크-공간 변환을 통한 중첩을 허용하는 군집화 알고리즘
Sungsu Im, KAIST [slide]
동적으로 생성된 SQL문에서 데이터베이스 스키마 재구성하기
Sohee Jo, Hanyang University [slide]
JavaScript 웹어플리케이션의 비동기적 실행 자동 테스팅 기법
Kwangheum Yeon, KAIST
안전성이 검증된 의료장비 소프트웨어 개발을 위한 프로세스
Sehun Jeong, Korea University [slide]
모델 변환을 통한 DEV,DESS 모델의 정형 검증 방안
Han Choi, Korea University [slide]
병렬 웹브라우저 설계
Hyungchul Park, POSTECH [slide]
Session3 : 13:00 - 14:00
마르코프 체인, 이론과 그 응용
Kyomin Jung, KAIST [slide]
군맹무상식 용약을 이용한 문자열 조작 분석
Sewon Kim, Hanyang University [slide]
포스터 발표회 : 19:30 - 21:30
Assert로 자바스크립트 프로그램 분석의 정확도 높이기
Hongki Lee, KAIST [slide]
프로그래머를 위한 GPU
Donggyu Kim and Yongseok Kim, POSTECH [slide]
효과적인 CPU 성능분석 기술
Hanhwi Jang and Donggyu Kim, POSTECH [slide]
클라우드 스토리지 성능 분석
Dongju Chae and Jaewon Lee and Jaehyung An, POSTECH [slide]
OSEK/VDK기반 전장용 운영체제의 효율적인 검증을 위한 특성기반 코드 추출 및 테스트 시나리오 생성기
Minkyu Park, Kyungpook National University [slide]
신뢰할수 있는 Sparse Sparrow 검산기
Junwon Choi and Jihoon Kang, Seoul National University[slide]
부분적으로 문맥에 민감한 분석
Woonchan Lee, Seoul National University [slide]
ScanDal:안드로이드 악성 앱 정적분석기
Yongho Yoon, Seoul National University [slide]
꼭 필요한 변수 관계만 집중하는 프로그램 분석
Kihong Heo, Seoul National University [slide]
반도체 공정 제어 시스템에서 변경된 코드의 영향 분석
Dongok Kang, Seoul National University [slide]
금융공학에서의 병렬처리
Sungjoo Ha, Seoul National University[[slide]
효율성을 고려하여 버그 문서를 개발자들에게 자동으로 할당하는 시스템
Jinhan Kim, Seoul National University [slide]
Day 4 : Feburuary 2, 2013
Session1 : 9:00 - 10:30
ScanDal:안드로이드 악성 앱 정적분석기
Jinyung Kim, Seoul National University [slide]
동시 수행 프로그램 자동 검증기 설계
Seungchul Jung, Hanyang University [slide]
차세대 컴퓨터 시스템 개발
Jangwoo Kim, POSTHCH [slide]
Session2 : 11:00 - 11:30
하둡 실행 단계 겹치기
Dongwon Kim, POSTECH [slide]
폐회식 : 11:30 - 12:00
Workshop 폐회
Kwangkeun Yi, Seoul National University
This will be shown to users with no Flash or Javascript.