|
  |
The 7th ROSAEC Center Workshop
| Speaker: | ROSAEC members |
|---|---|
| Period: | 2012-01-16 15:00 ~ 2012-01-19 12:00 |
| Place: | Lo Ka Chung University Center, HKUST, Kowloon, Hongkong |
Photos
new window
Program
Day 1 : January 16, 2012
Session1 : 15:00 - 16:30
Workshop 개회 및 센터 활동 보고
Kwangkeun Yi, Seoul National University [slide]
양방향 상향식 모양 분석기
Oukseh Lee, Hanyang University [slide]
Automated Analysis of Industrial Embedded Software
Moonzoo Kim, KAIST [slide]
Session2 : 16:30 - 17:15
프로그램 분석:학교에서 현장으로, 그리고 다시 학교로
Deajun Park, Seoul National University [slide]
Cost-Aware Triage Ranking Algorithms for Bug Reporting Systems
Jinwoo Park, POSTECH [slide]
Influence maximization in complex network
Kyomin Jung, KAIST [slide]
Day 2 : January 17, 2012
Session1 : 9:00 - 10:30
Theorem Prover Approach to Semistructured Data Design
Scott Uk-Jin Lee, Hanyang University [slide]
Adding Modules and Functions to FFMM
Jieung Kim, KAIST [slide]
Formal Specification of a JavaScript Module System
Seonghoon Kang, KAIST [slide]
Session2 : 11:00 - 12:30
접근 경로 분석
Dongsoo Ha, Hanyang University [slide]
ACSR을 이용한 계층적 실시간 시스템 분석
Daeyon Hwang, Korea University [slide]
Automatic Generation of Code-clone Reference Corpus
Hyosub Lee, Hanyang University [slide]
Concolic 테스팅 기법을 구현한 KLEE 테스팅 도구의 사례 연구
Yongjoo Kim, KAIST [slide]
x86 실행파일에서 악성코드의 행동을 정적으로 찾아내기
Seungjung Lee, Seoul National University [slide]
다단계 언어의 단계 풀기 변환(Unstaging translation of language-orthodox multi-staged languages)
Joonwon Choi, Jeehoon Kang, Seoul National University [slide]
Day 3 : January 18, 2012
Session1 : 9:00 - 10:00
Coverage Guided Random Testing for Concurrent Program
Shin Hong, KAIST
Sound non-statistical clusteing of static analysis alarms
Woosuk Lee, Seoul National University [slide]
Session2 : 10:30 - 11:30
A theorem prover for Boolean BI
Jonghyun Park, Jeongbong Seo, KAIST [slide]
Gmeta의 평가와 보다 쉬운 정형증명에 대한 연구
Gyesik Lee, Hankyung University [slide]
Concolic Testing to Real-Word Binary Programs
Duc Bui Hoang, Hanyang University [slide]
의미 분석에 기반한 겉변화 코드 검출
Kihong Heo, Seoul National University [slide]
Analysis of Informationa cascades in arbitrary networks
Seulki Lee, KAIST [slide]
Session3 : 13:30 - 14:30
Tester-Centric Automated Testing: Bringing Humans Into the Loop
Mat Staats, KAIST [slide]
ScanDal:안드로이드 앱의 개인정보 누출을 잡아내는 정적분석기
Jinyung Kim, Yongho Yoon, Seoul National University [slide]
Session4 : 15:00 - 15:30
100만라인 프로그램의 전체 분석
Hakjoo Oh, Seoul National University [slide]
포스터 발표회 : 19:30 - 22:30
효율적인 검증을 위한 컴포넌트 모델의 추상화와 가시화 기법
Minkyu Park, Kyungpook National University [slide]
성능버그 무결점 CPU 개발
Hanul Roh, Dongju Chae, POSTECH [slide]
성능버그 무결점 GPU 컴퓨팅
Youngsuk Kim, Hanhwi Kim [slide]
네트워크 기반 시스템 명세 및 검증을 위한 Z 프레임워크
Jehoon Shin, Korea University [slide]
빠른 3x3 행렬 곱셈 방법
Jin Kim, Seoul National University [slide]
Scalable kernel k-means clustering via centroioid approximation
Byungkon Kang, KAIST [slide]
100만라인 프로그램의 전체 분석
Hakjoo Oh, Seoul National University [slide]
연구를 시작하며, 하이퍼바이저 Xen의 검증
Sungkeun Cho, Seoul National University [slide]
학습 알고리즘을 사용하여 반복문 종료 분석하기
Woonchan Lee, Seoul National University [slide]
ScanDal:안드로이드 앱의 개인정보 누출을 잡아내기 정적분석기
Jinyoung Kim and Yonhho Yoon, Seoul National University [slide]
다단계 언어의 단계 풀기 변환(Unstaging translation of language-orthodox multi-staged languages)
Joonwon Choi and Jeehoon Kang, Seoul National University [slide]
x86 실행파일에서 악성코드의 행동을 정적으로 찾아내기
Seungjung Lee, Seoul National University [slide]
안드로이드 앱의 전력소비량 상대적 비교를 위한 정적 분석
Youngseok Lee, Seoul National University [slide]
의미분석에 기반한 겉변화 코드 검출
Kihong Heo, Seoul National University [slide]
기호실행을 이용하여 프로그램 보안 취약점 찾기
Wonhyun Park, Seoul National University [slide]
달빅 바이트 코드의 워터마킹 분석
Byeongjun Yu, Seoul National University [slide]
달빅 바이트 코드의 정수 범위 도메인 분석
Jisoo Jeong, Seoul National University [slide]
An Empirical Study on the Rewritability of the with Statement in JavaScript
Changhee Park and Hongki Lee, KAIST [slide]
Instance Clone Search on Eclipse (system demo)
Jinwoo Park, POSTECH [slide]
Day 4 : January 19, 2012
Session1 : 9:00 - 10:30
성능버그 무결점 시스템 개발 및 운영
Jangwoo Kim, POSTHCH [slide]
요약파싱기법으로 동적으로 생성되는 HTML의 유효성 검사하기
Hyunha Kim, Hanyang University [slide]
Measuring the integrity of operating system with hardware support
Hyngon Moon, Seoul National University [slide]
Tipping point of information spreading in random clustered network with arbitrary
Syungsu Im, KAIST [slide]
Recursive Types with Type Abbreviations
Hyeonseung Im, POSTHCH [slide]
폐회식 : 11:00 - 12:00
워크샵 발표 프로그램 시상식
Sungwoo Park, POSTHCH [slide]
Workshop 폐회
Kwangkeun Yi, Seoul National University
This will be shown to users with no Flash or Javascript.