Programs & Data (7th Workshop)
The first day (2024.07.08.(Mon))
Opening Address
| 순번 | 제목 | 구분 | 발표자 | 소속 |
| - | 개회사 | 개회 발표 |
센터장 최윤자 |
경북대 |
Programs
| 순번 | 제목 | 구분 | 발표자 | 소속 |
| 1 | Ask the Mutants: Mutating Faulty Programs for Fault Localization | MIP 연구발표 |
교수 김문주, 교수 김윤호, 교수 유신 |
KAIST, 한양대, KAIST |
| 2 | Taming of a stochastic parrot [ ] |
연구발표 | 교수 유신 | KAIST |
Invitation
| 순번 | 제목 | 구분 | 발표자 | 소속 |
| I-1 | Toward Fail-Operational Truck Platooning [] |
초청발표 | 교수 김종찬 | 국민대 |
The second day (2024.07.09.(Tue))
Published Paper Session I
| 순번 | 제목 | 구분 | 발표자 | 소속 |
| P1-1 | Don't Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation [] |
연구발표 | 홍재민 | KAIST |
| P1-2 | Evaluating Directed Fuzzers: Are We Heading in the Right Direction? [] |
연구발표 | 김태은 | KAIST |
| P1-3 | PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software [] |
연구발표 | 김요엘 | 경북대 |
Published Paper Session II
| 순번 | 제목 | 구분 | 발표자 | 소속 |
| P2-1 | Formal Specification of Trusted Execution Environment APIs [ ] |
연구발표 | 유근열 | POSTECH |
| P2-2 | Static Analysis of JNI Programs via Binary Decompilation [] |
연구발표 | 박지희 | KAIST |
WIP Session
| 순번 | 제목 | 구분 | 발표자 | 소속 |
| W-1 | 강화학습을 활용한 협력 퍼징 | 연구발표 | 모현민 | 한양대 |
| W-2 | 효과적인 러스트 컴파일러 테스트 만들기 [] |
연구발표 | 변지석, 신해소진 |
고려대 |
| W-3 | 프로젝트에 적응하는 결함 위치 추정 기법 [] |
연구발표 | 김동욱 | 고려대 |
| W-4 | UNSAT Configuration을 활용한 효율적 심층신경망 검증 [] |
연구발표 | 채승현 | POSTECH |
| W-5 | 지향성 ] |
연구발표 | 손병호 | POSTECH |
| W-6 | 모델 기반 테스트를 활용한 TLS 소프트웨어 테스트 [] |
연구발표 | 이재훈 | POSTECH |
| W-7 | 시스템 로그를 이용한 이상징후 탐지 모델 연구 [] |
연구발표 | 우아밍 | 경북대 |
| W-8 | 커널트레이싱로그를 이용한 컨테이너 보안강화 [] |
연구발표 | 신현석, 조민정 |
경북대 |
| W-9 | 에지 디바이스에서 microVM의 YOLOv8 추론 성능 비교 [] |
연구발표 | 최윤하, 박준혁 |
경북대 |
Invitation
| 순번 | 제목 | 구분 | 발표자 | 소속 |
| I-2 | 오픈소스 드론시스템 대상 퍼징환경 개발 [] |
초청발표 | 교수 장대희 | 경희대 |
| I-3 | Introduction to Automotive Cybersecurity Threats and Countermeasures [] |
초청발표 | 교수 전상훈 | 국민대 |
The closing day (2024.07.10.(Wed))
Published Paper Session III
| 순번 | 제목 | 구분 | 발표자 | 소속 |
| P3-1 | PyTER: Effective Program Repair for Python Type Errors [] |
연구발표 | 오원석 | 고려대 |
| P3-2 | Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing [] |
연구발표 | 이명호 | 고려대 |