Programs & Data (8th Workshop)

The first day (2025.02.05.(Wed))

Opening Address

순번	제목	구분	발표자	소속
-	개회사	개회 발표	센터장 최윤자	경북대

Programs (Group 1: Milestone)

순번	제목	구분	발표자	소속
M1-1	Milestone	1그룹발표	교수 류석영	KAIST
M1-2	Milestone	1그룹발표	교수 홍신	충북대
M1-3	Milestone	1그룹발표	교수 김문주	KAIST

Keynote

순번	제목	구분	발표자	소속
K-01	Learning from the Past: AI, iPhone, and the Road Ahead []	초청발표	교수 배두환	KAIST
K-02	A collaborative framework for requirements engineering and data quality assessment for ML systems	초청발표	교수 이석원	아주대

Lighting Presentation

순번	제목	구분	발표자	소속
L-01	대규모 언어 모델을 활용한 네트워크 프로토콜 구조 기반 테스트 생성	학생발표	양종문	한양대
L-02	상호작용 예측을 통한 효과적인 자율주행 시스템 테스팅	학생발표	김민수	고려대
L-03	Adaptive Testing for LLM-Based Applications: A Diversity-based Approach	학생발표	윤주연	KAIST
L-04	An Empirical Sutdy of Test Genration Techniques on Property Checking for Controller Software	학생발표	러자빈	경북대
L-05	DANDI: Diffusion as Normative Distribution for Deep Neural Network Input	학생발표	김소민	KAIST
L-06	LLM 에이전트 간 협력을 통한 자동 단위 테스트 생성	학생발표	정지나	한양대
L-07	Integration of Heterogeneous Data and Anomaly Analysis using Knowledge Graphs	학생발표	김선형	경북대
L-08	업무망에서 생성형 AI 활용 시 내부 정보 보호를 위한 제로트러스트 보안 모델	학생발표	정진욱	경북대
L-09	Traffic Flow Analysis through Vehicle Trajectory Tracking	학생발표	장재근	경북대
L-10	Efficient Workload Distribution in Multi-Cluster Edge and Cloud Computing Environments	학생발표	Iliyas Hadjou	경북대
L-11	Analysis of MicroVM Network Performance in Edge Computing	학생발표	최윤하	경북대
L-12	Enhancing Serverless Edge Computing via Adaptive Task Scheduling and Probabilistic Resource Sharing	학생발표	Manish Pandey	경북대
L-13	Quantum ML Performance on Real Data: A Comparative Study	학생발표	최지훈	경북대
L-14	Securing Container with Low-level Kernel Information	학생발표	신현석	경북대

The second day (2025.02.06.(Thu))

Programs (Group 1 & 2: Milestone)

순번	제목	구분	발표자	소속
M1-4	Milestone	1그룹발표	교수 권영우	경북대
M1-5	Milestone	1그룹발표	교수 탁병철	경북대
M2-1	Milestone	2그룹발표	교수 이주용	UNIST
M2-2	Milestone	2그룹발표	교수 오학주	고려대
M2-3	Milestone	2그룹발표	교수 유신	KAIST
M2-4	Milestone	2그룹발표	교수 김윤호	한양대

Invitation

순번	제목	구분	발표자	소속
I-01	On Correctness of Numerical Libraries []	초청발표	교수 이원열	POSTECH

Lighting Presentation

