Programs & Data (10th Workshop)

The first day (2026.02.02.(Mon))

Opening Address

Programs

시간	제목	구분	발표자	소속
13:10 ~14:10	코드는 도덕적 진리를 구현하는가?	초청발표	교수 이충형	POSTECH
14:10 ~14:30	휴식	-	-	-
-	Session: 테스팅 & 퍼징 1 (70분, 좌장: 류석영)	-	-	-
14:30 ~15:00	Failing with Purpose: Coverage-Guided Negative Test Generation from a Mechanized P4 Type System []	연구발표	이재현	KAIST
15:00 ~15:20	Clotho: LLM의 효율적인 테스팅을 위한, 입력의 '생성 전' 적합도 평가 []	연구발표	윤주연	KAIST
15:20 ~15:40	LLM과 실행 정보 활용하여 가이드라인 위반 테스트 생성하기 []	연구발표	이아청	KAIST
15:40 ~15:55	휴식	-	-	-
-	Session: 테스팅 & 퍼징 2 (65분, 좌장: 홍신)	-	-	-
15:55 ~16:15	퍼징 후 디버깅을 위한 통과-실패 테스트 입력거리 최소화	연구발표	교수 홍신	충북대
16:15 ~16:20	코드 의미 추론을 활용한 장거리 목표 지향 Greybox Fuzzing 기술	연구발표	한나린	충북대
16:20 ~16:25	자율비행 드론의 오류를 효과적으로 탐지하기 []	연구발표	김민수	고려대
16:25 ~16:30	실용적인 Rust 컴파일러 ICE 버그 탐색	연구발표	변지석	고려대
16:30 ~16:35	제안된 스켈레톤을 만들어 대체 Python 구현체 표준 라이브러리에서 기능 오류 찾기 []	연구발표	임정섭	고려대
16:35 ~16:40	Mutation-based Dataset Construction for Deep Learning-based Fault Localization []	연구발표	양희찬	KAIST
16:40 ~16:45	다중 LLM 에이전트 기반 MISRA-C 규칙 위반 탐지 시스템	연구발표	강영빈	KAIST
16:45 ~16:50	숨겨진 알짜 실행, 지향성 값-맥락 덮이로 관찰하세요! []	연구발표	김태은	KAIST
16:50 ~16:55	톰슨 샘플링 기반 지향성 협력 퍼저 []	연구발표	모현민	한양대
16:55 ~17:00	질의 - 응답 프롬프트 기반 실용적인 테스트 오라클 생성 []	연구발표	정지나	한양대
17:00 ~17:10	휴식	-	-	-
-	Session: 컴파일러 & 시스템 (50분, 좌장: 권영우)	-	-	-
17:10 ~17:30	컴파일러 최적화를 자동으로 이식하는 방법 []	연구발표	장봉준	KAIST
17:30 ~17:40	PiREL: Code Translation via Rule Extraction from LLMs	연구발표	Satbek Abdyldayev	UNIST
17:40 ~18:00	실시간 로그 분석을 통한 시스템 이상징후 탐지	연구발표	교수 권영우, Irshad Khan	경북대
18:00 ~19:30	저녁식사	-	-	-
19:30 ~21:00	Session: Poster 1	-	-	-

The second day (2026.02.03.(Tue))

Programs

시간	제목	구분	발표자	소속
09:00 ~10:00	실시간 시스템을 코드 수준으로 엄밀 검증하기	초청발표	교수 김윤승	DGIST
10:00 ~10:30	휴식	-	-	-
-	Session: 프로그램 생성 & 수정 (90분, 좌장: 손정주)	-	-	-
10:30 ~10:50	시간적·의미적 맥락을 활용한 소프트웨어 결함 및 불안전성 국소화 연구 []	연구발표	교수 손정주	경북대
10:50 ~11:10	LLM을 활용한 다단계 오류 위치 추정 []	연구발표	교수 김윤호	한양대
11:10 ~11:30	SymRadar: PoC-Centered Bounded Verification for Vulnerability Repairs []	연구발표	교수 이주용	UNIST
11:30 ~11:40	Towards Zero “Zero-Day” Attacks by IntegratingFuzzing and Program Repair	연구발표	김영재	UNIST
11:40 ~11:45	하나를 보면 열을 아는 뉴로심볼릭 코드 학습 []	연구발표	류연희	KAIST
11:45 ~11:50	바이트 단위의 Textual Differencing으로 Tree Differencing 최적화하기	연구발표	김동욱	고려대
11:50 ~11:55	테스트 만족성 분석으로 LLM 기반 자동수정기의 비용 정상화하기	연구발표	송도원	고려대
11:55 ~12:00	LLM 생성 코드의 변수 오사용 방지 []	연구발표	박준성	한양대
12:00 ~13:30	점심식사	-	-	-
-	Session: 프로그램 분석 & 모델 검증 (90분, 좌장: 배경민)	-	-	-
13:30 ~14:00	AutoCL: 동적 심볼릭 매퍼 기반 심볼릭 오토마타 능동 학습	연구발표	김요엘	경북대
14:00 ~14:20	Incremental NN Verification with Implementation-Agnostic Activation Property DB []	연구발표	채승현	POSTECH
14:20 ~14:40	LLM을 사용한 정적 분석 허위 경보 제거 []	연구발표	주강대	한양대
14:40 ~14:45	모델체킹뿐 아니라 연역검증도 가능한 PROMELA 언어의 의미구조	연구발표	손병호	POSTECH
14:45 ~14:50	재귀함수 합성을 통한 프로그램 동등성 증명 []	연구발표	조민규	고려대
14:50 ~14:55	Formal and Automated Exploitability Analysis of TLS Specification Violations []	연구발표	이재훈	POSTECH
14:55 ~16:30	Session: Poster 2	-	-	-
16:30 ~18:00	야외활동	-	-	-
18:30 ~	저녁식사	-	-	-

The closing day (2026.02.04.(Wed))

Programs