포스터 발표
| 이름 | 포스터 발표 제목 | 소속 |
| 박지희 | 바이너리 리프팅을 통한 기계어 검증 | KAIST PLRG |
| 이강욱 | Selective Feature-Sensitive Coverage for Conformance Testing of Programming Languages | KAIST PLRG |
| 김경원 | 명세기반 큐브위성 테스팅 프레임워크 | KAIST PLRG |
| 정석훈, 이재현, 안세혁 | P4 데이터 평면 프로그래밍 언어의 기계화된 정형 명세 작성 | KAIST PLRG |
| 장수진 | 그 단위 테스트, 정말 다른 거 맞아? | KAIST 프로그래밍시스템 연구실 |
| 박건 | 다중 지향성 퍼징으로 여러 군데의 오류 한방에 검사하기 | KAIST 프로그래밍시스템 연구실 |
| 김태은 | 바람둥이 VS 순애보: 지향성 퍼징의 목표 중심 탐색 전략 | KAIST 프로그래밍시스템 연구실 |
| 장봉준 | 너의 컴파일러 췌적화를 먹고 싶어 | KAIST 프로그래밍시스템 연구실 |
| 류연희 | 확률과 규칙, 친해지길 바래 | KAIST 프로그래밍시스템 연구실 |
| 이동재 | 자연어지만 엄밀한 명세가 되고 싶어 | KAIST 프로그래밍시스템 연구실 |
| 이석현 | Mir: 형식적인 파이썬을 위한 작은 중간 언어 | 고려대학교 소프트웨어분석 연구실 |
| 이중훈 | LLM을 활용한 Loop Invariant 합성 | 고려대학교 소프트웨어분석 연구실 |
| 임정섭 | 대체 파이썬의 버그를 대체 어떻게 찾을까? | 고려대학교 소프트웨어분석 연구실 |
| 이석호 | SAT 브랜칭 휴리스틱 정형화하여 유전 프로그래밍으로 최적화하기 | 고려대학교 소프트웨어분석 연구실 |
| 신지호 | 자연어 명세 기반 코드 의미 평가 | 고려대학교 소프트웨어분석 연구실 |
| 신해소진 | Finding bugs in CPython interpreter | 고려대학교 소프트웨어분석 연구실 |
| 허준용 | Use-After-Free 탐지에 특화된 지향성 퍼징 | 고려대학교 소프트웨어분석 연구실 |
| 조민규 | 재귀 함수 합성을 통한 효과적인 중간정리 찾기 | 고려대학교 소프트웨어분석 연구실 |
| 변지석 | 지향성 퍼징으로 Rust 컴파일러 ICE 오류 찾기 | 고려대학교 소프트웨어분석 연구실 |
| 임지민 | On-Device Large Language Models for Software Engineering: A Preliminary Survey | 고려대학교 소프트웨어분석 연구실 |
| 김현준 | 자바스크립트 언어 명세 분석을 통한 일치성 검사 테스트 생성 가속화 연구 | 고려대학교 프로그래밍언어 연구실 |
| 고성민 | 싹수분석을 이용한 멀티 모달 PEG 합성 연구 | 고려대학교 프로그래밍언어 연구실 |
| 최민석 | 자바스크립트 트랜스파일러의 의미 보존 검증 연구 | 고려대학교 프로그래밍언어 연구실 |
| 김준겸 | 알고리즘 문제 출제를 위한 DSL | 고려대학교 프로그래밍언어 연구실 |
| 박성민 | 자바스크립트 라이브러리 취약점들의 PoC 검증 및 분류하기 | 고려대학교 프로그래밍언어 연구실 |
| 이도윤 | 싹수 제곱 분석 기반 빈 칸 채우기 알고리즘으로 프로그램 합성 가속하기 | 서울대학교 프로그래밍 연구실 |
| 안중원 | 부분실행을 통한 분석기 재활용 | 서울대학교 프로그래밍 연구실 |
| 이재호 | React-tRace: 리액트 훅의 의미구조 | 서울대학교 프로그래밍 연구실 |
| 오규혁 | 부분실행 + 요약해석 = 따로분석 | 서울대학교 프로그래밍 연구실 |
| 김용희 | CRIS: 상상력을 통한 소프트웨어 검증 혁신 | 서울대학교 소프트웨어원리 연구실 |
| 김재우 | 쌍대재귀 조립하기 | 서울대학교 소프트웨어원리 연구실 |
| 한예지 | VM Promising Arm: An Operational Concurrency Model for Arm System Semantics | 서울대학교 소프트웨어원리 연구실 |
| 고현정 | 커널 바이너리 분석을 활용하는 Windows 커널 퍼징 | 서강대학교 정보보안연구실 |
| 이현진 | Multi-tier Actor 프로그래밍 언어의 설계 및 구현 | 전남대학교 소프트웨어언어 및 시스템 연구실 |
| 김세훈 | 경로 조건식 합성을 이용한 딥러닝 라이브러리 경로 민감 퍼징 | 울산과학기술원 소프트웨어 테스팅 및 분석 연구실 |
| 송은기 | 기호실행기의 개선 방향 - 사람이 주는 힌트 | 성균관대학교 소프트웨어분석 연구실 |
| 윤재한 | 성능 향상을 위한 제약 해결 비용 줄이기 | 성균관대학교 소프트웨어분석 연구실 |
| 박지웅 | 정규표현식 합성을 통한 기호 실행 향상 | 성균관대학교 소프트웨어분석 연구실 |
| 김민종 | 저장 후 종료: 기호 실행의 이어하기 기능 | 성균관대학교 소프트웨어분석 연구실 |
| 박준성, 김진상 | LLM이 생성하는 코드에서 정의되지 않은 변수 사용 금지하기 | 한양대학교 프로그래밍시스템 연구실 |
| 왕오, 이정훈 | 슬라이딩 윈도우와 코드 기능 명세를 활용한 코드 유사쌍 탐지 | 한양대학교 프로그래밍시스템 연구실 |
| 주강대, Alexis Just | 분석 추론과정에 대한 LLM 피드백을 통한 정적분석 허위경보제거 | 한양대학교 프로그래밍시스템 연구실 |
| 조한결, 이제형 | LLM의 틀린 답을 활용한 프로그램 합성 가속화 | 한양대학교 프로그래밍시스템 연구실 |
| 채승현 | 활성화 성질을 활용한 효율적인 점진적 심층 신경망 검증 | POSTECH 소프트웨어검증 연구실 |
| 김완주 | OP code 기반의 경량 기법을 이용한 다양한 아키텍쳐 대상 난독화 기법 분류 | 충남대학교 PLAS Lab |
프로그래밍언어연구회