2020.06.03

Publications

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

video caption, natural language processing, dataset, computer vision

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

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

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

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