BibTeX records: Jaemin Hong

download as .bib file

@article{DBLP:journals/tse/ParkLHR23,
  author       = {Jihee Park and
                  Sungho Lee and
                  Jaemin Hong and
                  Sukyoung Ryu},
  title        = {Static Analysis of {JNI} Programs via Binary Decompilation},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {49},
  number       = {5},
  pages        = {3089--3105},
  year         = {2023},
  url          = {https://doi.org/10.1109/TSE.2023.3241639},
  doi          = {10.1109/TSE.2023.3241639},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/ParkLHR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Hong23,
  author       = {Jaemin Hong},
  title        = {Improving Automatic C-to-Rust Translation with Static Analysis},
  booktitle    = {45th {IEEE/ACM} International Conference on Software Engineering:
                  {ICSE} 2023 Companion Proceedings, Melbourne, Australia, May 14-20,
                  2023},
  pages        = {273--277},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICSE-Companion58688.2023.00074},
  doi          = {10.1109/ICSE-COMPANION58688.2023.00074},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/Hong23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HongR23,
  author       = {Jaemin Hong and
                  Sukyoung Ryu},
  title        = {Concrat: An Automatic C-to-Rust Lock {API} Translator for Concurrent
                  Programs},
  booktitle    = {45th {IEEE/ACM} International Conference on Software Engineering,
                  {ICSE} 2023, Melbourne, Australia, May 14-20, 2023},
  pages        = {716--728},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICSE48619.2023.00069},
  doi          = {10.1109/ICSE48619.2023.00069},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/HongR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/ParkHR23,
  author       = {Jihee Park and
                  Jaemin Hong and
                  Sukyoung Ryu},
  editor       = {Edwin C. Brady and
                  Jens Palsberg},
  title        = {Semantic Transformation Framework for Rewriting Rules},
  booktitle    = {Proceedings of the 2023 {ACM} {SIGPLAN} International Workshop on
                  Partial Evaluation and Program Manipulation, {PEPM} 2023, Boston,
                  MA, USA, January 16-17, 2023},
  pages        = {1--13},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3571786.3573016},
  doi          = {10.1145/3571786.3573016},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/ParkHR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-10943,
  author       = {Jaemin Hong and
                  Sukyoung Ryu},
  title        = {Concrat: An Automatic C-to-Rust Lock {API} Translator for Concurrent
                  Programs},
  journal      = {CoRR},
  volume       = {abs/2301.10943},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2301.10943},
  doi          = {10.48550/ARXIV.2301.10943},
  eprinttype    = {arXiv},
  eprint       = {2301.10943},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2301-10943.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsit/KooDNSLOHLCCS22,
  author       = {Byeongwoo Koo and
                  Sunghan Do and
                  Sang{-}Pil Nam and
                  Heewook Shin and
                  Sungno Lee and
                  Eunhye Oh and
                  Jaemin Hong and
                  Jung{-}Ho Lee and
                  Youngjae Cho and
                  Michael Choi and
                  Jongshin Shin},
  title        = {A 12-bit 8GS/s {RF} Sampling {DAC} with Code-Dependent Nonlinearity
                  Compensation and Intersegmental Current-Mismatch Calibration in 5nm
                  FinFET},
  booktitle    = {{IEEE} Symposium on {VLSI} Technology and Circuits {(VLSI} Technology
                  and Circuits 2022), Honolulu, HI, USA, June 12-17, 2022},
  pages        = {86--87},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/VLSITechnologyandCir46769.2022.9830442},
  doi          = {10.1109/VLSITECHNOLOGYANDCIR46769.2022.9830442},
  timestamp    = {Thu, 04 Aug 2022 10:53:40 +0200},
  biburl       = {https://dblp.org/rec/conf/vlsit/KooDNSLOHLCCS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ParkHSR19,
  author       = {Gyunghee Park and
                  Jaemin Hong and
                  Guy L. Steele Jr. and
                  Sukyoung Ryu},
  title        = {Polymorphic symmetric multiple dispatch with variance},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {3},
  number       = {{POPL}},
  pages        = {11:1--11:28},
  year         = {2019},
  url          = {https://doi.org/10.1145/3290324},
  doi          = {10.1145/3290324},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/ParkHSR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aciids/HongKKK19,
  author       = {Jaemin Hong and
                  Shinheon Kim and
                  KyuJin Kim and
                  ChongGun Kim},
  editor       = {Ngoc Thanh Nguyen and
                  Ford Lumban Gaol and
                  Tzung{-}Pei Hong and
                  Bogdan Trawinski},
  title        = {Multi-cell Based {UWB} Indoor Positioning System},
  booktitle    = {Intelligent Information and Database Systems - 11th Asian Conference,
                  {ACIIDS} 2019, Yogyakarta, Indonesia, April 8-11, 2019, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11432},
  pages        = {543--554},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-14802-7\_47},
  doi          = {10.1007/978-3-030-14802-7\_47},
  timestamp    = {Thu, 16 Mar 2023 20:00:29 +0100},
  biburl       = {https://dblp.org/rec/conf/aciids/HongKKK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aciids/HongKK18,
  author       = {Jaemin Hong and
                  KyuJin Kim and
                  ChongGun Kim},
  editor       = {Ngoc Thanh Nguyen and
                  Duong Hung Hoang and
                  Tzung{-}Pei Hong and
                  Hoang Pham and
                  Bogdan Trawinski},
  title        = {Comparison of Indoor Positioning System Using Wi-Fi and {UWB}},
  booktitle    = {Intelligent Information and Database Systems - 10th Asian Conference,
                  {ACIIDS} 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10751},
  pages        = {623--632},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-75417-8\_58},
  doi          = {10.1007/978-3-319-75417-8\_58},
  timestamp    = {Thu, 16 Mar 2023 20:00:29 +0100},
  biburl       = {https://dblp.org/rec/conf/aciids/HongKK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/HongPR18,
  author       = {Jaemin Hong and
                  Jihyeok Park and
                  Sukyoung Ryu},
  editor       = {Sebastian Erdweg and
                  Bruno C. d. S. Oliveira},
  title        = {Path dependent types with path-equality},
  booktitle    = {Proceedings of the 9th {ACM} {SIGPLAN} International Symposium on
                  Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
  pages        = {35--39},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3241653.3241657},
  doi          = {10.1145/3241653.3241657},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scala/HongPR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aciids/ZhuKHK17,
  author       = {Wenjun Zhu and
                  Shinheon Kim and
                  Jaemin Hong and
                  Chonggun Kim},
  editor       = {Dariusz Kr{\'{o}}l and
                  Ngoc Thanh Nguyen and
                  Kiyoaki Shirai},
  title        = {Analysis of Indoor Positioning Based on {BLE}},
  booktitle    = {Advanced Topics in Intelligent Information and Database Systems, -
                  9th Asian Conference, {ACIIDS} 2017, Kanazawa, Japan, April 3-5, 2017,
                  Extended Posters},
  series       = {Studies in Computational Intelligence},
  volume       = {710},
  pages        = {421--430},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-56660-3\_36},
  doi          = {10.1007/978-3-319-56660-3\_36},
  timestamp    = {Thu, 16 Mar 2023 20:00:29 +0100},
  biburl       = {https://dblp.org/rec/conf/aciids/ZhuKHK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bdta/HongKK17,
  author       = {Jaemin Hong and
                  KyuJin Kim and
                  ChongGun Kim},
  editor       = {Jason J. Jung and
                  Pankoo Kim and
                  Kwang Nam Choi},
  title        = {Improving Indoor Positioning Performance in an Emergency Deployment
                  System},
  booktitle    = {Big Data Technologies and Applications - 8th International Conference,
                  {BDTA} 2017, Gwangju, South Korea, November 23-24, 2017, Proceedings},
  series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
                  and Telecommunications Engineering},
  volume       = {248},
  pages        = {49--59},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-98752-1\_6},
  doi          = {10.1007/978-3-319-98752-1\_6},
  timestamp    = {Tue, 14 May 2019 15:50:13 +0200},
  biburl       = {https://dblp.org/rec/conf/bdta/HongKK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bdta/KimWH16,
  author       = {ChongGun Kim and
                  Mary Wu and
                  Jaemin Hong},
  editor       = {Jason J. Jung and
                  Pankoo Kim},
  title        = {Allocation Four Neighbor Exclusive Channels to Polyhedron Clusters
                  in Sensor Networks},
  booktitle    = {Big Data Technologies and Applications - 7th International Conference,
                  {BDTA} 2016, Seoul, South Korea, November 17-18, 2016, Proceedings},
  series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
                  and Telecommunications Engineering},
  volume       = {194},
  pages        = {29--39},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-58967-1\_4},
  doi          = {10.1007/978-3-319-58967-1\_4},
  timestamp    = {Mon, 13 May 2019 12:58:05 +0200},
  biburl       = {https://dblp.org/rec/conf/bdta/KimWH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics