Akifumi Imanishi

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 6

Top Topics

Automated Verification

Graphics Hardware

Functional Programming

Propositional Logic

Top Venues

Publications

Akifumi Imanishi, Zijian Xu
A Heuristic for Periodic Memory Allocation with Little Fragmentation to Train Neural Networks. ISMM (2024)
Akifumi Imanishi, Zijian Xu, Masayuki Takagi, Sixue Wang, Emilio Castillo
A fast heuristic to optimize time-space tradeoff for large models. NeurIPS (2023)
Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi
A guess-and-assume approach to loop fusion for program verification. PEPM (2018)
Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi
Automated Verification of Functional Correctness of Race-Free GPU Programs. J. Autom. Reason. 60 (3) (2018)
Taro Sekiyama, Akifumi Imanishi, Kohei Suenaga
Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic. CoRR (2017)
Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi
Automated Verification of Functional Correctness of Race-Free GPU Programs. VSTTE (2016)