Ignacio Laguna
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
51
Venues
13
Active years
2007–2025
Best venue rank
A*
Where they publish
Papers
51 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | HPDC | FloatGuard: Efficient Whole-Program Detection of Floating-Point Exceptions in AMD GPUs. | Dolores Miao, Ignacio Laguna, Cindy Rubio-Gonzlez |
| 2025 | SC | Scabbard: LLVM Instrumentation-aided Race Checking in CPU/GPU Unified Memory for AMD GPUs. | Andrew Osterhout, Ignacio Laguna, Ganesh Gopalakrishnan |
| 2025 | SSDBM | Accurate Differential Analysis using Record and Selective Replay. | Yuta Nakamura, Xulu Chu, Ignacio Laguna, Tanu Malik |
| 2024 | CCGRID | FTTN: Feature-Targeted Testing for Numerical Properties of NVIDIA & AMD Matrix Accelerators. | Xinyi Li, Ang Li, Bo Fang, Katarzyna Swirydowicz, Ignacio Laguna, Ganesh Gopalakrishnan |
| 2024 | CCGRID | Discovery of Floating-Point Differences Between NVIDIA and AMD GPUs. | Xinyi Li, Ang Li, Bo Fang, Katarzyna Swirydowicz, Ignacio Laguna, Ganesh Gopalakrishnan |
| 2024 | CGO | Enhancing Performance Through Control-Flow Unmerging and Loop Unrolling on GPUs. | Alnis Murtovi, Giorgis Georgakoudis, Konstantinos Parasyris, Chunhua Liao, Ignacio Laguna, Bernhard Steffen |
| 2024 | CLUSTER | Understanding Mixed Precision GEMM with MPGemmFI: Insights into Fault Resilience. | Bo Fang, Xinyi Li, Harvey Dam, Cheng Tan, Siva Kumar Sastry Hari, Timothy Tsai, Ignacio Laguna, Dingwen Tao, Ganesh Gopalakrishnan, Prashant J. Nair, Kevin J. Barker, Ang Li |
| 2024 | CLUSTER | Distributed Order Recording Techniques for Efficient Record-and-Replay of Multi - Threaded Programs. | Xiang Fu, Shiman Meng, Weiping Zhang, Luanzheng Guo, Kento Sato, Dong H. Ahn, Ignacio Laguna, Gregory L. Lee, Martin Schulz |
| 2024 | HPDC | FPBOXer: Efficient Input-Generation for Targeting Floating-Point Exceptions in GPU Programs. | Anh Tran, Ignacio Laguna, Ganesh Gopalakrishnan |
| 2024 | ICS | Input Range Generation for Compiler-Induced Numerical Inconsistencies. | Dolores Miao, Ignacio Laguna, Cindy Rubio-Gonzlez |
| 2024 | PPoPP | MUPPET: Optimizing Performance in OpenMP via Mutation Testing. | Dolores Miao, Ignacio Laguna, Giorgis Georgakoudis, Konstantinos Parasyris, Cindy Rubio-Gonzlez |
| 2024 | SC | Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation. | Ignacio Laguna, Patrick J. Chapman, Konstantinos Parasyris, Giorgis Georgakoudis, Cindy Rubio-Gonzlez |
| 2024 | SC | Testing GPU Numerics: Finding Numerical Differences Between NVIDIA and AMD GPUs. | Anwar Hossain Zahid, Ignacio Laguna, Wei Le |
| 2023 | HPDC | Design and Evaluation of GPU-FPX: A Low-Overhead tool for Floating-Point Exception Detection in NVIDIA GPUs. | Xinyi Li, Ignacio Laguna, Bo Fang, Katarzyna Swirydowicz, Ang Li, Ganesh Gopalakrishnan |
| 2023 | SC | Scalable Tuning of (OpenMP) GPU Applications via Kernel Record and Replay. | Konstantinos Parasyris, Giorgis Georgakoudis, Esteban Rangel, Ignacio Laguna, Johannes Doerfert |
| 2022 | PLDI | BinFPE: accurate floating-point exception detection for GPU applications. | Ignacio Laguna, Xinyi Li, Ganesh Gopalakrishnan |
| 2022 | SC | Finding Inputs that Trigger Floating-Point Exceptions in GPUs via Bayesian Optimization. | Ignacio Laguna, Ganesh Gopalakrishnan |
| 2022 | SC | Approximate Computing Through the Lens of Uncertainty Quantification. | Konstantinos Parasyris, James Diffenderfer, Harshitha Menon, Ignacio Laguna, Jackson Vanover, Ryan Vogt, Daniel Osei-Kuffuor |
| 2021 | CCGRID | Co-Designing Multi-Level Checkpoint Restart for MPI Applications. | Konstantinos Parasyris, Giorgis Georgakoudis, Leonardo Bautista-Gomez, Ignacio Laguna |
| 2021 | DSN | Examining Failures and Repairs on Supercomputers with Multi-GPU Compute Nodes. | Amir Taherin, Tirthak Patel, Giorgis Georgakoudis, Ignacio Laguna, Devesh Tiwari |
| 2021 | SC | HPAC: evaluating approximate computing techniques on HPC OpenMP applications. | Konstantinos Parasyris, Giorgis Georgakoudis, Harshitha Menon, James Diffenderfer, Ignacio Laguna, Daniel Osei-Kuffuor, Markus Schordan |
| 2020 | PPoPP | Detecting and reproducing error-code propagation bugs in MPI implementations. | Daniel DeFreez, Antara Bhowmick, Ignacio Laguna, Cindy Rubio-Gonzlez |
| 2020 | PPoPP | ArcherGear: data race equivalencing for expeditious HPC debugging. | Samuel Thayer, Ganesh Gopalakrishnan, Ian Briggs, Michael Bentley, Dong H. Ahn, Ignacio Laguna, Gregory L. Lee |
| 2020 | SC | pLiner: isolating lines of floating-point code for compiler-induced variability. | Hui Guo, Ignacio Laguna, Cindy Rubio-Gonzlez |
| 2020 | SC | Extending the MPI Stages Model of Fault Tolerance. | Derek Schafer, Ignacio Laguna, Anthony Skjellum, Nawrin Sultana, Kathryn Mohror |
| 2020 | SC | OMPRacer: a scalable and precise static race detector for OpenMP programs. | Bradley Swain, Yanze Li, Peiming Liu, Ignacio Laguna, Giorgis Georgakoudis, Jeff Huang |
| 2019 | HPDC | Multi-Level Analysis of Compiler-Induced Variability and Performance Tradeoffs. | Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan, Dong H. Ahn, Ignacio Laguna, Gregory L. Lee, Holger E. Jones |
| 2019 | ICS | AMPT-GA: automatic mixed precision floating point tuning for GPU applications. | Pradeep V. Kotipalli, Ranvijay Singh, Paul Wood, Ignacio Laguna, Saurabh Bagchi |
| 2019 | SC | A large-scale study of MPI usage in open-source HPC applications. | Ignacio Laguna, Ryan J. Marshall, Kathryn Mohror, Martin Ruefenacht, Anthony Skjellum, Nawrin Sultana |
| 2018 | SC | FlipTracker: understanding natural error resilience in HPC applications. | Luanzheng Guo, Dong Li, Ignacio Laguna, Martin Schulz |
| 2017 | HPDC | Understanding the Spatial Characteristics of DRAM Errors in HPC Clusters. | Ayush Patwari, Ignacio Laguna, Martin Schulz, Saurabh Bagchi |
| 2017 | PPoPP | Noise Injection Techniques to Expose Subtle and Unintended Message Races. | Kento Sato, Dong H. Ahn, Ignacio Laguna, Gregory L. Lee, Martin Schulz, Christopher M. Chambreau |
| 2017 | SC | REFINE: realistic fault injection via compiler-based instrumentation for accuracy, portability and speed. | Giorgis Georgakoudis, Ignacio Laguna, Dimitrios S. Nikolopoulos, Martin Schulz |
| 2017 | SC | Snowpack: efficient parameter choice for GPU kernels via static analysis and statistical prediction. | Ranvijay Singh, Paul Wood, Ravi Gupta, Saurabh Bagchi, Ignacio Laguna |
| 2016 | CGO | IPAS: intelligent protection against silent output corruption in scientific applications. | Ignacio Laguna, Martin Schulz, David F. Richards, Jon Calhoun, Luke N. Olson |
| 2016 | SC | Pinpointing scale-dependent integer overflow bugs in large-scale parallel applications. | Ignacio Laguna, Martin Schulz |
| 2015 | ICCS | Versioned Distributed Arrays for Resilience in Scientific Applications: Global View Resilience. | Andrew A. Chien, Pavan Balaji, Peter H. Beckman, Nan Dun, Aiman Fang, Hajime Fujita, Kamil Iskra, Zachary A. Rubenstein, Ziming Zheng, Rob Schreiber, Jeff R. Hammond, James Dinan, Ignacio Laguna, D. Richards, Anshu Dubey, Brian van Straalen, Mark Hoemmen, Michael A. Heroux, Keita Teranishi, Andrew R. Siegel |
| 2015 | SC | Clock delta compression for scalable order-replay of non-deterministic parallel applications. | Kento Sato, Dong H. Ahn, Ignacio Laguna, Gregory L. Lee, Martin Schulz |
| 2014 | PLDI | Accurate application progress analysis for large-scale parallel debugging. | Subrata Mitra, Ignacio Laguna, Dong H. Ahn, Saurabh Bagchi, Martin Schulz, Todd Gamblin |
| 2014 | SC | Towards providing low-overhead data race detection for large OpenMP applications. | Joachim Protze, Simone Atzeni, Dong H. Ahn, Martin Schulz, Ganesh Gopalakrishnan, Matthias S. Mller, Ignacio Laguna, Zvonimir Rakamaric, Gregory L. Lee |
| 2013 | SC | Overcoming extreme-scale reproducibility challenges through a unified, targeted, and multilevel toolset. | Dong H. Ahn, Gregory L. Lee, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Martin Schulz, Ignacio Laguna |
| 2013 | SC | A study of application-level recovery methods for transient network faults. | Ignacio Laguna, Edgar A. Len, Martin Schulz, Mark Stephenson |
| 2013 | SRDS | Automatic Problem Localization via Multi-dimensional Metric Profiling. | Ignacio Laguna, Subrata Mitra, Fahad A. Arshad, Nawanol Theera-Ampornpunt, Zongyang Zhu, Saurabh Bagchi, Samuel P. Midkiff, Michael Kistler, Ahmed Gheith |
| 2012 | DSN | Automatic fault characterization via abnormality-enhanced classification. | Greg Bronevetsky, Ignacio Laguna, Bronis R. de Supinski, Saurabh Bagchi |
| 2011 | SC | Large scale debugging of parallel tasks with AutomaDeD. | Ignacio Laguna, Todd Gamblin, Bronis R. de Supinski, Saurabh Bagchi, Greg Bronevetsky, Dong H. Ahn, Martin Schulz, Barry Rountree |
| 2010 | DSN | AutomaDeD: Automata-based debugging for dissimilar parallel tasks. | Greg Bronevetsky, Ignacio Laguna, Saurabh Bagchi, Bronis R. de Supinski, Dong H. Ahn, Martin Schulz |
| 2009 | Middleware | Stateful error detection in high throughput applications. | Ignacio Laguna, Fahad A. Arshad, Saurabh Bagchi |
| 2009 | Middleware | How to Keep Your Head above Water While Detecting Errors. | Ignacio Laguna, Fahad A. Arshad, David M. Grothe, Saurabh Bagchi |
| 2009 | SC | Scalable temporal order analysis for large scale debugging. | Dong H. Ahn, Bronis R. de Supinski, Ignacio Laguna, Gregory L. Lee, Ben Liblit, Barton P. Miller, Martin Schulz |
| 2007 | SRDS | Distributed Diagnosis of Failures in a Three Tier E-Commerce System. | Gunjan Khanna, Ignacio Laguna, Fahad A. Arshad, Saurabh Bagchi |
| 2007 | SRDS | Stateful Detection in High Throughput Distributed Systems. | Gunjan Khanna, Ignacio Laguna, Fahad A. Arshad, Saurabh Bagchi |