2021.01.22

Publications

脆弱性解析を用いた効果的なバイナリCFIの実現に向けて（SCIS2021） Toward Effective Enforcement of Binary-CFI with Vulnerability Analysis

vulnerability, binary CFI, security, control flow integrity

2020.11.30

Publications

A Greedy Bit-flip Training Algorithm for Binarized Knowledge Graph Embeddings A Greedy Bit-flip Training Algorithm for Binarized Knowledge Graph Embeddings

2020.10.26

Publications

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

dataset, quantum_chemistry, PubChemQC

2020.06.03

Publications

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

dataset, computer vision, video caption, natural language processing

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