2020.06.03

Publications

Video Caption Dataset for Describing Human Actions in Japanese Video Caption Dataset for Describing Human Actions in Japanese

natural language processing, dataset, computer vision, video caption

2019.11.16

Publications

Polymorphic Computation Systems: Theory and Practice of Confluence with Call-by-Value Polymorphic Computation Systems: Theory and Practice of Confluence with Call-by-Value

rewriting, confluence, termination, solver

2019.10.23

Publications

A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language

program verification, high performance computing, operational semantics, type system, concurrency, parallel processing

2018.11.08

Publications

Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugging on Source Code Changes (ESEC/FSE2018) Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugging on Source Code Changes

automated debugging, software regression, tree differencing

2018.10.19

Publications

Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code (PLAS2018) Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code

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

Publications

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

computer vision, action recognition, machine learning