Programs & Data (5th Workshop)

The first day (2023.07.05.(Wed))

Programs (Group 3)

순번	제목	구분	발표자	소속
1	개회사	개회 발표	센터장 최윤자	경북대
2	3그룹 연구내용	3그룹 연구발표	교수 배경민	POSTECH
3	POSTECH 모델검증 연구 []	3그룹 연구발표	교수 배경민	POSTECH
4	Promela의 Rewriting 기반 의미구조 []	학생 발표	손병호	POSTECH
5	TEE API의 정형명세 및 모델검증 []	학생 발표	유근열	POSTECH
6	오류데이터베이스와 패턴기반 프로그램 분석 []	3그룹 연구발표	교수 허기홍	KAIST
7	데이터 의존 관계를 이용한 지향성 퍼징 []	학생 발표	김태은	KAIST
8	반복되는 오류를 위한 검증된 패치이식 []	학생 발표	김재호	KAIST
9	전후방 요약해석기반 프로그램 합성 []	3그룹 연구발표	교수 이우석	한양대
10	LLM 솔루션을 참고하는 프로그램 합성 []	학생 발표	조한결	한양대
11	일반화를 보장하는 PBE 기반 프로그램 수정 []	학생 발표	이제형	한양대
12	모델 자동 생성 및 활용 연구진행상황	3그룹 연구발표	교수 최윤자	경북대
13	반례기반 반복 합성을 통한 함수요약 기법	학생 발표	김요엘	한양대
14	지진경보시스템: 지진 미탐오류 원인 및 해결방안 []	연구원 발표	박사 신영술	STAAR

Invitation

The second day (2023.07.06.(Thu))

Programs (Group 1)

순번	제목	구분	발표자	소속
1	Unit-level fuzzing with Dynamic Fuzzing Drivers	1그룹 연구발표	교수 홍신	한동대
2	FOCAL ++: Synthesizing system tests by combining unit tests []	1그룹 연구발표	교수 김문주	KAIST
3	POWERUP: Program Option-Aware Interleaving Fuzzing Platform for High Bug Detection []	학생 발표	이아청	KAIST
4	Accurate troubleshooting recommendations using online forums and language models []	학생 발표	김유양	경북대
5	Static Analysis of JNI Programs via Binary Decompilation []	학생 발표	박지희	KAIST
6	Declarative Static Analysis for Multilingual Programs using CodeQL []	학생 발표	윤동준	KAIST
7	Simcrat: A Signature-Modernizing C-to-Rust Translator using a Large Language Model []	학생 발표	홍재민	KAIST
8	BugOSS 벤치마크를 통한 Regression Fuzzing 기법 평가	학생 발표	김지웅	한동대
9	MISRA violation fix를 위한 code change automation	학생 발표	박수현	한동대
10	Deep-dive into the internal behavior of secure container runtimes []	학생 발표	조민정	경북대

Programs (Group 2)

순번	제목	구분	발표자	소속
1	효과적이고 효율적인 런타임 패칭 연구	학생 발표	김영재	UNIST
2	재난경보시스템 테스트베드 개발 상황 []	2그룹 연구발표	교수 권영우	경북대
3	Patch generation in the STAAR framework	2그룹 연구발표	교수 김동선	경북대
4	It's a bug, not a feature!	2그룹 연구발표	교수 김동선	경북대
5	파이썬 타입 오류 자동 수정 기술 []	학생 발표	오원석	고려대
6	정적 분석 기반 패치 공간 프루닝 []	학생 발표	홍성준	고려대
7	제한된 수정을 기반으로한 사소한 수정의 자동 판단 시스템 []	학생 발표	이석현	고려대
8	효율적으로 양자 프로그램 런타임 상태 확인하기 []	학생 발표	강찬구	고려대
9	잡음 감소를 위한 양자 회로 자동 최적화 []	학생 발표	이중훈	고려대
10	통계 기반 weighted sampling을 사용한 SMT Solver 테스팅 []	학생 발표	황도연	고려대
11	Abstract Subgraph-based GNN Explanation []	학생 발표	박승현	고려대
12	Patch Validation via Symbolic Canvassing	학생 발표	한승헌	UNIST
13	Informed Patch Selection via Automatic Decision Tree Construction	학생 발표	Nguyễn Gia Phong	UNIST
14	FuncMem: Reducing Cold Start Latency in Serverless Computing Through Memory Prediction and Adaptive Task Execution []	학생 발표	Manish Pandey	경북대
15	그래프신경망을 활용한 이상 징후 탐지 연구 []	학생 발표	김선형	경북대

Invitation

순번	제목	구분	발표자	소속
2	V+ Lab 기업소개 []	기업체 발표	대표 김문주	V+ Lab
3	Journey of Testing AI Software Systems []	초청 발표	교수 김미정	UNIST
4	Lessons from 10 Years of Automated Debugging Research []	초청 발표	교수 유신	KAIST

The closing day (2023.07.07.(Fri))

Invitation

순번	제목	구분	발표자	소속
5	A Practical Technology for Safe World in Suresofttech []	기업체 발표	연구원 배의빈	슈어소프트 테크
6	하드웨어도 소프트웨어처럼 짜야 한다 []	초청 발표	교수 강지훈	KAIST
7	Practical Type and Memory Safety Violation Detection and Mitigation Approaches []	초청 발표	교수 전유석	UNIST