번개 발표 프로그램

이름	발표 제목	소속
윤동준	Wasm-DSL	KAIST PLRG
이강욱	Physically-Consistent Executable Formal Semantics for Quantum Circuits	KAIST PLRG
김태은	지향성 퍼징, 제대로 하고 있나요?	KAIST 프로그래밍 시스템 연구실
권재성	V8 JIT 컴파일러의 번역 검산	KAIST 프로그래밍 시스템 연구실
윤재한	기호 실행의 탐색 전략을 완전히 자동으로 만들어보기	성균관대학교 소프트웨어분석 연구실
이중훈	잡음 감소를 위한 양자 회로 자동 최적화	고려대학교 소프트웨어분석 연구실
김동욱	프로젝트에 적응하는 결함 위치 추정 기술	고려대학교 소프트웨어분석 연구실
김준형	데이터 증강을 활용한 스캠 탐지에 관한 연구	성균관대학교 소프트웨어 보안 연구실
전승민	양자 컴퓨터로 확률 시스템을 모델 체킹하기	KAIST 동시성 및 병렬성 연구실
김정현	HP#: 더 강해져서 돌아온 에비!에비! 포인터(HP)	KAIST 동시성 및 병렬성 연구실
이준협	프로그램 조각별 따로 분석의 이론적 틀	서울대학교 프로그래밍 연구실(ROPAS)
박종훈	ReScript에서 필요없는 코드 분석하기	서울대학교 프로그래밍 연구실(ROPAS)
채승현	의미 구조 기반 TEE 응용 프로그램 모델 검증	포항공과대학교 소프트웨어 검증 연구실 (SV Lab.)
주호영	Automatic Pipeline Parallelism via PyTorch 2.0 Compile	서울대학교 소프트웨어 원리 연구실 (SV Lab.)
김준겸	자동으로 타입 가드 생성하기	고려대학교 프로그래밍 언어 연구실

---

프로그래밍언어연구회