| No. | 이름 | 포스터 발표 제목 | 소속 | 참고 |
| 1 | 이준영 | Taming Undefined Behavior in LLVM | 서울대 허충길 교수 연구실 | 2 | 송용주 | CRELLVM: LLVM 번역기에 안전성 더하기 | 서울대 허충길 교수 연구실 |
| 3 | 이동권*, 김진영 | 버퍼접근 지점에서 버퍼크기 식을 정적으로 알아내기 | 서울대 이광근 교수 연구실 | |
| 4 | 조상우*, 조성근, 김덕은 | 자동 숙제 피드백 생성 | 서울대 이광근 교수 연구실 | |
| 5 | 조성근 | ZooBerry: 분석기/검산기 자동 생성 시스템 | 서울대 이광근 교수 연구실 | 포스터 발표만 진행 |
| 6 | 목성균 | 보다 정교한 크래시 위험도 분류를 위한 정적 분석 | 충남대 조은선 교수 연구실 | |
| 7 | 차수영 | 콘콜릭 테스팅의 탐색전략을 자동으로 만들어내기 | 고려대 오학주 교수 연구실 | |
| 8 | 채권수 | 데이터 기반 프로그램 분석을 위한 피쳐 자동 생성 | 고려대 오학주 교수 연구실 | |
| 9 | 이준희,홍성준 | 메모리 관리 오류 자동으로 패치하기 | 고려대 오학주 교수 연구실 | |
| 10 | 정세훈,전민석 | 데이터 기반 컨텍스트 구분 분석을 위한 학습 알고리즘 | 고려대 오학주 교수 연구실 | |
| 11 | 송도원,이준호 | 함수형 프로그램 자동으로 수정하기 | 고려대 오학주 교수 연구실 | |
| 12 | 소순범 | 예제로부터 패턴 프로그램을 합성하는 방법 | 고려대 오학주 교수 연구실 | |
| 13 | 배성경 | 자바스크립트 웹 어플리케이션의 점진적 분석을 향하여 | KAIST 류석영 교수 연구실 | |
| 14 | 이홍기 | 자바스크립트 정적분석이 부정확해지는 원인 자동탐지 기술 | KAIST 류석영 교수 연구실 | |
| 15 | 류연희 | 반응형 웹앱에서 이벤트 객체의 레이아웃 오류 자동 탐지 | KAIST 류석영 교수 연구실 | |
| 16 | 고윤석 | jQuery 프로그램의 정적 분석을 위한 loop specialization | KAIST 류석영 교수 연구실 |