이 리포지토리는 쇼앤텔에서 발표할 때 사용한 슬라이드를 모아놓은 곳입니다.
파일 이름 양식은 년도.월.일.발표자 입니다.
- 2019년 4월 19일 김진영. Achieving cost-efficiency of fine-tuned path-sensitive static analyzers through data-driven path selection
- 2019년 4월 19일 이준영. 포인터<->정수간의 변환을 안전하게 최적화하기
- 2019년 4월 26일 고현수. 이진 인공 신경망 검증하기
- 2019년 4월 26일 김동주. CompCert의 메모리 관계