|
  |
Probabilistic Programming Workshop
| Speaker: | ROPAS members, 허충길(Chung-Kil Hur), 김지훈(Jihun Kim) |
|---|---|
| Period: | 2013-10-05 13:30 ~ 2013-10-06 21:00 |
| Place: | Shineville Luxury Resort, Jeju-do, KOREA |
Photos
new window
Program
Day 1 : October 5, 2013
Session1 : 13:30 - 14:30
C 프로그램의 대규모 SCC를 확률적인 방법으로 추론하기
Jinyoung Huh, Seoul National University
선택적 관계 분석에서 변수들을 패킹하는 전략
Kihong Heo, Seoul National University
Session2 : 14:50 - 15:50
선택적 흐름 민감 분석
Hakjoo Oh, Seoul National University
ScanDal : 카카오톡 분석을 위한 전략
Yongho Yoon, Seoul National University
Day 2 : October 6, 2013
Session1 : 9:30 - 10:30
자바스크립트 분석을 통해 개인정보 유출 찾아내기
Dongok Kang, Seoul National University
스패로우 검증에서의 기술적인 이슈들
Joonwon Choi, Seoul National University
Session2 : 10:50 - 11:50
확률적 프로그래밍의 기본적인 이슈들
Yoonseung Kim, Seoul National University
스패로우와 검증기의 분석 디자인 선택
Sungkeun Cho, Seoul National University
Session3 : 13:30 - 18:00
Probabilistic Programming And Bayesian Inference
Chung-Kil Hur, Seoul National University [slide]
Session4 : 19:00 - 21:00
Probability theory and machine learning in science
Jihun Kim, Seoul National University [slide]
참고(2013 SIGPL 여름학교 강의)
Probabilistic Reasoning
Kee-Eung Kim, KAIST [slide]
This will be shown to users with no Flash or Javascript.