|
  |
The 8th ROSAEC Center Workshop
| Speaker: | ROSAEC members |
|---|---|
| Period: | 2012-07-25 15:00 ~ 2012-07-28 11:30 |
| Place: | Dongwon Leaders Academy, Gyeonggi-do, KOREA |
Photos
new window
Program
Day 1 : July 25, 2012
Session1 : 15:00 - 16:20
Workshop 개회 및 센터 활동 보고
Kwangkeun Yi, Seoul National University [slide]
아날로그 수학 VS 디지털 컴퓨팅 (1)
DongPyo Chi, Seoul National University [slide]
Session2 : 16:30 - 17:30
아날로그 수학 VS 디지털 컴퓨팅 (2)
Dong-Pyo Chi, Seoul National University [slide]
Session3 : 17:40 - 18:10
경북대학교 데이터베이스 연구
Jinsoo Lee, Kyungpook National University [slide]
Session4 : 20:00 - 21:00
Boolean BI 논리를 위한 자동 정리 증명기 설계 및 구현
Jonghyun Park, POSTECH [slide]
JustAdd 소개
Hyunik Na, KAIST [slide]
Day 2 : July 26, 2012
Session1 : 9:00 - 10:00
태양광 장기체공 무인항공기의 비행제어 소프트웨어 소개
Sanghyuk Park, Korea Aerospace University [slide]
시스템 무결성을 보장하는 하드웨어기반 상시 보안감시자를 목표로
Yunheung Paek, Seoul National University [slide]
Session2 : 10:15 - 11:05
수십억 트랜지스터의 시대 : 문제는 하드웨어에, 해법은 소프트웨어에
Jaewook Lee, Sungkyunkwan University
Session3 : 11:15 - 12:00
요약파싱기법 + 오염도 분석으로 SQL 삽입 취약점 탐지하기
Hyunha Kim, Hanyang University [slide]
타입을 이용한 정교한 타입 시스템 만들기
Jeongbong Seo, POSTHCH[slide]
한글 오토마타의 변형과 생성
Sanghun Lee, KAIST [slide]
실행코드에서 악성 코드의 행동을 의미 기반의 정적 분석으로 검출하기
Seungjung Lee, Seoul National University [slide]
프로그램의 정적 분석을 디지털 회로로 표현하기
Yongho Yoon, Seoul National University [slide]
무인 비행체 제어 프로그램 검증
Kihong Heo, Seoul National University [slide]
빠른 커널기반의 차원 감소 및 군집화
Byungkon Kang, KAIST [slide]
클론검색을 이용한 코드자동 태깅
Moowoong Lee, POSTECH [slide]
동적으로 생성되는 SQR 문 오류 검사 및 데이터베이스 스키마 재구성
Sohee Jo, Hanyang University [slide]
정적분석을 통한 클라우드 환경에서의 가상 머신 병할 방법
Naeyoung Song, Seoul National University [slide]
Session4 : 13:00 - 13:30
대형 C 프로그램을 통째로 고속 분석하는 방법
Hakjoo Oh, Seoul National University [slide]
코드 커버리지를 이용한 멀티쓰레드 프로그램 테스팅 향상
Shin Hong, KAIST
Session5 : 14:15 - 15:15
겹쳐진 자료구조에 대한 모양 분석
Oukseh Lee, Hanyang University [slide]
맵리듀스 튜토리얼
Dongwon Kim, POSTECH [slide]
Session6 : 15:30 - 16:30
Coq을 이용한 역수학
Gyesik Lee, Hankyung Univers [slide]
다중언어 프로그래밍을 쉽게 만들기
Byeongchul Lee, GIST [slide]
Session7 : 16:45 - 17:45
OOP의 어려운 문제를 Coq으로 증명: 여러 상속과 여러 호출을 모듈별로 안전하게 검사하기
Sukyoung Ryu, KAIST [slide]
시스템 개발 방법론 @ 포항공대
Jangwoo Kim, POSTECH [slide]
Day 3 : July 27, 2012
Session1 : 9:00 - 10:00
여러단계를 병렬화하여 하둡 성능 향상 시키기
Dongwon Kim, POSTHCH [slide]
ScanDal : 안드로이드 악성 앱 분석기로 확장하기
Jinyoung Kim, Seoul National University [slide]
Session2 : 10:10 - 11:20
자바스크립트 분석 틀 개발에 대하여
Sooncheol Won, KAIST[slide]
휴머노이드 로봇의 동작 프로그래밍을 위한 환경 개발
Jaeyoung Han, Seoul National University [slide]
웹 애플리케이션 취약성의 동적 분석
In Kim, Seoul National University [slide]
통계적 모델 체킹
Youngjoo Kim, KAIST [slide]
자바스트립 트로의 엄밀한 접근 방법
Sungkyung Bae, KAIST [slide]
분석기 검증
Sungkeun Cho, Seoul National University [slide]
비밀 프로그램 실행
Deajun Park, Seoul National University [slide]
정적 분석 시간 예측
Byeongjun Yu, Seoul National University [slide]
타입에 이름 붙이기와 타입의 속내용 감추기를 지원하는 재귀타입 시스템
Hyeonseung Im, POSTHCH [slide]
Session3 : 11:30 - 12:00
ThisJava: 재귀타입을 사용할 수 있도록 확장된 자바(Java) 언어
Hyunik Na, KAIST [slide]
Session3 : 13:00 - 15:00
계산 복잡성 개념과 Cook-Levin 정리
Kyomin Jung, KAIST [slide]
산업체 개발 환경에서 유용한 테스팅 자동화 기법
Moonzoo Kim, KAIST [slide]
컴퓨터 시스템의 발전과 새로운 이슈들
Heonyoung Yeom, Seoul National University [slide]
포스터 발표회 : 15:00 - 16:00
휴먼 노이드 로봇와 동작 프로그래밍을 위한 환경개발
Jaeyoung Han, Seoul National University [slide]
웹 애플리케이션 취약성의 동적 분석
In Kim, Hanyang University [slide]
분리논란을 위한 증명이론
Jonghyun Park, POSTECH [slide]
타입을 이용한 정교한 타입 시스템 만들기
Jeongbong Seo, POSTHCH[slide]
타입에 이름 붙이기와 타입의 속내용 감추기를 지원하는 재귀타입 시스템
Hyeonseung Im, POSTHCH [slide]
GPU 상의 유전 알고리즘
Sungjoo Ha, Seoul National University[slide]
동시성 커버리지 기법
Jaemin An, KAIST [slide]
자바스크립트 분석 틀 개발에 대하여
Hongki Lee and Sooncheol Won and Junho Jin and Junhee Cho, KAIST [slide]
자바스크립트로의 엄밀한 접근 방법
Sungkyung Bae, KAIST [slide]
정수 범위 도메인의 안전한 달빅(Dalvik) 바이트 코드 정적 분석기
Jisoo Jeong, Seoul National University [slide]
대형 C 프로그램을 통째로 고속 분석하는 방법
Hakjoo Oh and Kihong Heo and Wonchan Lee and Woosuk Lee, Seoul National University [slide]
ScanDal : 안드로이드 악성 앱 분석기로 확장하기
Jinyoung Kim and Yongho Yoon, Seoul National University [slide]
실행코드에서 악성 코드의 행동을 의미 기반의 정적 분석으로 검출하기
Seungjung Lee, Seoul National University [slide]
두 코드의 의미차이를 보여주는 입력예제 안전하게 찾기-PL/SQL 프로그램을 대상으로
Dongok Kang and Youngseok Lee and Woosuk Lee, Seoul National University [slide]
프로그램의 정적 분석을 디지털 회로로 표현하기
Yongho Yoon, Seoul National University [slide]
무인비행체 제어 프로그램 검증
Kihong Heo and Youngseok Lee and dongok Kang, Seoul National University [slide]
분석기 검증
Sungkeun Cho and Youngseok Lee and Jeehoon Kang, Seoul National University [slide]
비밀 프로그램 실행
Deajun Park, Seoul National University [slide]
정적 분석 시간 예측
Byeongjun Yu, Seoul National University [slide]
비통계적 학습 알고리즘으로 종료 분석하기
Wonchan Lee, Seoul National University [slide]
성능기여도 이론 기반 CPU 성능분석
Dongju Chae and Hanhwi Jang, POSTECH [slide]
다중 CPU 프로그래밍
Youngsok Kim and Jaewon Lee, POSTECH [slide]
순위화와 다양화를 고려한 개발 문서 용례
Jinwoo Park, POSTECH [slide]
Day 4 : July 28, 2012
Session1 : 9:00 - 10:00
어휘 문자열간 유도 관계를 이용한 문맥자유 문법 부합 분석
Sewon Kim, Hanyang University[slide]
비슷한 취향의 사용자를 찾아 활용하는 추천 시스템
Minhwan Kim, KAIST [slide]
Session2 : 10:30 - 11:00
스타크래프트 wDetector 핵감지기
Sooncheol Won, KAIST [slide]
폐회식 : 11:00 - 11:30
워크샵 발표 프로그램 시상식
Sungwoo Park, POSTHCH
Workshop 폐회
Kwangkeun Yi, Seoul National University
This will be shown to users with no Flash or Javascript.