Dun Ma

According to our database, Dun Ma authored at least 5 papers between 2021 and 2025.

Collaborative distances:

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

2025

Pruning for GNNs: Lower Complexity with Comparable Expressiveness.

Dun Ma, Jianguo Chen, Wenguo Yang, Suixiang Gao, Shengminjie Chen

Proceedings of the Forty-second International Conference on Machine Learning, 2025

2024

Toward a Holistic Performance Evaluation of Large Language Models Across Diverse AI Accelerators.

Murali Emani, Sam Foreman, Varuni Sastry, Zhen Xie, Siddhisanket Raskar, William Arnold, Rajeev Thakur, Venkatram Vishwanath, Michael E. Papka, Sanjif Shanmugavelu, Darshan Gandhi, Hengyu Zhao, Dun Ma, Kiran Ranganath, Rick Weisner, Jiunn-Yeu Chen, Yuting Yang, Natalia Vassilieva, Bin C. Zhang, Sylvia Howland, Alexander Tsyplikhin

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2024

K-Division Framework Enhances GNNs' Expressive Power.

Dun Ma, Suixiang Gao, Wenguo Yang

Proceedings of the Computing and Combinatorics - 30th International Conference, 2024

2022

Decidability for Sturmian Words.

Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, Jeffrey O. Shallit

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata.

Reed Oei, Dun Ma, Christian Schulz, Philipp Hieronymi

CoRR, 2021