포스터 발표 프로그램

이름 포스터 발표 제목 소속
홍재민 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 강원대학교

프로그래밍언어연구회