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

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 이수민, 손범준 함수형 프로그래밍과 함께 익히는 컴퓨터 과학 기초 이론 한남대 안기영 교수 연구실

프로그래밍언어연구회