번개 발표 1

순서	이름	발표 제목	소속
1	이금진	LSAT : Logic-based Security Analysis Tool for Automotive Security Policies	성균관대학교 SoftSec
2	엄하은	R2I: A Relative Readability Metric for Decompiled Code	성균관대학교 SoftSec
3	이재혁	기호 실행도 좋은 씨앗 심은 데 좋은 성능 난다	성균관대학교 SAL
4	김민종	기호 실행, 설정만 잘해도 쌩쌩!	성균관대학교 SAL
5	이재호	잘못된 리액트 훅의 사용을 미리 찾아보자!	서울대학교 ROPAS
6	김도형	얻어타기 분석: 다른 언어 분석기를 잘 활용하기	서울대학교 ROPAS
7	김훈	SQL 구문 합성	서울대학교 ROPAS
8	조민규	보조 함수 명세 합성을 통한 프로그래밍 과제 검증	고려대학교 소프트웨어분석 연구실
9	황도연	효율적인 SMT Solver testing을 위한 타임아웃 예측기	고려대학교 소프트웨어분석 연구실
10	이중훈	수치최적화 기반 양자 회로 합성 가속화	고려대학교 소프트웨어분석 연구실
11	류연희	안전하고 효율적인 코드 생성 모델	KAIST 프로그래밍 시스템 연구실
12	박건	다중 지향성 퍼징으로 여러 군데의 오류 한방에 검사하기	KAIST 프로그래밍 시스템 연구실
13	장수진	자바 예외 검출을 위한 목표 지향성 단위 테스트 케이스 합성	KAIST 프로그래밍 시스템 연구실

번개 발표 2

순서	이름	발표 제목	소속
1	한승헌	Symbolic Canvassing을 이용한 패치 검증	울산과학기술원 LOFT
2	김영재	효율적으로 패치 사냥하기	울산과학기술원 LOFT
3	이도윤	싹수 분석 기반 문자열 프로그램 합성 최적화	서울대학교 ROPAS
4	김도형	그림자 의미구조로 정리해보는 따로분석의 이론적 기틀	서울대학교 ROPAS
5	김준겸	효율적인 정적 분석을 위한 영속 자료구조	고려대학교 프로그래밍 언어 연구실
6	이석호	SAT Solver 변수 결정 휴리스틱의 선택 전략	고려대학교 소프트웨어분석 연구실
7	신해소진	Error-triggering Code Generation for Rust Internal Compiler Errors	고려대학교 소프트웨어분석 연구실
8	이영준	난독화 전/후 코드 동등성 검증을 위한 Alive2 활용 사례	NSHC LLVM 연구소
9	이우진	조립기로 잼미니 인공지능 가속기를 표현하기	KAIST 동시성 및 병렬성 연구실
10	백도현	Wasm-R3: 기록-감소-재생을 이용한 현실적이고 독립적인 웹어셈블리 벤치마크 생성	KAIST PLRG
11	홍재민	태그를 붙이냐 마느냐 그것이 문제로다. C의 유니언을 러스트의 태그 붙은 유니언으로	KAIST PLRG
12	박선호	약한 메모리에서 동시성 탐색 알고리즘 검증하기	KAIST 동시성 및 병렬성 연구실

---

프로그래밍언어연구회