Publications
-
2020.10.26
PubChemQC PM6: Data Sets of 221 Million Molecules with Optimized Molecular Geometries and Electronic Properties PubChemQC PM6: Data Sets of 221 Million Molecules with Optimized Molecular Geometries and Electronic Properties
Maho Nakata, Tomomi Shimazaki, Masatomo Hashimoto, and Toshiyuki Maeda. PubChemQC PM6: Data Sets of 221 Millio... -
2020.06.03
Video Caption Dataset for Describing Human Actions in Japanese Video Caption Dataset for Describing Human Actions in Japanese
In recent years, automatic video caption generation has attracted considerable attention. This paper focuses o...video captioncomputer visiondatasetnatural language processing
-
2019.11.16
Polymorphic Computation Systems: Theory and Practice of Confluence with Call-by-Value Polymorphic Computation Systems: Theory and Practice of Confluence with Call-by-Value
Makoto Hamana, Tatsuya Abe, and Kentaro Kikuchi. Polymorphic Computation Systems: Theory and Practice of Confl... -
2019.10.23
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
Tatsuya Abe. A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language. In Pro...operational semanticsprogram verificationhigh performance computingtype systemconcurrencyparallel processing
-
2018.11.08
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
Delta debugging (DD) is an approach to automating the debugging activities based on systematic testing. DD alg... -
2018.10.19
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
Program analysis on binary code is considered as difficult because one has to resolve destinations of indirect... -
2018.06.17
Local Data Race Freedom with Non-Multi-Copy Atomicity Local Data Race Freedom with Non-Multi-Copy Atomicity
Tatsuya Abe. Local Data Race Freedom with Non-Multi-Copy Atomicity. In Proceedings of SPIN, volume 10869 of Le...data race freedommemory consistency modelsmodel checkingbisimulationoperational semantics
-
2018.04.13
STAIR Actions: A Video Dataset of Everyday Home Actions STAIR Actions: A Video Dataset of Everyday Home Actions
Yuya Yoshikawa, Jiaqing Lin, Akikazu Takeuchi arXiv:1804.04326 [cs.CV], April, 2018. A new large-scale video d... -
2018.03.15
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
Kosuke Matsumoto, Tomoharu Ugawa, and Tatsuya Abe. Improvement of a Library for Model Checking under Weakly Or... -
2017.12.15
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
Tatsuya Abe, Tomoharu Ugawa, and Toshiyuki Maeda. Reordering control approaches to state explosion in model ch...