Dun Ma

According to our database, Dun Ma authored at least 3 papers between 2021 and 2024.

Collaborative distances:

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

2024

Decidability for Sturmian words.

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

Log. Methods Comput. Sci., 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

2021

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

Reed Oei, Dun Ma, Christian Schulz, Philipp Hieronymi

CoRR, 2021