Programs & Data (4th Workshop)

The first day (2023.02.01.(Wed))

Milestone Programs

순번	제목	구분	발표자	소속
0	센터 연구 소개 []	개회 발표	센터장 최윤자	경북대
1	오류 재발 방지를 위한 소프트웨어 면역 시스템 []	연구 발표	교수 허기홍	KAIST
2	오류 탐색 전략에 기반한 모델검증 알고리즘 []	연구 발표	교수 배경민	POSTECH
3	한양대학교 프로그램 합성 연구	연구 발표	교수 이우석	한양대
4	프로그램 입출력 정보를 이용한 모델자동생성 기법	연구 발표	교수 최윤자	경북대
5	확장성 좋은 오류검출기술 연구 []	연구 발표	교수 김윤호	한양대

Researcher Programs

순번	제목	구분	발표자	소속
1	사이버물리시스템의 모델검증을 위한 상태공간축소 기법	학생 발표	이재서	POSTECH
2	PBE 기반 스텁 자동 생성 및 스텁 코드 분할을 통한 모델 검증 효율 향상	학생 발표	김요엘	경북대
3	Construction of Disaster Knowledge Graphs for Complex-disaster Prediction and Situation Recognition.	학생 발표	김선형	경북대
4	Earthquake Detection Based on Deep Learning	학생 발표	Aming Wu	경북대
5	실행 흐름 조작을 통한 결함 위치 추정	학생 발표	박종찬	KAIST
6	의미적 특질 기반 자동 패치 결과 자동 분류 기술	학생 발표	송도원	고려대
7	씨앗 입력별 특화된 돌연변이 방식을 통한 퍼징 성능 높이기	학생 발표	이명호	고려대
8	정적 분석 결과 검사를 위한 단위 테스트 케이스 자동 생성	학생 발표	장수진	KAIST
9	관심 변수 기반 내장형 소프트웨어 모델 자동 생성과 Active Learning 기법의 적용	학생 발표	박효빈	경북대

The second day (2023.02.02.(Thu))

Milestone Programs

순번	제목	구분	발표자	소속
1	로그 분석 연구 및 주요 연구 개요	연구 발표	교수 탁병철	경북대
2	Exploratory Testing of CrowdQuake []	연구 발표	교수 홍신, 교수 권영우	한동대, 경북대
3	커맨드 라인을 고려하는 퍼징	연구 발표	이아청	KAIST
4	Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs []	연구 발표	홍재민	KAIST
5	프로그래밍 과제에서 작은 실수의 자동 판별을 위한 시스템 []	연구 발표	이석현	고려대
6	Testing for Software Defined Vehicle (미래자동차 시험 기술 소개)	기업 강연	부사장 오승욱	슈어소프트 테크
7	미래 원전 제어계통 안전을 준비하는 포멀웍스	기업 강연	박사 정세훈	포멀웍스

Researcher Programs

순번	제목	구분	발표자	소속
1	Efficient STL Tableau Construction	학생 발표	이지아	POSTECH
2	BugOss: Regression Fuzzing 평가를 위한 Bug Benchmark	학생 발표	김지웅	한동대
3	Unit Test Code를 활용한 Dynamic Fuzzing Driver 생성	학생 발표	임성빈	한동대
4	Vulnerability Detection Using Graph Convolutional Networks	학생 발표	Muhammad Zia Ur Rehman	경북대
5	정적 분석으로 오류 자동 수정 기술의 성능 향상시키기	학생 발표	이준희	고려대
6	Patch validation by examples	학생 발표	Nguyễn Gia Phong	UNIST
7	Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations	학생 발표	윤동준	KAIST
8	요약해석을 통한 Branch&Bound 기반 DNN 검증 알고리즘의 성능 향상	학생 발표	연주은	POSTECH
9	Bounded verification of a patch of heap-manipulating programs	학생 발표	한승헌	UNIST
10	CutFuzz: 생성 기반 퍼징의 불필요한 입력 줄이기	학생 발표	서윤지	고려대
11	효율적인 양자 프로그램 동적 테스팅	학생 발표	강찬구	고려대
12	Optimizing Efficiency of Functions Invocation in Serverless Architectures: A Fine-Grained Scheduling Approach for Maximizing Data Locality	학생 발표	Manish Pandey	경북대
13	프로그래밍 과제에서 작은 실수의 자동 판별을 위한 시스템	학생 발표	이석현	고려대
14	분산 시스템의 문제 해결을 위한 온라인 포럼 지식과 언어 모델 활용	학생 발표	김유양	경북대
15	자원 기반 오류 주입 시스템 자동화 설계 및 구현	학생 발표	권은구	경북대
16	정확한 타입 정적분석을 통한 파이썬 타입오류 검출기	학생 발표	오원석	고려대
17	Case study: how can a tiny SW bug lead CrowdQuake failure?	학생 발표	이장수	경북대
18	Carving and Replaying Framework to Capture and Utilize Unit Contexts	학생 발표	최영석	KAIST
19	PBE 기반 오류수정	학생 발표	조한결	한양대
20	TLS 소프트웨어의 정형명세 및 모델검증	학생 발표	이재훈	POSTECH

The closing day (2023.02.03.(Fri))

Milestone Programs

순번	제목	구분	발표자	소속
1	PLRG@KAIST	연구 발표	교수 류석영	KAIST
2	Android Auto 취약성	초청 강연	교수 황성재	성균관대
3	Assessing Code Generation Models and Repairing memory leaks by non-intrusive patches.	연구 발표	교수 김동선	경북대
4	Automated Program Repair from Fuzzing Perspective	연구 발표	교수 이주용	UNIST
5	고려대 양자 프로그래밍 연구 소개 (+ PL/SE 연구 소개) []	연구 발표	교수 오학주	고려대

Researcher Programs

순번	제목	구분	발표자	소속
1	Monitoring for Anomaly Detection in Distributed Systems	학생 발표	신주용	경북대
2	반복되는 오류를 위한 검증된 패치 이식	학생 발표	김재호	KAIST
3	Promela 언어의 Rewriting 기반 정형명세	학생 발표	손병호	POSTECH
4	프로그램 합성과 텀 다시쓰기 기반의 MBA 역난독화	학생 발표	이제형	한양대
5	신뢰할 수 있는 프로그래밍 언어 모델	학생 발표	류연희	KAIST
6	데이터 기반 SMT solver 테스팅	학생 발표	황도연	고려대