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 unist.ac.kr

[CV]




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

Research Interests

I am most interested in reasoning about programs for practical purposes. To reason about programs, various techniques -- such as program analysis and machine learning -- can be used. Among many practical applications, I am currently focusing on automated program repair whereby correct program behavior is inferred, based on which the buggy program is automatically fixed.


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

Education