순번	제목	구분	발표자	소속
L-01	다중 지향성 퍼징으로 여러 군데의 오류 한방에 검사하기	학생발표	박건	KAIST
L-02	다중-목표 지향성 퍼징으로 Rust 컴파일러 ICE 버그 찾기	학생발표	변지석	고려대
L-03	동적 정보를 활용한 효율적인 SMT Solver 테스팅	학생발표	황도연	고려대
L-04	의미 덮이를 활용한 지향성 퍼징	학생발표	김태은	KAIST
L-05	Failure Replications for Debugging-aid Fuzzing	학생발표	김기은	충북대
L-06	OSS-Fuzz 테스트 이력을 활용한 Cross-project Bug 사례의 체계적인 수집	학생발표	김지웅	충북대
L-07	OSS-Fuzz 프로젝트-교차 결함 사례 조사를 통한 퍼징 드라이버 분석	학생발표	강영빈	KAIST
L-08	개별 프로젝트에 자동 적응하는 결함 위치 추정 기법	학생발표	김동욱	고려대
L-09	COSMosFL: Ensemble of Small Language Models for Fault Localisation	학생발표	조현준	KAIST
L-10	Predictive Prompt Analysis	학생발표	강성민	KAIST
L-11	Improving Bug Inducing Commit Detection at Debugging Time	학생발표	이도암	KAIST
L-12	Configuring Datasets for Machine Learning-Based Fault Localization	학생발표	양희찬	KAIST
L-13	프로그램 동적 데이터 기반 프로그램 모델링 및 오류 재현	학생발표	이아청	KAIST
L-14	The feasibility of utilizing NLP for Log parsing	학생발표	고은우	경북대
L-15	Pinpointing Misconfiguration using Log Analysis and Deep Learning	학생발표	김유양	경북대
L-16	Bug Localization using Logs	학생발표	민시온	경북대
L-17	리눅스 커널에서 메모리 오류 찾기	학생발표	이석호	고려대
L-18	Use-After-Free 탐지에 특화된 정적 분석	학생발표	허준용	고려대
L-19	PRISM: APR성능 향상을 위한 정확한 패치 분류 기술	학생발표	송도원	고려대
L-20	LLM 기반 파이썬 타입추론: 정적분석으로 극대화하기	학생발표	오원석	고려대
L-21	LLM 솔루션을 참고해 프로그램 합성 향상시키기	학생발표	조한결	한양대
L-22	LLM 과 상호작용을 통한 허위 정적분석 경보 제거	학생발표	주강대	한양대
L-23	From Bug Detection to Repair	학생발표	김영재	UNIST
L-24	AXOLOTL: Automatically Fix Programs' Fault on-the-fly	학생발표	노준영	UNIST
L-25	Automated Makeshift Patching for Binary Programs	학생발표	Nguyễn Gia Phong	UNIST
L-26	Lachesis: Predicting LLM Inference Accuracy using Structural Properties of Reasoning Paths	학생발표	김나령	KAIST
L-27	LLM을 활용한 파이썬 라이브러리 이전의 자동화	학생발표	강미령	고려대
L-28	Transpilation via Bimodal Rule Inference	학생발표	Satbek Abdyldayev	UNIST

The closing day (2025.02.07.(Fri))

Programs (Group 2 & 3: Milestone)

순번	제목	구분	발표자	소속
M3-1	Milestone	3그룹발표	교수 배경민	POSTECH
M3-2	Milestone	3그룹발표	교수 허기홍	KAIST
M3-3	Milestone	3그룹발표	교수 이우석	한양대
M2-5	Milestone	2그룹발표	교수 손정주	경북대

Lighting Presentation

순번	제목	구분	발표자	소속
L-01	P4 데이터 플레인 프로그래밍 언어의 기계화된 정형 명세 작성	학생발표	이재현	KAIST
L-02	Documentation-Program Equivalence Check via Code Contract	학생발표	배의빈	UNIST
L-03	물리 환경을 고려한 PLC 언어의 의미구조 정형명세	학생발표	이재서	POSTECH
L-04	바이너리 리프팅과 Dafny를 활용한 기계어 검증	학생발표	박지희	KAIST
L-05	Dafny 반복문 불변식 자동 수정	학생발표	이중훈	고려대
L-06	두 함수형 프로그램이 같은지 증명하기	학생발표	조민규	고려대
L-07	LLM 이 생성하는 코드의 타입 올바름 보장하기	학생발표	김진상	한양대
L-08	Promela 언어의 의미구조 정형명세 및 정형검증	학생발표	손병호	POSTECH
L-09	SMT를 고려한 재작성 논리기반 선형시제논리 모델검증	학생발표	류근열	POSTECH
L-10	Model-based Testing of TLS Software Using Maude	학생발표	이재훈	POSTECH
L-11	요약해석을 통한 Branch&Bound 기반 DNN 검증 알고리즘의 성능 향상	학생발표	연주은	POSTECH
L-12	Bottom-up West: SpecTec을 활용한, Wasm 테스트의 자동 상향식 생성	학생발표	윤동준	KAIST
L-13	파이썬을 위한 작고 명확한 중간 언어	학생발표	이석현	고려대
L-14	Efficient active learnig of state machines for reactive C programs	학생발표	김요엘	경북대
L-15	Maude를 활용한 웹 어셈블리 프로그램 모델체킹	학생발표	장혁순	POSTECH
L-16	패턴 기반 LTL 모델검증을 위한 상태공간축소 기법	학생발표	김균우	POSTECH
L-17	Neural Network Verification via UNSAT-Based Heuristics	학생발표	채승현	POSTECH
L-18	Patch Validation via Symbolic Canvassing	학생발표	한승헌	UNIST