Publications
-
2021.05.22
Binarized Embeddings for Fast, Space-Efficient Knowledge Graph Completion Binarized Embeddings for Fast, Space-Efficient Knowledge Graph Completion
Katsuhiko Hayashi, Koki Kishimoto, and Masashi Shimbo. Binarized Embeddings for Fast, Space-Efficient Knowledg... -
2021.01.22
脆弱性解析を用いた効果的なバイナリCFIの実現に向けて（SCIS2021） Toward Effective Enforcement of Binary-CFI with Vulnerability Analysis
橋本政朋(千葉工業大学)、泉田大宗(IIJイノベーションインスティテュート)、森彰(産業技術総合研究所) 2021年暗号と情報セキュリティシンポジウム CFI(control-flow integrity)とは，制御フロ... -
2020.11.30
A Greedy Bit-flip Training Algorithm for Binarized Knowledge Graph Embeddings A Greedy Bit-flip Training Algorithm for Binarized Knowledge Graph Embeddings
Katsuhiko Hayashi, Koki Kishimoto, Masashi Shimbo. A Greedy Bit-flip Training Algorithm for Binarized Knowledg... -
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...natural language processingdatasetcomputer visionvideo caption
-
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...parallel processingprogram verificationhigh performance computingoperational semanticstype systemconcurrency
-
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 freedomoperational semanticsbisimulationmodel checkingmemory consistency models