포스터 발표 프로그램 1

이름	포스터 발표 제목	소속
박정필	WeBMO: WebAssembly Memory Bitwise Operation Obfuscation	충남대학교 PLAS
한승헌	Symbolic Canvassing을 이용한 패치 검증	울산과학기술원 LOFT
김영재	효율적으로 패치 사냥하기	울산과학기술원 LOFT
배의빈	Code Summarization Using LLM in Bottom-Up Approach	울산과학기술원 LOFT
이금진	LSAT : Logic-based Security Analysis Tool for Automotive Security Policies	성균관대학교 SoftSec
엄하은	R2I: A Relative Readability Metric for Decompiled Code	성균관대학교 SoftSec
이재혁	기호 실행도 좋은 씨앗 심은 데 좋은 성능 난다	성균관대학교 SAL
김민종	기호 실행, 설정만 잘해도 쌩쌩!	성균관대학교 SAL
이재호	잘못된 리액트 훅의 사용을 미리 찾아보자!	서울대학교 프로그래밍 연구실(ROPAS)
김도형	얻어타기 분석: 다른 언어 분석기를 잘 활용하기	서울대학교 프로그래밍 연구실(ROPAS)
김훈	SQL 구문 합성	서울대학교 프로그래밍 연구실(ROPAS)
최민석	언어 명세의 부분 실행을 통한 JavaScript 정적 분석 최적화	고려대학교 프로그래밍 언어 연구실
최용욱, 김승환	자바스크립트 경랑화 도구 퍼징하기	고려대학교 프로그래밍 언어 연구실
박성민	검출된 자바스크립트 라이브러리 취약점의 악용가능성 분석하기	고려대학교 프로그래밍 언어 연구실
황도연	효율적인 SMT Solver testing을 위한 타임아웃 예측기	고려대학교 소프트웨어분석 연구실
이중훈	수치최적화 기반 양자 회로 합성 가속화	고려대학교 소프트웨어분석 연구실
조민규	보조 함수 명세 합성을 통한 프로그래밍 과제 검증	고려대학교 소프트웨어분석 연구실
장수진	자바 예외 검출을 위한 목표 지향성 단위 테스트 케이스 합성	KAIST 프로그래밍 시스템 연구실
류연희	안전하고 효율적인 코드 생성 모델	KAIST 프로그래밍 시스템 연구실
박건	다중 지향성 퍼징으로 여러 군데의 오류 한방에 검사하기	KAIST 프로그래밍 시스템 연구실
안해찬	LLM 추론 가속을 위해 여러 NPU와 PIM 간의 데이터 이동을 최적화하는 컴파일러	KAIST 동시성 및 병렬성 연구실
전종욱	PL로 파일 시스템의 일관성 보장 방법 개선하기	KAIST 동시성 및 병렬성 연구실

포스터 발표 프로그램 2

이름	포스터 발표 제목	소속
ADITI	Leveraging LLMs for Formal Grammar Generation in Programming Competition Testing	서울시립대학교 CIDA
성백륜	스파이킹 신경망의 효율적인 정형 검증	서울시립대학교 CIDA
이경주, 전형준	최약의 전조건과 변수추적을 이용한 자동 코드수정	서울시립대학교 CIDA
이도윤	싹수 분석 기반 문자열 프로그램 합성 최적화	서울대학교 프로그래밍 연구실(ROPAS)
김도형	그림자 의미구조로 정리해보는 따로분석의 이론적 기틀	서울대학교 프로그래밍 연구실(ROPAS)
김현준	언어 구현체 결함에 취약한 자바스크립트 프로그램 탐지	고려대학교 프로그래밍 언어 연구실
김준겸	효율적인 정적 분석을 위한 영속 자료구조	고려대학교 프로그래밍 언어 연구실
고성민	정적분석 기반 가지치기를 이용한 PEG 합성 가속화	고려대학교 프로그래밍 언어 연구실
이석호	SAT Solver 변수 결정 휴리스틱의 선택 전략	고려대학교 소프트웨어분석 연구실
신해소진	Error-triggering Code Generation for Rust Internal Compiler Errors	고려대학교 소프트웨어분석 연구실
Maru Gebremedhin Gebreslassie	Democratizing Code LLMs for Computationally Constrained Environments: Leveraging QLoRA for Multilingual Code Translation	강원대학교 PLML
이우진	조립기로 잼미니 인공지능 가속기를 표현하기	KAIST 동시성 및 병렬성 연구실
이정인	HDL을 이기는 HLS	KAIST 동시성 및 병렬성 연구실
이동재	Synstiller: 기호신경 코드 생성 모델	KAIST 프로그래밍 시스템 연구실
권재성, 장봉준	올바른 최적화 검사를 위한 지향성 퍼징	KAIST 프로그래밍 시스템 연구실
김태은	의미 기반 커버리지를 활용한 지향성 퍼징	KAIST 프로그래밍 시스템 연구실
박민솔	자연스럽고 믿을 수 있는 버그 벤치마크 생성	KAIST 프로그래밍 시스템 연구실
백도현	Wasm-R3: 기록-감소-재생을 이용한 현실적이고 독립적인 웹어셈블리 벤치마크 생성	KAIST PLRG
홍재민	태그를 붙이냐 마느냐 그것이 문제로다. C의 유니언을 러스트의 태그 붙은 유니언으로	KAIST PLRG
박선호	약한 메모리에서 동시성 탐색 알고리즘 검증하기	KAIST 동시성 및 병렬성 연구실
이제형	PAC Learning 이론에 기반한 생성된 패치의 신뢰도 계산하기	한양대학교 컴퓨터공학과
조한결	LLM 솔루션을 참고하는 재귀 프로그램 합성	한양대학교 컴퓨터공학과
장혁순	웹 어셈블리 프로그램의 DSL을 활용한 모델검증 연구	포항공과대학교 소프트웨어 검증 연구실

---

프로그래밍언어연구회