Programming Languages Research Group (PLRG)
Programming Languages Research Group (PLRG)
Ulsan National Institute of Science and Technology (UNIST) · Computer Science and Engineering
Professor
Prof. 홍재민
Professor's page · publicationsAbout
홍재민 교수 연구실(프로그래밍 언어 연구실, PLRG)은 UNIST 컴퓨터공학과 소속으로, 프로그래밍 언어와 소프트웨어 공학, 특히 정적 분석과 프로그램 변환을 연구한다. 홍 교수는 KAIST에서 학사(2020)와 박사(2025)를 마쳤으며 C 코드를 Rust로 자동 변환하는 연구로 주목받았다.
Research keywords
Recent papers
From OpenAlex · papers whose author affiliation matches this university
Selected publications
- 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
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Kihong Heo
KAIST · School of Computing
State of the art in program analysisInternational Journal on Software Tools for Technology Transfer · Sep 1Shared topic: Logic, programming, and type systems
Automated Debugging Lab
KAIST · School of Computing
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. · Oct 1Shared topic: Software Engineering Research
Sam Staton 교수 연구실
University of Oxford · Department of Computer Science
Hippogriff: a semantic approach to uniting core and modulesPreprintarXiv (Cornell University) · Aug 20Shared topic: Logic, programming, and type systems
Other labs in this department
- Ubiquitous AI Lab (UAILab)Recruiting
Taesik Gong
온디바이스 인공지능, 인공지능 개인화, 유비쿼터스 컴퓨팅, 기계학습
- Computer Systems Security Lab (CSSL)Recruiting
Hyungon Moon
개인정보보호 머신러닝, 기밀 클라우드, 시스템 보안, 컴퓨터 구조, 운영체제
- WebSec LabRecruiting
Seongil Wi
웹 보안, 소프트웨어 보안
- 이주용 교수 연구실Recruiting
Jooyong Yi
Software testing such as fuzzing, Program analysis for program repair and verification
- Next-generation Networks and Systems Laboratory (N2SL)Recruiting
Youngbin Im
네트워크 시스템, 대규모 시스템, 모바일 시스템, 신생 응용
- Ultimate Interface LabRecruiting
Seongkook Heo
인간-컴퓨터 상호작용, 인터랙티브 시스템, 에이전틱 인터랙션, 물리적 사용자 인터페이스, 접근성 기술