포스터 발표 프로그램

이름	포스터 발표 제목	소속
강미령	파이썬 API Migration의 자동화	고려대학교 소프트웨어분석 연구실
고성민	Pruning 기법을 이용한 Parsing Expression Grammar 합성	고려대학교 프로그래밍 언어 연구실
김재우	시스템 반도체 조립식으로 증명하기	KAIST 동시성 및 병렬성 연구실
김진상	LLM이 생성하는 코드의 문법적 올바름 보장하기	한양대학교 프로그래밍 시스템 연구실
김태우	구간 스킵리스트로 가상 메모리 시스템 병렬화하기	KAIST 동시성 및 병렬성 연구실
김훈	SQL 쿼리 자동 합성	서울대학교 프로그래밍 연구실(ROPAS)
류근열	TEE API 정형 명세와 응용 프로그램 검증	포항공과대학교 소프트웨어 검증 연구실
박해준	올바른 컴파일러 최적화 검산을 위한 지향성 퍼징	KAIST 프로그래밍 시스템 연구실
윤동준, 신원호, 이재현	SpecTec: 기계화된 웹 어셈블리 명세	KAIST PLRG
이강욱	Physically-Consistent Executable Formal Semantics as a Testing Oracle for Quantum Circuit Simulators	KAIST PLRG
이건희	여러 언어에서의 코드 클론 탐지를 위한 코드 언어 모델 성능 비교	강원대학교 프로그래밍 언어 및 기계학습 연구실
이석현	정확하고 확장 가능한 파이썬 포인터 분석	고려대학교 소프트웨어분석 연구실
이제형	PAC Learning 이론에 기반하여 생성된 패치의 신뢰도 계산하기	한양대학교 프로그래밍 시스템 연구실
이준협	프로그램 따로분석의 이론적 기틀: 재귀적 모듈 지원하기	서울대학교 프로그래밍 연구실(ROPAS)
이창섭	대규모 코드 언어 모델의 코드 수정 성능 비교	강원대학교 프로그래밍 언어 및 기계학습 연구실
정재황	CIRC: 동시성 프로그램을 위한 효율적인 레퍼런스 카운팅 기법	KAIST 동시성 및 병렬성 연구실
조한결	LLM 솔루션을 참고하는 프로그램 합성	한양대학교 프로그래밍 시스템 연구실
홍재민	C-Rust 번역 시 출력 매개변수를 대수적 타입으로 대체하기	KAIST PLRG
박건	다중 지향성 퍼징: 한번에 여럿을 좋아할 수도 있어	KAIST 프로그래밍 시스템 연구실
이동재	Synstiller: 3분 완성! 언어 모델 추출, 합성, 이식	KAIST 프로그래밍 시스템 연구실
이하영	양자 프로그램 합성	고려대학교 소프트웨어분석 연구실
김재호, 이창공	유사한 버그의 패치, 놓치지 않을 거에요	KAIST 프로그래밍 시스템 연구실
장수진	UnitCon: 정적 분석으로 유닛 테스트를!	KAIST 프로그래밍 시스템 연구실
김태은	의미 기반 커버리지를 활용한 지향성 퍼징	KAIST 프로그래밍 시스템 연구실
권재성	E-graph를 활용한 안전한 컴파일러 최적화 이식	KAIST 프로그래밍 시스템 연구실
박종찬	실행 흐름 조작을 통한 결함 위치 추정	KAIST 프로그래밍 시스템 연구실
안해찬	언어 모델을 이용한 엄밀 증명 합성	KAIST 동시성 및 병렬성 연구실
연주은	요약해석을 통한 DNN 검증 알고리즘의 성능 향상	포항공과대학교 소프트웨어 검증 연구실
이장건	반자동 메모리 수집기는 메모리 누수가 없음을 증명하기	KAIST 동시성 및 병렬성 연구실
장민성	해저드가 있는 파이프라인 회로의 조립식 설계	KAIST 동시성 및 병렬성 연구실
전형창	자동화된 역난독화 도구를 통한 상용 난독화 도구 효율성 분석	충남대학교 프로그래밍 언어 및 시스템 연구실
최민석,김현준	자바스크립트 언어 명세의 분석을 활용한 Polyfill의 결함 찾기	고려대학교 프로그래밍 언어 연구실
최용욱	확장된 Occurrence Typing을 통한 자바스크립트 언어 명세 타입 분석 개선하기	고려대학교 프로그래밍 언어 연구실
최진우,최용욱	자바스크립트 프론트엔드 라이브러리의 탐지 자동화하기	고려대학교 프로그래밍 언어 연구실
안중원	React 프로그램 분석	서울대학교 프로그래밍 연구실(ROPAS)

---

프로그래밍언어연구회