|
  |
The 6th ROSAEC Center Workshop
| Speaker: | ROSAEC members |
|---|---|
| Period: | 2011-06-25 14:30 ~ 2011-06-28 11:30 |
| Place: | Paju Jijihyang, Gyeonggi-do, Korea |
Photos
new window
Program
Day 1 : June 25, 2011
Session1 : 14:30 - 16:00
Workshop 개회 및 센터 활동 보고
Kwangkeun Yi, Seoul National University [slide]
복잡계망에서의 정보 흐름 모델과 분석
Kyomin Jung, KAIST [slide]
경북대학교 데이터베이스 연구
Wookshin Han, Kyungpook National University [slide]
Dynamic Binary Translator
Youngin Kyun, Seoul National University [slide]
Session2 : 16:30 - 17:15
COQ과 객체 지향 언어 - 쉬운 타입 안전성 증명을 위한 COQ 표현법
Jieung Kim, KAIST [slide]
바심 프로그래밍 언어와 새로운 중학교 컴퓨터 교재 개발
Malware Protocol Reversing and Botnet Take-Down
Byunghun Kang, George Mason University [slide]
뇌폭풍 모임 : 20:00 - 23:00
CUK:Coq Users @ Korea
Leader : Jieung Kim, KAIST
결함이 있는 코드의 보편적인 특징은 무엇인가
Leader : Kihong Heo, Seoul National University
-
Day 2 : June 26, 2011
Session1 : 9:00 - 10:00
안전한 JavaScript프로그램 개발을 위해
Sukyoung Ryu, KAIST [slide]
Project Hugeti:재미로 하는 프로그램 테스팅
Youil Kim [slide] 
Milestone 최다 질문 발표상
Milestone 최다 질문 발표상
Session2 : 10:15 - 11:15
빠른 3X3행렬 곱셈법을 자동으로 찾아내기
Jin Kim, Seoul National University [slide] Milestone 발표상
Milestone 발표상
Dalvik 바이트코드 분석을 위한 핵심언어 디자인
Jin-Young Kim, Seoul National University [slide]
웹 어플리케이션의 접근 제어 취약점에 대한 자동 탐지 기법
Hogil Song, Hanyang University [slide]
Cop을 이용한 이분 그래프의 표현과 증명
Sungkyung Bae, KAIST [slide] Milestone 슬라이드 디자인상
Milestone 슬라이드 디자인상
Session3 : 11:30 - 12:00
PLaSSE Research in 2011
Kyung-Goo Doh, Hanyang University [slide]
Session4 : 13:30 - 14:30
정형기법 연구실 연구 진행 상황
Jin-Young Choi, Korea University [slide]
The Implicit Calculus
Wontae Choi and Wonchan Lee, Seoul National University [slide] 발표상
발표상
Session5 : 14:45 - 15:30
자바스크립트 프로그램에서 with의 사용에 대한 연구
Changhee Park, KAIST [slide]
Desugaring을 이용한 JavaScript모듈 시스템
Seonghun Kang, KAIST [slide]
안전한 JavaScript 부분언어에 관한 조사
Jaejun Choi, KAIST [slide]
Session6 : 17:40 - 18:20
정적 분석 경보 사이의 종속관계를 이용한 대표 경보 찾기
Woosuk Lee, Seoul National University [slide] 슬라이드 디자인상
슬라이드 디자인상
Inheritance and Subtyping
Hyunik Na, KAIST
Session7 : 17:00 - 18:00
SAT/SMT Solver Summer School 2011(1)
SAT/SMT Solver Summer School 2011(2)
뇌폭풍 모임 : 21:00 - 23:00
타입이론
Leader : Hyunik Na, KAIST
Test를 의도한 컴퓨터게임을 만들자
Leader : Byungjun Yoo, Seoul National University
-
Day 3 : June 8, 2011
Session1 : 9:00 - 10:00
안드로이드 앱의 개인정보 유출 여부 분석
Seung Jung Lee, Seoul National University [slide] 최다 질문 발표상
최다 질문 발표상
Model checking Trampoline Operating System
Yunja Choi, Kyungpook National University
Session2 : 10:15 - 10:45
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification
Cristian Andrei Gherghina, Seoul National University [slide] 우수 모국어 발표상
우수 모국어 발표상
Session3 : 11:00 - 12:00
Lagrangian Multiplier 방법을 이용한 제약 조건하에서의 서브모듈러 함수 최소화
Yongsub Lim, Seoul National University [slide]
코드클론표본 집합체 자동 생성기
Hyosub Lee, Hanyang University [slide] 발표상
발표상
다단계 언어에 옮겨 적용할만한 테스트 메트릭
Taeksu Kim, KAIST [slide]
Session4 : 13:30 - 14:30
복합값을 다루는 기호실행을 위한 SOS들
Jooyong Lee, Korea University [slide]
다중 쓰레드 프로그램의 경쟁상태오류 검출기법 분류
Shin Hong, KAISTy [slide]
Session5 : 14:45 - 15:15
Boolean BI를 위한 중첩구조를 이용한 귀추계산법
Jonghyun Park, POSTECH [slide]
Identifying Non-Essential Changes Using Semantic Code Clone Detection
Yungbum Jung, Seoul National University [slide] 슬라이드 디자인상
슬라이드 디자인상
CPS Transformation of Lips-Like Multi-Staged Languages and Applications
Ludovic Patey, Seoul National University [slide] 우수 모국어 발표상
우수 모국어 발표상
Session6 : 16:00 - 16:45
Adversarial 통신망에서 Max-Weight 프로토콜의 안정성
Syungsu Lim, KAIST [slide] 발표상
발표상
문자열 분석을 위한 요약파싱
Hyunha Kim, Hanyang University [slide] 발표상
발표상
Integrating Code Search into the Development Session
Moowoong Lee, POSTECH [slide]
Session6 : 17:00 - 17:45
OCAML 일종 모듈과 재귀 모듈 프로그래밍
Hyeonseung Im, POSTHCH [slide]
포스터 발표회 : 19:30 - 22:30
Sparse Analysis Framework
Hakju Oh and Kihong Heo and Yoonseok Ko, Seoul National University [slide]
The Implicit Calculus
Wontae Choi and Wonchan Lee, Seoul National University [slide]
Project Hugeti:Humans Generate Test Inputs
Byungjun Yu and Saransh and Ludovic, Seoul National University [slide]
Parsimonious Algorithm for Distributed Ranking on Complex Networks
Wooram Heo, KAIST [slide]
A Hybrid, Directed Test Suite Augmentation Technique
yunho Kim, KAIST [slide]
TRM:Supporting pattern matching queries for road-network trajectory
Jinwoo Park, POSTECH [slide]
Comparing two different map-reduce implementations:Hadoop and Plasma
Dongwon Kim, POSTECH [slide]
Cop Mechanizations @KAIST
Jieung Kim and Sungkyung Bae and Sukyoung Ryu, KAIST [slide]
정적 분석 경보 사이의 종속관계를 이용한 대표 경보 찾기
Woosuk Lee, Seoul National University [slide]
안드로이드 앱의 개인정보 유출 여부 분석
Seungjung Lee and Jinyoung Kim and Yonhho Yoon, Seoul National University [slide]
바심 프로그래밍 언어와 새로운 중학교 컴퓨터 교재 개발
Jaesung Jung, KAIST [slide] 포스터 인기상
포스터 인기상
컴포넌트 모델 정제 과정의 행위 일관성 검증을 위한 모델 변환기
Sangkwon Yoon and Mingue Park, Kyungpook National University [slide]
DOM Based Cross Site Scripting 취약점 분석
Sejin Kim, Hanyang University [slide]
Day 4 : June 28, 2011
Session1 : 9:00 - 10:00
예제로 보는 재귀 모듈 프로그래밍과 이를 위한 구문 기반 타입 시스템
Hyeonseung Im, POSTHCH [slide]
CosTriage:A Cost-Aware Triage Algorithm for Bug Reporting Systems
Jinwoo Park, POSTHCH [slide]
폐회식 : 10:30 - 11:30
워크샵 발표 프로그램 시상식
Sungwoo Park, POSTHCH [slide]
Workshop 폐회
Kwangkeun Yi, Seoul National University
This will be shown to users with no Flash or Javascript.