Publications
-
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...program verificationtype systemparallel processingconcurrencyoperational semanticshigh performance computing
-
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...memory consistency modelsmodel checkingbisimulationdata race freedomoperational 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... -
2017.11.12
A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models
Tatsuya Abe. A verifier of directed acyclic graphs for model checking with memory consistency models. In Proce... -
2017.10.19
Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models
Tomoharu Ugawa, Tatsuya Abe, and Toshiyuki Maeda. Model checking copy phases of concurrent copying garbage col...memory consistency modelsmodel checkingprogram verificationgarbage collection
-
2017.09.15
リッジ回帰によるk近傍分類の性能改善 (IBISML) Ridge Regression for Improving the Accuracy of k-Nearest Neighbor Classification
本論文では, $k$近傍分類のための非類似度関数とその学習法を提案する. 既存の距離学習は, 目的関数に基づいた写像行列を学習し, この写像行列を用いてクエリ事例とラベル付き事例を特徴空間の新たな点に写像する. 一方で,...