Blog (TBD)

Publications

Miao, D., Laguna, I., & Rubio-González, C. (2025, July)
FloatGuard: Efficient Whole-Program Detection of Floating-Point Exceptions in AMD GPUs
To Appear in Proceedings of the 34th ACM International Symposium on High-Performance Parallel and Distributed Computing (HPDC’25)

Miao, D., Laguna, I., Georgakoudis, G., Parasyris, K., & Rubio-González, C. (2024, August)
An Automated OpenMP Mutation Testing Framework for Performance Optimization
In Parallel Computing (PARCO), Volume 121
(GitHub repository, PDF, Bibtex)

Miao, D., Laguna, I., & Rubio-González, C. (2024, June)
Input Range Generation for Compiler-Induced Numerical Inconsistencies
In Proceedings of the 38th ACM International Conference on Supercomputing (ICS’24)
(GitHub repository, PDF, BibTex)

Miao, D., Laguna, I., Georgakoudis, G., Parasyris, K., & Rubio-González, C. (2024, March)
MUPPET: Optimizing Performance in OpenMP via Mutation Testing
In Proceedings of the 15th International Workshop on Programming Models and Applications for Multicores and Manycores (PMAM’24)
(GitHub repository, PDF, BibTex)

Miao, D., Laguna, I., & Rubio-González, C. (2023, May)
Expression Isolation of Compiler-Induced Numerical Inconsistencies in Heterogeneous Code
In International Conference on High Performance Computing 2023 (ISC’23)
(Hans Meuer Award for Best Research Paper)
(GitHub repository, PDF, BibTex)