번개 발표 & 포스터 발표 프로그램

No.	이름	포스터 발표 제목	소속	참고
1	김사론	Modeling and Analysis of Hybrid Synchronous AADL	포항공과대학 SV연구실 (Software Verification)
2	김영철	바이너리 유사도와 Support Vector Machine을 이용한 패커 식별 방법	충남대학교 프로그래밍언어 연구실
3	김용현	정수-포인터 변환을 지원하는 CompCert	서울대학교 소프트웨어 원리 연구실
4	김윤승	실시간 분산 시스템에 가상적 동기화 환경을 제공하는 미들웨어 검증하기	서울대학교 소프트웨어 원리 연구실
5	김진영	사람이 고도화시킨 정적분석기에 데이터 기반 기법 덧붙이기	서울대학교 프로그래밍 연구실
6	박상욱	하이퍼바이저 검증의 첫 단추로 Rust로 포팅하기	KAIST PLRG
7	소순범	VeriSmart: 스마트 컨트랙트 안전성 검증기	고려대학교 소프트웨어 분석 연구실
8	송용주	CompCertM: 여러 언어로 쓰여진 프로그램을 나눠서 컴파일하고 나눠서 검증하기	서울대학교 소프트웨어 원리 연구실
9	송준화	π-calculus 쌍방시뮬레이션 검사 도구	한남대학교 프로그래밍언어연구그룹
10	위대한, 최연욱	안드로이드 인스턴트 앱 자동 생성	한양대학교 ERICA 프로그래밍 시스템 연구실
11	이동권	프로그램 합성 기술을 이용한 동형암호 논리회로 최적화	서울대학교 프로그래밍 연구실
12	이준희	정적 분석기가 잡아낸 메모리 관리 오류를 자동으로 고치기	고려대학교 소프트웨어분석연구실
13	이지아	stlMC : Model checker for Cyber Physical System	포항공과대학교 소프트웨어 검증 연구실
14	이형창, 조정민	예제로부터 자바스크립트 프로그램 실시간 합성	한양대학교 ERICA
15	전민석	Call-site-sensitivity로 object-sensitivity보다 정확하게 객체지향 프로그램 분석하기	고려대학교 소프트웨어 분석 연구실
16	정재황	A Marriage of Pointer- and Epoch- Based Reclamation	KAIST CP
17	홍성문	AST Diff를 기반으로 한 프로그램 흐름 패턴의 점진적 분석	한양대학교 프로그래밍언어연구실
18	홍재민	Symmetric Multiple Dispatch for Path-Dependent Types	KAIST PLRG

---

프로그래밍언어연구회