Comp. Software Group, Kyoto U

Official Mastodon account for Computer Software Group, Kyoto U;

Comp. Software Group, Kyoto U
fos_kuis@mastodon.acm.org

[論文・研究発表] IEEE ICBC'24 (icbc2024.ieee-icbc.org/) に採択されました.Y. Nishida, K. Suenaga, A. Igarashi (@50storms). "iCon: Automated Verification of Inter-Transaction Properties in Tezos Smart Contracts with Unknowns"

3 days ago
Comp. Software Group, Kyoto U
fos_kuis@mastodon.acm.org

[研究発表] PPL2024 (jssst-ppl.org/workshop/2024) カテゴリ2ではAPLAS2023で発表されたYudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara "Compilation Semantics for a Programming Language with Versions." についての発表も行います。
mastodon.acm.org/@fos_kuis/111

February 17, 2024
Comp. Software Group, Kyoto U
fos_kuis@mastodon.acm.org

[論文・研究発表] FLOPS2024 (conf.researchr.org/home/flops-) に採択されました.T. Suwa, A. Igarashi (@50storms) "An ML-Style Module System for Cross-Stage Type Abstraction in Multi-Stage Programming"

February 17, 2024
Comp. Software Group, Kyoto U
fos_kuis@mastodon.acm.org

[ポスター発表]「データフローセキュリティの検証のためのIoTシステムモデリング言語Rabbit」by 稲葉皓信,五十嵐淳,石川裕,関山太朗.(PPL2024 (jssst-ppl.org/workshop/2024))

February 17, 2024
Comp. Software Group, Kyoto U
fos_kuis@mastodon.acm.org

[ポスター発表]「iCon: Tezos スマートコントラクト群に対する未知の存在する下での協調動作検証器」by 西田雄気,末永幸平,五十嵐淳.(PPL2024 (jssst-ppl.org/workshop/2024))

February 17, 2024
Comp. Software Group, Kyoto U
fos_kuis@mastodon.acm.org

[ポスター発表]「モジュールの静的解釈に関するより網羅的かつ堅牢な正当性の証明を目指して」by 諏訪敬之,五十嵐淳.(PPL2024 (jssst-ppl.org/workshop/2024))

February 17, 2024
Comp. Software Group, Kyoto U
fos_kuis@mastodon.acm.org

[ポスター発表]「代数的エフェクトとハンドラのためのエフェクトシステムの抽象化」by 吉岡拓真,関山太朗,五十嵐淳.(PPL2024 (jssst-ppl.org/workshop/2024))

February 17, 2024
Comp. Software Group, Kyoto U
fos_kuis@mastodon.acm.org

[ポスター発表]「項書換系の完備化を用いたCoqの等式証明プラグイン」by 矢島創一,池渕未来.(PPL2024 (jssst-ppl.org/workshop/2024))

February 17, 2024
Comp. Software Group, Kyoto U
fos_kuis@mastodon.acm.org

[論文・研究発表]「命令型プログラムの安全性検証のための所有権主導変換」by 小林亮太,中村烈士,五十嵐淳,末永幸平,小林 直樹.(PPL2024 (jssst-ppl.org/workshop/2024))

February 17, 2024
Comp. Software Group, Kyoto U
fos_kuis@mastodon.acm.org

[受賞] 入江君による本発表が優秀発表賞及び学生奨励賞を受賞しました。

November 17, 2023
Comp. Software Group, Kyoto U
fos_kuis@mastodon.acm.org

[受賞] 廣瀬君による本発表が学生奨励賞を受賞しました。

November 17, 2023
Comp. Software Group, Kyoto U
fos_kuis@mastodon.acm.org

11/6 より Lisbon大の Vasco Vasconcelos 教授をJSPS招へい研究員として研究室にお迎えしました。

November 10, 2023
Comp. Software Group, Kyoto U
fos_kuis@mastodon.acm.org

[論文・研究発表] APLAS'23 (conf.researchr.org/home/aplas-) に採択されました。Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara "Compilation Semantics for a Programming Language with Versions."

October 10, 2023
Comp. Software Group, Kyoto U
fos_kuis@mastodon.acm.org

[論文・研究発表] 修士課程の入江堅吾君が、日本ソフトウェア科学会第40回大会(jssst2023.wordpress.com/) にて、”Active Learning of Symbolic Mealy Machines” by Kengo Irie, Masaki Waga, Kohei Suenaga (Kyoto University)についての口頭発表を行います。

September 05, 2023
Comp. Software Group, Kyoto U
fos_kuis@mastodon.acm.org

[論文・研究発表] 日本ソフトウェア科学会第40回大会(jssst2023.wordpress.com/progra) にて、「様相論理による統計的因果の形式化」by 川本裕輔 (産業技術総合研究所), 佐藤哲也 (東京工業大学), 末永幸平 (京都大学)についての口頭発表があります。(話者:川本裕輔さん)

September 05, 2023
Comp. Software Group, Kyoto U
fos_kuis@mastodon.acm.org

[論文・研究発表] 修士課程の廣瀬雄一君が、日本ソフトウェア科学会第40回大会(jssst2023.wordpress.com/progra) にて、「解釈が容易な特徴量を用いたFeature Attribution に基づく将棋AIの指し手の解釈可能性向上手法」by 廣瀬雄一、和賀正樹、末永幸平(京都大学)についての口頭発表を行います。

September 05, 2023