Jooyong Yi

Assistant Professor
School of Electrical and Computer Engineering
Ulsan National Institute of Science and Technology
50 UNIST-gil
Ulsan 44919
Republic of Korea

Location: Building 106, Room 401-9

E-mail: jooyong at


A postdoctoral position and funded MS/PhD positions are available.

Research Interests

I am most interested in reasoning about computer programs for practical purposes. Among many practical applications of program reasoning, I am currently focusing on automated program repair whereby correct program behavior is inferred, based on which the buggy program is automatically fixed. Automated program repair is expected to boost the productivity of software developers. Building software that can modify or build itself is also intellectually intriguing. How can we achieve this challenging goal? I believe an answer is in effectively combining logic-driven techniques such as program analysis and data-driven techniques such as machine learning.

Below are research areas I have been working on.

Publications [DBLP] [Google Scholar]

  • Selected Publications
    • [ICSE16]
      Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis (PDF)
      Sergey Mechtaev, Jooyong Yi and Abhik Roychoudhury
      ACM/IEEE International Conference on Software Engineering (ICSE), 2016.
    • [ICSE15]
      DirectFix: Looking for Simple Program Repairs (PDF)
      Sergey Mechtaev, Jooyong Yi and Abhik Roychoudhury,
      ACM/IEEE International Conference on Software Engineering (ICSE), 2015.
    • [ESEC/FSE17]
      A Feasibility Study of Using Automated Program Repair for Introductory Programming Assignments (PDF)
      Jooyong Yi, Umair Z. Ahmed, Amey Karkare, Shin Hwei Tan and Abhik Roychoudhury
      Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), 2017.
    • [EMSE18]
      A Correlation Study between Automated Program Repair and Test-Suite Metrics (PDF)
      Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme and Abhik Roychoudhury
      Empirical Software Engineering (EMSE), 23(5):2948-2979, 2018.
    • [TOSEM15]
      Software Change Contracts (PDF)
      Jooyong Yi, Dawei Qi, Shin Hwei Tan and Abhik Roychoudhury
      ACM Transactions on Software Engineering and Methodology (TOSEM), 24(3), 18:1-18:43, 2015.
    • [AOSD13]
      Past expression: encapsulating pre-states at post-conditions by means of AOP (PDF)
      Jooyong Yi, Robby, Xianghua Deng and Abhik Roychoudhury
      International conference on Aspect-oriented software development (AOSD), 2013.
    • [ASE06]
      Bogor/Kiasan : A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems (PDF)
      Xianghua Deng, Jooyong Lee and Robby
      Automated Software Engineering (ASE), 2006.
    • [IST10]
      Filtering false alarms of buffer overflow analysis using SMT solvers (PDF)
      Youil Kim, Jooyong Lee, Hwansoo Han and Kwang-Moo Choe
      Information and Software Technology, 52(2):210-219, February 2010.

Recent Professional Activities

  • Co-organizer - NII Shonan meeting on JML
  • PC member
  • Reviewer
    • IEEE Transactions on Software Engineering (TSE)
    • Empirical Software Engineering (EMSE)
    • IEEE Transactions on Dependable and Secure Computing (TDSC)
    • Information and Software Technology (IST)
    • International Journal on Software Tools for Technology Transfer (STTT)

Past Work Experience

  • Assistant Professor at Innopolis University, Russia, 2017--2018
  • (Senior) Research Fellow at School of Computing, National University of Singapore, Singapore, 2011--2016
  • Research Professor at College of Information and Communications, Korea University, South Korea, 2011
  • Postdoc at College of Information and Communications, Korea University, South Korea, 2010
  • Postdoc at Department of Computing and Information Sciences, Kansas State University, USA, 2008--2010
  • Postdoc at Division of Computer Science, KAIST, South Korea, 2007--2008