Academic conference presentation
2024/09
Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers
(Haskell Symposium 2024)
2019/10/04
OSAIFU: A Source Code Factorizer on Android Studio
(35th IEEE International Conference on Software Maintenance and Evolution (ICSME 2019))
2019/06/25
A Study on a Lane Keeping System using CNN for Online Learning of Steering Control from Real Time Images
(34th International Technical Conference on Circuits / Systems, Computers and Communications (ITC-CSCC 2019))
2019/06/24
A Study of a Parallel Architecture for Accelerating Batch-Learning Self-Organizing Map by using Dedicated Hardware
(34th International Technical Conference on Circuits / Systems, Computers and Communications (ITC-CSCC 2019))
2019/05/29
Extracting Inclusion Graphs of API Member Sets to Improve Searchability
(17th IEEE/ACIS International Conference on Software Engineering, Management and Applications (SERA 2019))
2019/05/29
Supporting Program Understanding by Automatic Indexing of Functionalities in Source Code
(17th IEEE/ACIS International Conference on Software Engineering, Management and Applications (SERA 2019))
2018/12
Traf: a Graphical Proof Tree Viewer Cooperating with Coq through Proof General
(16th Asian Symposium on Programming Languages and Systems (APLAS 2018), LNCS 11275, pp.157--165, 2018. DOI: 10.1007/978-3-030-02768-1_9)
2017/09
On optimization for recursive programs without tail-calls
2017/07/05
Effective Indexing based on the TF-IDF Method with Selected Terms for Discovering Usages of APIs from Open Source Repositories
(ITC-CSCC)
2016/10/26
Speeding up Exact Real Arithmetic on Fast Binary Cauchy Sequences by using Memoization based on Quantized Precision
(情報処理学会第111回プログラミング研究発表会(PRO111))
2016/04
Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations
(Proc. 25th European Symposium on Programming (ESOP) 2016, LNCS 9632, pp.390-418, 2016. DOI: 10.1007/978-3-662-49498-1_16)
2014/03
Improving Floating-Point Numbers: a Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations
(PPL2014)
2013/09/11
Supporting Compiler Development for Languages with Exception-Handling Facilities by COINS
(JSSST)
2013/01/10
Design and Implementation of Compilers Constructed using COINS for Language Extensions using APIs
(IEICE SIGSS)
2009/10
Design and Implementation of a Programming Environment with Extended Dependence Analyzer
(RENTAI2009)
2009/05
Design and Implementation of a Computational Environment with Adaptive Precision Keeping Facility
(SACSIS2009)
2009/03
Design and Implementation of a Visual Programming Environment for Mobile Devices
(PPL2009)
2008/10
Design and Implementation of an Editor to Support Stepwise Coding
2007/04/05
A program development environment based on MATLAB
(Workshop on Innovative Computational Strategies, International Conference on Computational Methods)
2004/11/05
A MATLAB-Based Code Generator for Sparse Matrix Computations
(The 2nd Asian Symposium on Programming Languages and Systems)
1998
Virtualization of Memory Hierarchy via HPF
(The 2nd Annual HPF User Group Meeting (HUG98))