Dolores Miao, Ignacio Laguna, and Cindy Rubio-González. 2023. FloatGuard: Efficient Whole-Program Detection of Floating-Point Exceptions in AMD GPUs. In Proceedings of the 34th ACM International Symposium on High-Performance Parallel and Distributed Computing.
Dolores Miao, Ignacio Laguna, Giorgis Georgakoudis, Konstantinos Parasyris, Cindy Rubio-González, An automated OpenMP mutation testing framework for performance optimization, Parallel Computing, Volume 121, 2024, 103097, ISSN 0167-8191.
Dolores Miao, Ignacio Laguna, and Cindy Rubio-González. 2024. Input Range Generation for Compiler-Induced Numerical Inconsistencies. In Proceedings of the 38th ACM International Conference on Supercomputing. Association for Computing Machinery, New York, NY, USA, 201–212.
Dolores Miao, Ignacio Laguna, Giorgis Georgakoudis, Konstantinos Parasyris, and Cindy Rubio-González. 2024. MUPPET: Optimizing Performance in OpenMP via Mutation Testing. In Proceedings of the 15th International Workshop on Programming Models and Applications for Multicores and Manycores. Association for Computing Machinery, New York, NY, USA, 22–31.
Dolores Miao, Ignacio Laguna, and Cindy Rubio-González. 2023. Expression Isolation of Compiler-Induced Numerical Inconsistencies in Heterogeneous Code. In ISC (Lecture Notes in Computer Science, Vol. 13948). Springer, 381–401.
Tutorial at America's Center Convention Complex, St. Louis, MO, USA
Tutorial at Georgia World Congress Center, Atlanta, GA, USA