Hideyuki Kawabata

According to our database1, Hideyuki Kawabata authored at least 13 papers between 2004 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Rumpfr: A Fast and Memory Leak-free Rust Binding to the GNU MPFR Library.
J. Inf. Process., 2021

2019
Easy-going Development of Event-Driven Applications by Iterating a Search-Select-Superpose Loop.
J. Inf. Process., 2019

Resolving Ambiguous Types in Haskell by Checking Uniqueness of Type Variable Assignments under Type Class Constraints.
J. Inf. Process., 2019

SAIFU: Supporting Program Understanding by Automatic Indexing of Functionalities in Source Code.
Int. J. Networked Distributed Comput., 2019

Efficient Searching for Essential API Member Sets based on Inclusion Relation Extraction.
Int. J. Networked Distributed Comput., 2019

Supporting Program Understanding by Automatic Indexing of Functionalities in Source Code.
Proceedings of the 17th IEEE International Conference on Software Engineering Research, 2019

Extracting Inclusion Graphs of API Member Sets to Improve Searchability.
Proceedings of the 17th IEEE International Conference on Software Engineering Research, 2019

OSAIFU: A Source Code Factorizer on Android Studio.
Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019

2018
Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General.
Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017
Speeding up Exact Real Arithmetic on Fast Binary Cauchy Sequences by Using Memoization Based on Quantized Precision.
J. Inf. Process., 2017

2016
Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations.
Proceedings of the Programming Languages and Systems, 2016

2007
A MATLAB-Based Code Generator for Parallel Sparse Matrix Computations Utilizing PSBLAS.
IEICE Trans. Inf. Syst., 2007

2004
A MATLAB-Based Code Generator for Sparse Matrix Computations.
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004


  Loading...