Research | STAIR: Software Technology and Artificial Intelligence Research Laboratory

Research

2018.06.17

Publications

Local Data Race Freedom with Non-Multi-Copy Atomicity Local Data Race Freedom with Non-Multi-Copy Atomicity

memory consistency models, model checking, bisimulation, data race freedom, operational semantics
2018.04.13

Dataset

STAIR Actions: A Large-Scale Video Dataset of Everyday Human Actions STAIR Actions: A Large-Scale Video Dataset of Everyday Human Actions

machine learning, action recognition, computer vision
2018.04.13

Publications

STAIR Actions: A Video Dataset of Everyday Home Actions STAIR Actions: A Video Dataset of Everyday Home Actions

machine learning, action recognition, computer vision
2018.03.15

Publications

Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN

memory consistency models, model checking
2018.01.31

Poster

CCA/EBT: Code Comprehension Assistance Tool for Evidence-Based Performance Tuning (HPCAsia2018) CCA/EBT: Code Comprehension Assistance Tool for Evidence-Based Performance Tuning (HPCAsia2018)

program analysis, machine learning, high performance computing, Fortran, evidence-based performance tuning
2017.12.15

Publications

Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models

memory consistency models, model checking, program verification
2017.12.02

Poster

Delayed Feedback を考慮した予測モデルの提案(IBIS2017) Prediction Models Considering Delayed Feedback (IBIS2017) (in Japanese)

machine learning, cyberagent, conversion rate prediction
2017.11.12

Publications

A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models

memory consistency models, model checking, program verification
2017.11.07

Honors / Awards

大川賞 The Okawa Prize

concurrent objects
2017.10.19

Publications

Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models

memory consistency models, model checking, program verification, garbage collection

12 3 >