Jooyong Yi

(aka, Jooyong Lee)



Assistant Professor at
Industrial Production of Software Lab
Institute of Technologies and Software Development
Innopolis University

E-mail: j.yi at innopolis.ru

[CV]


Research Interests


Professional Activities


Research Projects Involved


Past Work Experience


Education


Publications (Journals)


Publications (Conferences and Workshops)

  • [ESEC/FSE17-a]
    A Feasibility Study of Using Automated Program Repair for Introductory Programming Assignments (PDF) with 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), Research Track, 2017.
  • [ESEC/FSE17-b]
    What Do Software Engineers Care About? Gaps between Research and Practice (PDF) with Vladimir Ivanov, Alan Rogers, Giancarlo Succi and Vasily Zorin Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), Industry Track, 2017.
  • [ICSE-POSTER17]
    Codeflaws: A Programming Competition Benchmark for Evaluating Automated Program Repair Tools (PDF) with Shin Hwei Tan, Yulis, Sergey Mechtaev and Abhik Roychoudhury, ACM/IEEE International Conference on Software Engineering (ICSE), Poster track 2017.
  • [ICSE16]
    Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis (PDF) with Sergey Mechtaev and Abhik Roychoudhury, ACM/IEEE International Conference on Software Engineering (ICSE), 2016.
  • [ICSE15]
    DirectFix: Looking for Simple Program Repairs (PDF) with Sergey Mechtaev and Abhik Roychoudhury, ACM/IEEE International Conference on Software Engineering (ICSE), 2015.
  • [ICSME-ERA14]
    Dynamic Inference of Change Contracts (PDF) with Tien-Duy B. Le, David Lo, Ferdian Thung and Abhik Roychoudhury, International Conference on Software Maintenance and Evolution (ERA track), 2014.
  • [ISSTA13]
    Expressing and checking intended changes via software change contracts (PDF) Dawei Qi, Shin Hwei Tan, and Abhik Roychoudhury International Symposium on Software Testing and Analysis (ISSTA), 2013.
  • [AOSD13]
    Past expression: encapsulating pre-states at post-conditions by means of AOP (PDF) Robby, Xianghua Deng, and Abhik Roychoudhury International conference on Aspect-oriented software development (AOSD), 2013.
  • [FSE-NIER12]
    ACM DL Author-ize serviceSoftware Change Contracts
    Dawei Qi, Jooyong Yi, Abhik Roychoudhury
    FSE '12 Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, 2012
  • [V&D06]
    Dynamic Reverse Code Generation for Backward Execution Proceedings of the Workshop on Verification and Debugging, pages 37-54 2006.
  • [ASE06]
    Bogor/Kiasan : A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems (PDF) with Xianghua Deng and Robby, Automated Software Engineering (ASE), 2006.
  • [MOVEP04]
    Reverse Code Generation for Java Program Model Checking In Proceedings of the Winter School on MOdelling and VErifying parallel Processes, 2004.
  • [ICCIS02]
    Linkage of Model Checking to Debugger Using Extended JPDA with Ki-Seok Bang and Jin-Young Choi, International Conference on Computer and Information Science, 2002.
  • [SERP02]
    Systematic Testing of Java Programs Using Extended JPDA and Reflection with Ki-Seok Bang and Jin-Young Choi, Conference on Software Engineering Research and Practice (SERP), 2002.