포스터 발표 프로그램

이름	포스터 발표 제목	소속
홍재민	Translating C Mutex to Rust Mutex	KAIST
박지희	안전한 프로그램 최적화 프레임워크들에 대한 조사	KAIST
김현수	BayeSmith: 정적 분석 알람을 위한 확률 모델 학습	KAIST
권승완	TurboTV: Translation Validation for Turbofan	KAIST
김재호, 박종찬	코드의 변신은 유죄! 코드 변화 분석 기반 결함 위치 추정	KAIST
김현수	반복되는 오류의 패치 자동 이식	KAIST
강우석	버그 탐정 트레이서: 반복되는 오류 탐지 시스템	KAIST
김태은	너에게로 가는 길: 정적분석을 통한 지향성 퍼징	KAIST
지수환	RepCoder: An automated Program Repair Framework for Probability-Based Program Synthesis	강원대학교
류근열	Model checking of signal temporal logic	포항공과대학교
이제형	사용 시나리오 기반 안드로이드 데모 앱 자동 생성	한양대 프로그래밍 시스템 연구실
조한결	재귀호출이 있는 프로그램 합성하기	한양대 프로그래밍 시스템 연구실
Mojgan Kohonestani	Datalog Static Analysis in Secrecy	한양대 프로그래밍 시스템 연구실
오원석	PyTER: Python TypeError Repair via Type-Aware Generation	고려대학교
홍성준	FL4APR: Detailed Fault Localization for Automatic Program Repair	고려대학교
이준희	NPEX: Fixing Null Pointer Exception Without Tests	고려대학교
박지성	Automatic Test Case Generation to Discover Java NPE	고려대학교
서윤지	Reducing Unnecessary Input Generation with Derivation Pruning while Fuzzing	고려대학교
김종욱	Mobius : A Blackbox Hybrid Fuzzer for Detecting Bugs in Arithmetic SMT solvers	고려대학교
이명호	SeamFuzz: Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzers	고려대학교
강찬구	Quantum Circuit Synthesis with User Defined Component Gates	고려대학교
변지석	Cooperative Verification and Refutation Algorithm for Tezos Smart Contracts	고려대학교
전민석	A programming language-based approach to machine learning on graphs	고려대학교
김정우	명령코드 히스토그램기반의 난독화 기법 판별	충남대학교
강서연	프로그램합성 기반의 MBA 역난독화 통합 솔루션	충남대학교
김지수	Support for the safety of EVM bytecode via function-call interceptor	충남대학교
이재서	Programmable 사이버물리시스템의 Rewriting 기반 모델검증	포항공과대학교
김세훈	정적 분석 정확도 향상을 위한 코드 변환 규칙	서울대학교
김훈, 박규연, 이계진, 이도형, 조승한	머신러닝을 위한 동형암호 컴파일러 헷지호그	서울대학교
이재훈	Formal Analysis of Virtually Synchronous CPS using HybridSynchAADL	포항공과대학교
김수현	Automated Grading of Regular Expressions	강원대학교
전민기	Deep Learning-based Code Complexity Prediction using Complexity-Preserving Code Transformation	강원대학교

---

프로그래밍언어연구회