conf.researchr.org / Jaemin Hong
Registered user since Fri 24 Aug 2018
Name:Jaemin Hong
Country:South Korea
Affiliation:UNIST
Personal website: https://hjaem.info/
GitHub: https://github.com/Medowhill
Research interests:Programming Languages, Software Engineering, Formal Verification, Static Analysis
Contributions
2027
2026
ISSTA
2025
ASE
- Author of Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis within the Research Papers-track
- Author of Exact Inference for Quantum Circuits: A Testing Oracle for Quantum Software Stacks within the Research Papers-track
- PC Member in Research Papers within the Research Papers-track
2024
ASE
2023
ICSE
- Author of Improving Automatic C-to-Rust Translation with Static Analysis within the DS - Doctoral Symposium-track
- Author of Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs within the Artifact Evaluation-track
- Author of Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs within the Technical Track-track