Welcome to POSL

Principles of Software engineering and programming Languages (POSL) is a researchers group at Kyushu University, Japan.

We are studying on...

  1. SE for AI, AI for SE.
  2. Mining Software Repositories.

Research Topics

 SE for AI, AI for SE

  • Machine Learning Engineering
  • Automatic Improvement of Neural Network Models
  • Co-creative Programming with AI
  • Formal Verification

 Mining Software Repositories

  • Open Source Software Engineering
  • Empirical Software Engineering
  • Software Test/Debug
  • Automated Refactoring
  News
  • A student (M1) and Masanari Kondo visited Prof. Alexander Serebrenik (Eindhoven University of Technology) to discuss our collaborative research project. (写真: リンク)
    7 Oct. 2024
  • At FOSE 2024, Masanari Kondo 's paper "異なる変更量のコミットがJust-In-Timeバグ予測の評価結果へ与える影響の調査" has been accepted!
    20 Sep. 2024
  • We attended SES 2024 and presented our research projects. (写真: リンク)
    17 Sep. 2024
  • At APSEC 2024, Yuta Ishimoto(D2) 's paper "An Empirical Study on Self-Admitted Technical Debt in Quantum Software" has been accepted!
    14 Sep. 2024
  • At ISSTA 2024, Honglin Shu (D1) received the ACM SIGSOFT Distinguished Paper Award. (Program: link)
    12 Sep. 2024
  • We hosted Jianchen Zhao, a Ph.D. Candidate in University of Waterloo under the supervision of Dr.Lan Wei. (写真: リンク)
    6 Aug. 2024
  • We hosted Dr. Leandro Minku, an associate professor at University of Birminghaman. (写真: リンク)
    9 Jul. 2024
  • We attended MSR Summit Japan 2024. (写真: リンク)
    5 Jul. 2024
  • At ISSTA 2024, Honglin Shu (D1) 's paper "Large Language Models for Equivalent Mutant Detection: How Far are We? (collaboration with Dong Wang (Tianjin University, China) and Junjie Chen (Tianjin University, China))" has been accepted!
    3 Jul. 2024
  • At EMSE 2024, Masanari Kondoo 's paper "An Empirical Study of Token-based Micro Commits (collaboration with Daniel German (University of Victoria, Canada), Naoyasu Ubayashi (Waseda University), and Osamu Mizuno (Kyoto Institute of Technology))" has been accepted!
    3 Jul. 2024
  • more...