小島健介

J-GLOBALへ         更新日: 18/04/19 13:20
 
アバター
研究者氏名
小島健介
所属
京都大学
職名
研究員
学位
博士(情報学)(京都大学)

プロフィール

最近はプログラム検証の研究をしています。
現在の主なトピックは GPGPU プログラムの検証と不変条件の生成です。
論理学・型理論にも興味があります。

研究分野

 
 

論文

 
ブール関数と組合せ集合の圏論的性質に基づくBDDとZDDの比較
小島健介
SIG-FPAI   B5(03) 57-62   2018年3月
Kensuke Kojima,Akifumi Imanishi,Atsushi Igarashi
J. Autom. Reasoning   60(3) 279-298   2018年   [査読有り]
Hirofumi Nakamura,Kensuke Kojima,Kohei Suenaga,Atsushi Igarashi
Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings   514-533   2017年   [査読有り]
Takamasa Okudono,Yuki Nishida,Kensuke Kojima,Kohei Suenaga,Kengo Kido,Ichiro Hasuo
Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings   491-513   2017年   [査読有り]
Kensuke Kojima,Atsushi Igarashi
ACM Trans. Comput. Log.   18(1) 3:1-3:43   2017年   [査読有り]

講演・口頭発表等

 
Formal Verification of the Correctness of CUDA Programs Using Hoare Logic
小島健介, 五十嵐淳
International Symbosium on Post Petascale System Software   2014年12月2日   
Generic GluonJ に向けて
小島健介, 五十嵐淳
PPL 2014   2014年3月5日   
SIMT プログラムのためのホーア論理
小島健介, 五十嵐淳
PPL 2013   2013年3月4日   
Birelational Kripke semantics for an intuitionistic LTL
Kensuke Kojima
Topology, algebra and categories in logic (TACL) 2009   2009年7月   
On Constructive Linear-Time Temporal Logic
Kensuke Kojima
Intuitionistic modal logic and applications (IMLA) '08   2008年6月