Principles of Software engineering and programming Languages (POSL) is a researchers group at Kyushu University, Japan.
We are studying on...
SE for AI, AI for SE.
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
Assistant Professor Kondo has been selected for the JSPS KAKENHI Grant-in-Aid for Scientific Research (B) with the research proposal! The project will run for four years starting in 2025!
28 Feb. 2025
We held a farewell party for the students who completed their theses! (写真: リンク)
26 Feb. 2025
A Ph.D. student and a master student from Waseda University visited us! They will stay for about two weeks to proceed with our collaborative research. (写真: リンク)
7 Feb. 2025
A student from Osaka University visited our lab! They will stay for about two weeks to proceed with our collaborative research.
20 Jan. 2025
At コンピュータソフトウェア誌, Kazushi Tomoto 's paper "生存時間分析に基づくOSSの持続可能性の実証的評価" has been accepted!
3 Dec. 2024
M1 student has been selected for the K-BOOST!
3 Dec. 2024
Professor Kamei Accepted to JST ASPIRE! With a budget spanning just over three years, our lab can now actively support international exchanges on a large scale. This includes sending students and researchers abroad, as well as inviting overseas researchers to collaborate with us! (HP: link)
1 Dec. 2024
At FOSE2024, Yuta Ishimoto(D2) received the FOSE2024 Poster/Demo Award. (受賞リンク: link)
30 Nov. 2024
At TOSEM 2024, Yuta Ishimoto(D2) 's paper "Repairs and Breaks Prediction for Deep Neural Networks" has been accepted!
22 Oct. 2024
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
Kazushi Tomoto has been selected for the K2-Spring!
30 Aug. 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. (写真: リンク)
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!
