번개 발표 & 포스터 발표 프로그램
| No. | 이름 | 포스터 발표 제목 | 소속 | 참고 |
| 1 | 이홍기 | Survey on parametric analysis | KAIST 류석영 교수 연구실 | 2 | 박지혁 | Partial Function Summary using Symbolic Heap Abstraction | KAIST 류석영 교수 연구실 |
| 3 | 홍재민 | Path Dependent Types with Path-Equality | KAIST 류석영 교수 연구실 | |
| 4 | 이성환 | Promising-ARM/RISC-V: a simpler and faster operational concurrency model for ARMv8 and RISC-V | 서울대 허충길 교수 연구실 | |
| 5 | 이준영 | Reconciling High-level Optimizations and Low-level Code in LLVM | 서울대 허충길 교수 연구실 | |
| 6 | 김진영 | 기계학습을 이용해 오류가능성이 높은 경로를 선별해 상용 정적분석기의 성능을 높이는 방법 | 서울대 이광근 교수 연구실 | |
| 7 | 이동권 | 글로벌 정적분석 결과를 활용하는 공격적인 LLVM 최적화를 검산할 수 있도록 CreLLVM 시스템을 확장하기 | 서울대 이광근 교수 연구실 | |
| 8 | 양준모 | 중복코드 쌍을 자동으로 안전하게 고치는 방법 | 서울대 이광근 교수 연구실 | |
| 9 | 배요한 | Footprint : 추가적인 트레이스 정보를 이용하여 분석기 코드 오류를 잘 찾을 수 있도록 도와주는 도구 | 서울대 이광근 교수 연구실 | |
| 10 | 이준희, 홍성준 | MemFix: 정적 분석을 이용하여 메모리 해제 오류 자동으로 고치기 | 고려대 오학주 교수 연구실 | |
| 11 | 전민석, 정세훈 | Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling | 고려대 오학주 교수 연구실 | |
| 12 | 이준호, 송도원, 소순범 | Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments | 고려대 오학주 교수 연구실 | |
| 13 | 소순범, 이명호 | 스마트 컨트랙트 정수 오버플로우 취약점을 안전하고 정확하게 검증하기 | 고려대 오학주 교수 연구실 | |
| 14 | 차수영 | Data-Driven Concolic Testing | 고려대 오학주 교수 연구실 | |
| 15 | 이수연 | 스마트 계약의 함수 호출 안전성향상 | 충남대 조은선 교수 연구실 | |
| 16 | 이수민, 손범준 | 함수형 프로그래밍과 함께 익히는 컴퓨터 과학 기초 이론 | 한남대 안기영 교수 연구실 |
프로그래밍언어연구회