Research Interests

• Machine Learning Applictaions / Optimization
• Compilers / Paralellizations for ML
• (Functional) Programming Languages

Publications

• Tag2Pix: Line Art Colorization using Text Tag with SECat and Changing Loss
  Hyunsu Kim*, Ho Young Jhoo*, Eunhyeok Park, Sungjoo Yoo (* equal contribution.)
  International Conference on Computer Vision (ICCV 2019).
  [arXiv] [code] [gui]

• A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code
  Ho Young Jhoo, Sehoon Kim, Woosung Song, Kyuyeon Park, DongKwon Lee, Kwangkeun Yi.
  2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion 2022) Poster Track.
  [paper] [project page]
• SMT-based Translation Validation for Machine Learning Compiler
  Seongwon Bang, Seunghyeon Nam, Inhwan Chun, Ho Young Jhoo, Juneyoung Lee.
  34rd International Conference on Computer-Aided Verification (CAV 2022).

Education

• Sep. 2022 – Current, Ph.D Student, Computer Science and Engineering, Seoul National University (advisor: Nuno P. Lopes and Chung-Kil Hur)
• Mar. 2020 – Aug. 2022, M.S., Computer Science and Engineering, Seoul National University (advisor: Chung-Kil Hur)
• Mar. 2013 – Feb. 2020, B.S., Computer Science and Engineering, cum laude, Seoul National University
• Mar. 2010 – Feb. 2013, Seoul Science High School

Experience

• Apr. 2019 – Sep. 2019, Software Intern, Furiosa AI
• Sep. 2016 – Sep. 2018, Airman, Mobile & Web developer, Information System Management Wing, ROK Air Force
• Sep. 2015 – Aug. 2016, Client Programmer & Game System Designer, LoadComplete