번개 발표 1

이름	발표 제목	소속
강미령	파이썬 API Migration의 자동화	고려대학교 소프트웨어분석 연구실
고성민	Pruning 기법을 이용한 Parsing Expression Grammar 합성	고려대학교 프로그래밍 언어 연구실
김재우	시스템 반도체 조립식으로 증명하기	카이스트 동시성 및 병렬성 연구실
김진상	LLM이 생성하는 코드의 문법적 올바름 보장하기	한양대학교 프로그래밍 시스템 연구실
김태우	구간 스킵리스트로 가상 메모리 시스템 병렬화하기	카이스트 동시성 및 병렬성 연구실
김훈	SQL 쿼리 자동 합성	서울대학교 프로그래밍 연구실(ROPAS)
류근열	TEE API 정형 명세와 응용 프로그램 검증	포항공과대학교 소프트웨어 검증 연구실
박해준	올바른 컴파일러 최적화 검산을 위한 지향성 퍼징	KAIST 프로그래밍 시스템 연구실
윤동준, 신원호, 이재현	SpecTec: 기계화된 웹 어셈블리 명세	KAIST PLRG
이강욱	Physically-Consistent Executable Formal Semantics as a Testing Oracle for Quantum Circuit Simulators	KAIST PLRG
이건희	여러 언어에서의 코드 클론 탐지를 위한 코드 언어 모델 성능 비교	강원대학교 프로그래밍 언어 및 기계학습 연구실

번개 발표 2

이석현	정확하고 확장 가능한 파이썬 포인터 분석	고려대학교 소프트웨어분석 연구실
이제형	PAC Learning 이론에 기반하여 생성된 패치의 신뢰도 계산하기	한양대학교 프로그래밍 시스템 연구실
이준협	프로그램 따로분석의 이론적 기틀: 재귀적 모듈 지원하기	서울대학교 프로그래밍 연구실(ROPAS)
이창섭	대규모 코드 언어 모델의 코드 수정 성능 비교	강원대학교 프로그래밍 언어 및 기계학습 연구실
정재황	CIRC: 동시성 프로그램을 위한 효율적인 레퍼런스 카운팅 기법	카이스트 동시성 및 병렬성 연구실
조한결	LLM 솔루션을 참고하는 프로그램 합성	한양대학교 프로그래밍 시스템 연구실
홍재민	C-Rust 번역 시 출력 매개변수를 대수적 타입으로 대체하기	KAIST PLRG
박건	다중 지향성 퍼징: 한번에 여럿을 좋아할 수도 있어	KAIST 프로그래밍 시스템 연구실
이동재	Synstiller: 3분 완성! 언어 모델 추출, 합성, 이식	KAIST 프로그래밍 시스템 연구실
이하영	양자 프로그램 합성	고려대학교 소프트웨어분석 연구실

---

프로그래밍언어연구회