ROSAEC center Seoul National University
NRF
Speaker:ROSAEC members
Period:2010-08-25 15:00 ~ 2010-08-28 13:00
Place:Seorak Daemyung Resort, Gangwondo, Korea

Photos

new window

Program

Day 1 : August 25, 2010

Session1 : 15:00 - 18:15

Workshop 개회 및 센터 활동 보고
Kwangkeun Yi, Seoul National University [slide]
웹 응용프로그램 보안 취약성 분석기 구현
Joonseon Ahn, Korea Aerospace University [slide]
Malware Detection based on Dependency Graph using Hybrid Genetic Algorithm
Jinhyun Kim, Seoul National University [slide]
허위 경보 제로 정적 오류 분석기 사례1 : 무인비행체 제어 소프트웨어에 특화시키기
Suwon Jang, Seoul National University [slide]
Random Sampling Algorithms with Applications
Kyomin Jung, KAIST [slide]


Day 2 : August 26, 2010

Session1 : 9:00 - 11:10

PLRG @ KAIST
Sukyoung Ryu, KAIST [slide]
Type Classes as Objects and Implicits
Bruno C.d.S.Oliveira, Seoul National University [slide]
A Theory of Non-associative Classical BI
Jonghyun Park, POSTECH [slide]
거짓 경보의 소문을 안전하게 퍼뜨리는 방법
Youil Kim, Seoul National University [slide]
Binary Methods Support using Self Type Idiom in Fortress
Hyunik Na, KAIST [slide]

Session2 : 11:20 - 12:00

다단계 언어로 작성된 프로그램에 Concolic Testing 적용하기
Taeksu Kim, Seoul National University [slide]
QNX RTOS기반 PC/104 비행제어컴퓨터 개발 및 기존프로그램 오류검출
Mingu Kim, Seoul National University [slide]
Intelligent Code Example Search Engine : Automatic Code Example Recommendation
Jinhan Kim, POSTECH [slide]

Session3 : 13:30 - 15:30

소프트웨어 안전성 분석
Yunja Choi, Kyungpook National University [slide]
Dynamically Scalable Concolic Testing through the SCORE Framework
Moonzoo Kim, KAIST [slide]
데이터타입 제너릭 프로그래밍기법을 Coq 증명에 활용한 라이브러리
Gyesik Lee and Bruno C.d.S.Oliveira, Seoul National University [slide][slide]

Session4 : 16:00 - 17:30

Decentralized Algorithm for Ranking Learning
Boyoung Kim, KAIST [slide]
FortressCheck : Automatic Testing for Implicit Parallelism and Generic Properties
Seonghoon Kang, KAIST [slide]
Adding Pattern Matching to Existing Object-Oriented Languages
Changhee Park, KAIST [slide]
Concolic Testing을 사용한 Smartphone SW 검증 : Busybox 사례 연구
Yunho Kim, KAIST [slide]
깃(Git)으로 즐기는 생활 속 유연한 버전 관리
Jaeho Shin, Seoul National University [slide]

Session5 : 19:00 - 21:00

Implementing String Analysis in Soot Framework
Jaejun Choi, KAIST [slide]
Coq Mechanization of Basic Core Fortress for Type Soundness
Jieung Kim, KAIST [slide]
Compiler triggered C Level Error Check
Jimoon Jung, Seoul National University [slide]
GMeta : 데이터타입 제너릭 프로그래밍 기법을 Coq 증명에 활용한 라이브러리
Sungkeun Cho, Seoul National University [slide]
허위경보 제로 정적오류 분석기 사례1 : 무인비행체 제어 소프트웨어에 특화시키기
Suwon Jang, Seoul National University [slide]
필요한 부위만 가지고 필요한 시점에만 분석하기
Yoonseok Ko and Hakjoo Oh, Seoul National University [slide]
Energy Minimization under Constraints on Label Counts
Yongsub Lim, KAIST [slide]
소스코드 보안취약점 자동 탐지를 위한 취약점 패턴 명세 언어
Hyunha Kim, Hanyang University [slide]
Cross-Site Scripting(XSS) 취약점 탐지를 위한 분석
Kihwan Choi, Hanyang University [slide]
Introduction to Cross-Site Request Forgery and Defense Method
Seongjin Kim, Hanyang University [slide]
A Syntactic Type System for Recursive Modules
Hyeonseung Im, POSTECH [slide]
Type Inference for Linear Lambda Calculus for Hardware Description
Jeongpyo Lim, POSTECH [slide]


Day 3 : August 27, 2010

Session1 : 9:00 - 9:50

Program Analysis in the Field
Kyujin Cho, Fasoo.com
CUDA Programming Assist Tool Development
Seungyong Lee, POSTECH [slide]
PLASSE Research Lab 연구진행 상황
Kyung-Goo Doh, Hanyang University

Session2 : 10:10 - 12:15

보다 친숙한 Coq 증명을 위한 방안 연구
Gyesik Lee, Seoul National University [slide]
Complex Network Modeling and Analysis
Kyomin Jung, KAIST [slide]
태초부터 자동으로 : 반복문 불변식을 자동 유추할 때 사용할 부품식들의 자동 유추
Wonchan Lee, Seoul National University [slide]
실시간 플랫폼을 위한 정형모델
Jinhyun Kim, Korea University [slide]
Hidden Markov Model Principles and Applications
Namju Kwak, KAIST [slide]

Special Talk : 12:15 - 12:30

공부의 언어
Kwangkeun Yi, Seoul National University [slide]


Day 4 : August 28, 2010

Session1 : 9:00 - 11:00

디지털 컴퓨터의 소수점 표현 방법
Kihong Heo, Seoul National University [slide]
토픽 모델을 사용한 트위터 데이터 분석
Wooram Heo, KAIST [slide]
네트워크 상에서 정보가 퍼져나갈 때 생기는 Threshold 현상
Seulki Lee, KAIST [slide]
재빠르고 실용적인 C 프로그램 메모리 분석기 개발
Seungchul Jung, Hanyang University [slide]
비슷한 소스 코드 빨리 찾기
Sanghoon Lee, POSTECH [slide]

Session2 : 11:20 - 12:00

파일시스템 기반 C 분석기 ''Yoyak'' 메모리 한계를 뛰어넘자
Jaeho Shin, Seoul National University [slide]
CCR : Code Clone Ransacker
Hyosub Lee, Hanyang University [slide]
경로민감분석에서 알람군집구하기
Woosuk Lee, Seoul National University [slide]
On Supporting Effective Web Extraction
Jinsoo Lee, Kyungpook National University [slide]




© Copyright 2008-2010 ROSAEC Center, Seoul National University