Hideyuki Kawabata

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 12

Top Topics

Object Oriented Systems

Program Understanding

Interval Arithmetic

Top Venues

J. Inf. Process.

Int. J. Networked Distributed Comput.

Publications

Momoka Saito, Hideya Iwasaki, Hideyuki Kawabata, Tsuneyasu Komiya
Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers. Haskell (2024)
Tomoya Michinaka, Hideyuki Kawabata, Tetsuo Hironaka
Rumpfr: A Fast and Memory Leak-free Rust Binding to the GNU MPFR Library. J. Inf. Process. 29 (2021)
Yuya Kono, Hideyuki Kawabata, Tetsuo Hironaka
Resolving Ambiguous Types in Haskell by Checking Uniqueness of Type Variable Assignments under Type Class Constraints. J. Inf. Process. 27 (2019)
Masahiro Hata, Masashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka
OSAIFU: A Source Code Factorizer on Android Studio. ICSME (2019)
Yushi Kondoh, Masashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka
Efficient Searching for Essential API Member Sets based on Inclusion Relation Extraction. Int. J. Networked Distributed Comput. 7 (4) (2019)
Yushi Kondoh, Masashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka
Extracting Inclusion Graphs of API Member Sets to Improve Searchability. SERA (2019)
Masashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka
Easy-going Development of Event-Driven Applications by Iterating a Search-Select-Superpose Loop. J. Inf. Process. 27 (2019)
Masashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka
Supporting Program Understanding by Automatic Indexing of Functionalities in Source Code. SERA (2019)
Masashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka
SAIFU: Supporting Program Understanding by Automatic Indexing of Functionalities in Source Code. Int. J. Networked Distributed Comput. 7 (4) (2019)
Hideyuki Kawabata, Yuta Tanaka, Mai Kimura, Tetsuo Hironaka
Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General. APLAS (2018)
Hideyuki Kawabata
Speeding up Exact Real Arithmetic on Fast Binary Cauchy Sequences by Using Memoization Based on Quantized Precision. J. Inf. Process. 25 (2017)
Hideyuki Kawabata, Hideya Iwasaki
Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations. ESOP (2016)
Taiji Sasaoka, Hideyuki Kawabata, Toshiaki Kitamura
A MATLAB-Based Code Generator for Parallel Sparse Matrix Computations Utilizing PSBLAS. IEICE Trans. Inf. Syst. (1) (2007)
Hideyuki Kawabata, Mutsumi Suzuki, Toshiaki Kitamura
A MATLAB-Based Code Generator for Sparse Matrix Computations. APLAS (2004)