ようこそ,POSL へ!

POSL (Principles of Software engineering and programming Languages)では, ソフトウェア工学の研究を行っています. 具体的には,ソフトウェア開発過程の自動化のための研究や,ソフトウェアリポジトリマイニングを行っています. ソフトウェア分野研究の中でも非常にホットなトピックを多岐に渡って扱っており, 海外の研究者とも積極的に共同研究しています.

研究室紹介

亀井研究室についても詳しく知りたいという方はぜひ, 研究室紹介 のページをご覧ください.

研究トピック

 SE for AI と AI for SE

  • 機械学習工学
  • ニューラルネットワークモデルの自動改善
  • 人工知能との共創的プログラミング
  • プログラムの正しさの自動証明支援,停止性検証

 ソフトウェアリポジトリマイニング

  • オープンソースソフトウェア工学
  • エンピリカルソフトウェア工学
  • ソフトウェアのテスト・デバッグ支援
  • リファクタリングの自動化
  News
  • M1の学生と近藤助教がAlexander Serebrenik先生(Eindhoven University of Technology)を訪問し,共同研究について議論しました! (写真: リンク)
    7 Oct. 2024
  • FOSE 2024 にて,近藤 将成助教 の論文 "異なる変更量のコミットがJust-In-Timeバグ予測の評価結果へ与える影響の調査" が採録されました!
    20 Sep. 2024
  • SES2024@慶應義塾大学に参加し友池くん,Taoくん,Olivierさん,近藤助教が発表しました (写真: リンク)
    17 Sep. 2024
  • APSEC 2024 にて,石本 優太(D2) の論文 "An Empirical Study on Self-Admitted Technical Debt in Quantum Software" が採録されました!
    14 Sep. 2024
  • ISSTA 2024 にて,Honglin Shu (D1) がACM SIGSOFT Distinguished Paper Awardを受賞しました! (Program: link)
    12 Sep. 2024
  • 博士学生のJianchen Zhaoさん(University of WaterlooのLan Wei先生指導)が研究室へ訪問され,共同研究を現在進めております! (写真: リンク)
    6 Aug. 2024
  • Leandro Minku先生が研究室へ訪問され講演されました! (写真: リンク)
    9 Jul. 2024
  • MSR Summit Japan 2024@広島に参加しました (写真: リンク)
    5 Jul. 2024
  • ISSTA 2024 にて,Honglin Shu (D1) の論文 "Large Language Models for Equivalent Mutant Detection: How Far are We? (collaboration with Dong Wang (Tianjin University, China) and Junjie Chen (Tianjin University, China))" が採録されました!
    3 Jul. 2024
  • EMSE 2024 にて,近藤 将成助教 の論文 "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))" が採録されました!
    3 Jul. 2024
  • more...