홍재민 교수 연구실
Programming Languages Research Group (PLRG)
울산과학기술원 · 컴퓨터공학과
교수 소개
홍재민 교수
교수 홈페이지·논문소개
홍재민 교수 연구실(프로그래밍 언어 연구실, PLRG)은 UNIST 컴퓨터공학과 소속으로, 프로그래밍 언어와 소프트웨어 공학, 특히 정적 분석과 프로그램 변환을 연구한다. 홍 교수는 KAIST에서 학사(2020)와 박사(2025)를 마쳤으며 C 코드를 Rust로 자동 변환하는 연구로 주목받았다.
연구 키워드
최근 논문
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
대표 논문
- Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent ProgramsProceedings of the 45th ACM/IEEE International Conference on Software Engineering (ICSE) · 2023
- Improving Automatic C-to-Rust Translation with Static AnalysisProceedings of the 45th ACM/IEEE International Conference on Software Engineering (ICSE): Companion Proceedings, Doctoral Symposium · 2023
- Static Analysis of JNI Programs via Binary DecompilationIEEE Transactions on Software Engineering, vol. 49, no. 5 · 2023
- Semantic Transformation Framework for Rewriting RulesProceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM) · 2023
- Polymorphic Symmetric Multiple Dispatch with VarianceProceedings of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) · 2019
- Path Dependent Types with Path-EqualityProceedings of the 9th ACM SIGPLAN Symposium on Scala · 2018
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
허기홍 교수 연구실
한국과학기술원 · 전산학부
State of the art in program analysisInternational Journal on Software Tools for Technology Transfer · 9월 1일겹치는 주제: Logic, programming, and type systems
유신 교수 연구실
한국과학기술원 · 전산학부
Atropos: Improving Cost-Benefit Trade-Off of LLM-Based Agents under Self-Consistency with Early Termination and Model HotswapProceedings of the ACM on software engineering. · 10월 1일겹치는 주제: Software Engineering Research
Sam Staton 교수 연구실
옥스퍼드 대학교 · 컴퓨터과학과
Hippogriff: a semantic approach to uniting core and modules프리프린트arXiv (Cornell University) · 8월 20일겹치는 주제: Logic, programming, and type systems
같은 학과의 다른 연구실
- 공태식 교수 연구실모집 중
온디바이스 인공지능, 인공지능 개인화, 유비쿼터스 컴퓨팅, 기계학습
- 문현곤 교수 연구실모집 중
개인정보보호 머신러닝, 기밀 클라우드, 시스템 보안, 컴퓨터 구조, 운영체제
- 위성일 교수 연구실모집 중
웹 보안, 소프트웨어 보안
- 이주용 교수 연구실모집 중
Software testing such as fuzzing, Program analysis for program repair and verification
- 임영빈 교수 연구실모집 중
네트워크 시스템, 대규모 시스템, 모바일 시스템, 신생 응용
- 허성국 교수 연구실모집 중
인간-컴퓨터 상호작용, 인터랙티브 시스템, 에이전틱 인터랙션, 물리적 사용자 인터페이스, 접근성 기술