Akifumi Imanishi

According to our database, Akifumi Imanishi authored at least 5 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Heuristic for Periodic Memory Allocation with Little Fragmentation to Train Neural Networks.

Akifumi Imanishi, Zijian Xu

Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management, 2024

2023

A fast heuristic to optimize time-space tradeoff for large models.

Akifumi Imanishi, Zijian Xu, Masayuki Takagi, Sixue Wang, Emilio Castillo

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2018

Automated Verification of Functional Correctness of Race-Free GPU Programs.

Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi

J. Autom. Reason., 2018

A guess-and-assume approach to loop fusion for program verification.

Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi

Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2018

2017

Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic.

Taro Sekiyama, Akifumi Imanishi, Kohei Suenaga

CoRR, 2017