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

  • (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


Publications (Journals)


Publications (Conferences and Workshops)

  • [ICSE-NIER18]
    Understanding the Impact of Software Processes on the Minds of Developers (PDF) with Sara Busechian, Vladimir Ivanov, Alan Rogers, Ilyas Sirazitdinov, Giancarlo Succi, and Alexander Tormasov, ACM/IEEE International Conference on Software Engineering (ICSE), NIER track, 2018.
  • [ICSE-POSTER18]
    Precooked Developer Dashboards: What to Show and How to Use (PDF) with Sara Busechian, Vladimir Ivanov, Alan Rogers, Ilyas Sirazitdinov, Giancarlo Succi, and Alexander Tormasov, ACM/IEEE International Conference on Software Engineering (ICSE), Poster track, 2018.
  • [ENASE18]
    Toward a Better Understanding of How to Develop Software Under Stress – Drafting the Lines for Future Research (PDF) with Joseph Alexander Brown, Vladimir Ivanov, Alan Rogers, Giancarlo Succi, and Alexander Tormasov, Evaluation of Novel Approaches to Software Engineering (ENASE), 2018.
  • [SAC18]
    A New Architecture and Implementation Strategy for Non-Invasive Software Measurement Systems (PDF) with Anton Bykov, Vladimir Ivanov, Alan Rogers, Alexandr Shunevich, Alberto Sillitti, Giancarlo Succi, Alexander Tormasov, Albert Zabirov and Denis Zaplatnikov, ACM Symposium on Applied Computing (SAC), 2018.
  • [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.