2017.04.22

Publications

An Empirical Study of Computation-Intensive Loops for Identifying and Classifying Loop Kernels (ICPE2017) An Empirical Study of Computation-Intensive Loops for Identifying and Classifying Loop Kernels (ICPE2017)

evidence based tuning, program analysis

2017.04.05

Publications

STAIR Captions: 大規模日本語画像キャプションデータセット (NLP2017) STAIR Captions: a Large-Scale Japanese Image Caption Dataset (NLP2017)

2017.04.05

Publications

STAIR Captions: Constructing a Large-Scale Japanese Image Caption Dataset (ACL2017 Short) Constructing Large-Scale Japanese Image Caption Dataset (ACL2017 Short)

2017.02.15

Publications

Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations

memory consistency models, program logic, logic

2016.10.09

Publications

Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models

memory consistency models, program logic, logic

2016.10.06

Publications

Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models

program verification, memory consistency models, model checking

2016.05.01

Publications

ノイズあり属性統計量からの学習 (JSAI2016) Learning from Attribute Statistics with Noise (JSAI2016)

2015.12.01

Publications

Cross-Domain Matching for Bag-of-Words Data via Kernel Embeddings of Latent Distributions (NIPS2015) Cross-Domain Matching for Bag-of-Words Data via Kernel Embeddings of Latent Distributions (NIPS2015)