Programs & Data (6th Workshop)

The first day (2024.01.29.(Mon))

Programs (Group 1 & 2)

순번	제목	구분	발표자	소속
1	개회사	개회 발표	센터장 최윤자	경북대
2	이상징후 탐지 연구 및 CrowdQuake 확장 계획 소개 []	1그룹 연구발표	교수 권영우	경북대
3	Automated log collection platform for software bug case investigation with log analysis	1그룹 연구발표	교수 탁병철	경북대
4	Toward Failure Reproducing Greybox Fuzzing	1그룹 연구발표	교수 홍신	한동대
5	C++ 유닛 테스팅과 시스템 레벨로의 확장 & 시스템 실행 정보 기반 유닛 테스팅의 거짓 경보 판별	1그룹 연구발표	교수 김문주, 최영석	KAIST
6	언어 스펙으로부터 도구를 자동 생성하는 기법	1그룹 연구발표	교수 류석영	KAIST
7	2그룹 연구 및 고려대 연구 소개 []	2그룹 연구발표	교수 오학주	고려대
8	효율적이고 효과적인 오류 위치 추정 기법을 찾아서 []	2그룹 연구발표	교수 김윤호	한양대
9	Proactive Repair of Blocking-call Bugs	2그룹 연구발표	교수 김동선	경북대
10	LOFT 연구 소개	2그룹 연구발표	교수 이주용	UNIST

Invitation

The second day (2024.01.30.(Tue))

Programs (Group 2 & 3)

순번	제목	구분	발표자	소속
1	Runtime APR	2그룹 학생발표	김영재	UNIST
2	그래프 패턴 언어를 활용하여 다양한 분야의 핵심 문제 접근하기	2그룹 학생발표	전민석	고려대
3	3그룹 연구소개 및 패턴기반 모델검증 기법 []	3그룹 연구발표	교수 배경민	POSTECH
4	SW재난 방지를 위한 안전한 프로그래밍 시스템 []	3그룹 연구발표	교수 허기홍	KAIST
5	통계적 추론 기반 프로그램 합성	3그룹 연구발표	교수 이우석	한양대
6	Active Learning C programs	3그룹 연구발표	교수 최윤자	경북대
7	TEE API 정형 명세와 응용프로그램 검증	3그룹 학생발표	류근열	POSTECH
8	V8 자바스크립트 엔진의 JIT 컴파일러를 위한 번역검산 []	3그룹 학생발표	권재성	KAIST
9	LLM 솔루션을 참고하는 프로그램 합성 []	3그룹 학생발표	조한결	한양대

Special Session

순번	제목	구분	발표자	소속
1	Javascript 구현체의 오류 데이터베이스 []	재난오류 DB	윤동준	KAIST
2	소프트웨어 오류 자동 수정 벤치마크 소개 []	재난오류 DB	교수 오학주	고려대
3	SimAPR: Simulating an APR Process	재난오류 DB	김영재	UNIST
4	반복되는 SW 오류 분석을 위한 오류 데이터베이스 []	재난오류 DB	교수 허기홍	KAIST
5	대형언어모델 기반 자동디버깅 툴 평가를 위한 GitHub Recent Bugs(GHRB) 데이터셋 []	재난오류 DB	강성민	KAIST

The closing day (2024.01.31.(Wed))

Invitation

Mentoring