Distributed Diagnosis of Failures in a Three Tier E-Commerce System. - Gunjan Khanna; Ignacio Laguna; Fahad A. Arshad; Saurabh Bagchi (SRDS, 2007)

Stateful Detection in High Throughput Distributed Systems. - Gunjan Khanna; Ignacio Laguna; Fahad A. Arshad; Saurabh Bagchi (SRDS, 2007)

Stateful error detection in high throughput applications. - Ignacio Laguna; Fahad A. Arshad; Saurabh Bagchi (Middleware (Companion), 2009)

How to Keep Your Head above Water While Detecting Errors. - Ignacio Laguna; Fahad A. Arshad; David M. Grothe; Saurabh Bagchi (Middleware, 2009)

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 001 (SC, 2009)

AutomaDeD: Automata-based debugging for dissimilar parallel tasks. - Greg Bronevetsky; Ignacio Laguna; Saurabh Bagchi; Bronis R. de Supinski; Dong H. Ahn; Martin Schulz 001 (DSN, 2010)

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 001; Barry Rountree (SC, 2011)

Probabilistic diagnosis of performance faults in large-scale parallel applications. - Ignacio Laguna; Dong H. Ahn; Bronis R. de Supinski; Saurabh Bagchi; Todd Gamblin (PACT, 2012)

Automatic fault characterization via abnormality-enhanced classification. - Greg Bronevetsky; Ignacio Laguna; Bronis R. de Supinski; Saurabh Bagchi (DSN, 2012)

Performance Analysis Techniques for the Exascale Co-Design Process. - Martin Schulz 001; James F. Belak; Abhinav Bhatele; Peer-Timo Bremer; Greg Bronevetsky; Marc Casas; Todd Gamblin; Katherine E. Isaacs; Ignacio Laguna; Joshua A. Levine; Valerio Pascucci; David F. Richards; et al. (PARCO, 2013)

Overcoming extreme-scale reproducibility challenges through a unified, targeted, and multilevel toolset. - Dong H. Ahn; Gregory L. Lee; Ganesh Gopalakrishnan; Zvonimir Rakamaric; Martin Schulz 001; Ignacio Laguna (SE-HPCCSE@SC, 2013)

A study of application-level recovery methods for transient network faults. - Ignacio Laguna; Edgar A. León; Martin Schulz 001; Mark Stephenson (ScalA@SC, 2013)

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 (SRDS, 2013)

Accurate application progress analysis for large-scale parallel debugging. - Subrata Mitra; Ignacio Laguna; Dong H. Ahn; Saurabh Bagchi; Martin Schulz 001; Todd Gamblin (PLDI, 2014)

Evaluating User-Level Fault Tolerance for MPI Applications. - Ignacio Laguna; David F. Richards; Todd Gamblin; Martin Schulz 001; Bronis R. de Supinski (EuroMPI/ASIA, 2014)

Towards providing low-overhead data race detection for large OpenMP applications. - Joachim Protze; Simone Atzeni; Dong H. Ahn; Martin Schulz 001; Ganesh Gopalakrishnan; Matthias S. Müller; Ignacio Laguna; Zvonimir Rakamaric; Gregory L. Lee (LLVM@SC, 2014)

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 002; Kamil Iskra; Zachary A. Rubenstein; Ziming Zheng; Rob Schreiber; Jeff R. Hammond; James Dinan; et al. (ICCS, 2015)

Lessons Learned from Implementing OMPD: A Debugging Interface for OpenMP. - Joachim Protze; Ignacio Laguna; Dong H. Ahn; John DelSignore; Ariel Burton; Martin Schulz 001; Matthias S. Müller (IWOMP, 2015)

Clock delta compression for scalable order-replay of non-deterministic parallel applications. - Kento Sato; Dong H. Ahn; Ignacio Laguna; Gregory L. Lee; Martin Schulz 001 (SC, 2015)

Debugging high-performance computing applications at massive scales. - Ignacio Laguna; Dong H. Ahn; Bronis R. de Supinski; Todd Gamblin; Gregory L. Lee; Martin Schulz 001; Saurabh Bagchi; Milind Kulkarni 001; Bowen Zhou 008; Zhezhe Chen; Feng Qin (Commun. ACM, 2015)

Diagnosis of Performance Faults in LargeScale MPI Applications via Probabilistic Progress-Dependence Inference. - Ignacio Laguna; Dong H. Ahn; Bronis R. de Supinski; Saurabh Bagchi; Todd Gamblin (IEEE Trans. Parallel Distributed Syst., 2015)

IPAS: intelligent protection against silent output corruption in scientific applications. - Ignacio Laguna; Martin Schulz 001; David F. Richards; Jon Calhoun 001; Luke N. Olson (CGO, 2016)

ARCHER: Effectively Spotting Data Races in Large OpenMP Applications. - Simone Atzeni; Ganesh Gopalakrishnan; Zvonimir Rakamaric; Dong H. Ahn; Ignacio Laguna; Martin Schulz 001; Gregory L. Lee; Joachim Protze; Matthias S. Müller (IPDPS, 2016)

Testing Infrastructure for OpenMP Debugging Interface Implementations. - Joachim Protze; Dong H. Ahn; Ignacio Laguna; Martin Schulz 001; Matthias S. Müller (IWOMP, 2016)

Pinpointing scale-dependent integer overflow bugs in large-scale parallel applications. - Ignacio Laguna; Martin Schulz 001 (SC, 2016)

Evaluating and extending user-level fault tolerance in MPI applications. - Ignacio Laguna; David F. Richards; Todd Gamblin; Martin Schulz 001; Bronis R. de Supinski; Kathryn M. Mohror; Howard Pritchard (Int. J. High Perform. Comput. Appl., 2016)

Understanding the Spatial Characteristics of DRAM Errors in HPC Clusters. - Ayush Patwari; Ignacio Laguna; Martin Schulz 001; Saurabh Bagchi (FTXS@HPDC, 2017)

Apollo: Reusable Models for Fast, Dynamic Tuning of Input-Dependent Code. - David Beckingsale; Olga Pearce; Ignacio Laguna; Todd Gamblin (IPDPS, 2017)

Noise Injection Techniques to Expose Subtle and Unintended Message Races. - Kento Sato; Dong H. Ahn; Ignacio Laguna; Gregory L. Lee; Martin Schulz 001; Christopher M. Chambreau (PPoPP, 2017)

REFINE: realistic fault injection via compiler-based instrumentation for accuracy, portability and speed. - Giorgis Georgakoudis; Ignacio Laguna; Dimitrios S. Nikolopoulos; Martin Schulz 001 (SC, 2017)

Snowpack: efficient parameter choice for GPU kernels via static analysis and statistical prediction. - Ranvijay Singh; Paul Wood; Ravi Gupta; Saurabh Bagchi; Ignacio Laguna (ScalA@SC, 2017)

Report of the HPC Correctness Summit, Jan 25-26, 2017, Washington, DC. - Ganesh Gopalakrishnan; Paul D. Hovland; Costin Iancu; Sriram Krishnamoorthy; Ignacio Laguna; Richard A. Lethin; Koushik Sen; Stephen F. Siegel; Armando Solar-Lezama (CoRR, 2017)

Exploring versioned distributed arrays for resilience in scientific applications. - Andrew A. Chien; Pavan Balaji; Nan Dun; Aiman Fang; Hajime Fujita 002; Kamil Iskra; Zachary A. Rubenstein; Ziming Zheng; Jeff R. Hammond; Ignacio Laguna; D. Richards; Anshu Dubey; et al. (Int. J. High Perform. Comput. Appl., 2017)

SWORD: A Bounded Memory-Overhead Detector of OpenMP Data Races in Production Runs. - Simone Atzeni; Ganesh Gopalakrishnan; Zvonimir Rakamaric; Ignacio Laguna; Gregory L. Lee; Dong H. Ahn (IPDPS, 2018)

MPI Stages: Checkpointing MPI State for Bulk Synchronous Applications. - Nawrin Sultana; Anthony Skjellum; Ignacio Laguna; Matthew Shane Farmer; Kathryn M. Mohror; Murali Emani (EuroMPI, 2018)

FlipTracker: understanding natural error resilience in HPC applications. - Luanzheng Guo; Dong Li 001; Ignacio Laguna; Martin Schulz 001 (SC, 2018)

ExaMPI: A Modern Design and Implementation to Accelerate Message Passing Interface Innovation. - Anthony Skjellum; Martin Rüfenacht; Nawrin Sultana; Derek Schafer; Ignacio Laguna; Kathryn M. Mohror (CARLA, 2019)

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 (HPDC, 2019)

AMPT-GA: automatic mixed precision floating point tuning for GPU applications. - Pradeep V. Kotipalli; Ranvijay Singh; Paul Wood; Ignacio Laguna; Saurabh Bagchi (ICS, 2019)

SAFIRE: Scalable and Accurate Fault Injection for Parallel Multithreaded Applications. - Giorgis Georgakoudis; Ignacio Laguna; Hans Vandierendonck; Dimitrios S. Nikolopoulos; Martin Schulz 001 (IPDPS, 2019)

FPChecker: Detecting Floating-Point Exceptions in GPU Applications. - Ignacio Laguna (ASE, 2019)

A large-scale study of MPI usage in open-source HPC applications. - Ignacio Laguna; Ryan J. Marshall; Kathryn M. Mohror; Martin Ruefenacht; Anthony Skjellum; Nawrin Sultana (SC, 2019)

GPUMixer: Performance-Driven Floating-Point Tuning for GPU Scientific Applications. - Ignacio Laguna; Paul C. Wood; Ranvijay Singh; Saurabh Bagchi (ISC, 2019)

Pruners. - Kento Sato; Ignacio Laguna; Gregory L. Lee; Martin Schulz 001; Christopher M. Chambreau; Simone Atzeni; Michael Bentley; Ganesh Gopalakrishnan; Zvonimir Rakamaric; Geof Sawaya; Joachim Protze; Dong H. Ahn (Int. J. High Perform. Comput. Appl., 2019)

Failure recovery for bulk synchronous applications with MPI stages. - Nawrin Sultana; Martin Rüfenacht; Anthony Skjellum; Ignacio Laguna; Kathryn M. Mohror (Parallel Comput., 2019)

MATCH: An MPI Fault Tolerance Benchmark Suite. - Luanzheng Guo; Giorgis Georgakoudis; Konstantinos Parasyris; Ignacio Laguna; Dong Li 001 (IISWC, 2020)

HPC-MixPBench: An HPC Benchmark Suite for Mixed-Precision Analysis. - Konstantinos Parasyris; Ignacio Laguna; Harshitha Menon; Markus Schordan; Daniel Osei-Kuffuor; Giorgis Georgakoudis; Michael O. Lam; Tristan Vanderbruggen (IISWC, 2020)

Varity: Quantifying Floating-Point Variations in HPC Systems Through Randomized Testing. - Ignacio Laguna (IPDPS, 2020)

FAROS: A Framework to Analyze OpenMP Compilation Through Benchmarking and Compiler Optimization Analysis. - Giorgis Georgakoudis; Johannes Doerfert; Ignacio Laguna; Thomas R. W. Scogland (IWOMP, 2020)

Detecting and reproducing error-code propagation bugs in MPI implementations. - Daniel DeFreez; Antara Bhowmick; Ignacio Laguna; Cindy Rubio-González (PPoPP, 2020)

ArcherGear: data race equivalencing for expeditious HPC debugging. - Samuel Thayer; Ganesh Gopalakrishnan; Ian Briggs; Michael Bentley; Dong H. Ahn; Ignacio Laguna; Gregory L. Lee (PPoPP, 2020)

pLiner: isolating lines of floating-point code for compiler-induced variability. - Hui Guo 007; Ignacio Laguna; Cindy Rubio-González (SC, 2020)

Extending the MPI Stages Model of Fault Tolerance. - Derek Schafer; Ignacio Laguna; Anthony Skjellum; Nawrin Sultana; Kathryn M. Mohror (ExaMPI@SC, 2020)

OMPRacer: a scalable and precise static race detector for OpenMP programs. - Bradley Swain; Yanze Li; Peiming Liu; Ignacio Laguna; Giorgis Georgakoudis; Jeff Huang 001 (SC, 2020)

Reinit++: Evaluating the Performance of Global-Restart Recovery Methods for MPI Fault Tolerance. - Giorgis Georgakoudis; Luanzheng Guo; Ignacio Laguna (ISC, 2020)

EReinit: Scalable and efficient fault-tolerance for bulk-synchronous MPI applications. - Sourav Chakraborty 003; Ignacio Laguna; Murali Emani; Kathryn M. Mohror; Dhabaleswar K. Panda 001; Martin Schulz 001; Hari Subramoni (Concurr. Comput. Pract. Exp., 2020)

Co-Designing Multi-Level Checkpoint Restart for MPI Applications. - Konstantinos Parasyris; Giorgis Georgakoudis; Leonardo Bautista-Gomez; Ignacio Laguna (CCGRID, 2021)

Guarding Numerics Amidst Rising Heterogeneity. - Ganesh Gopalakrishnan; Ignacio Laguna; Ang Li 006; Pavel Panchekha; Cindy Rubio-González; Zachary Tatlock (Correctness@SC, 2021)

Examining Failures and Repairs on Supercomputers with Multi-GPU Compute Nodes. - Amir Taherin; Tirthak Patel; Giorgis Georgakoudis; Ignacio Laguna; Devesh Tiwari (DSN, 2021)

HPAC: evaluating approximate computing techniques on HPC OpenMP applications. - Konstantinos Parasyris; Giorgis Georgakoudis; Harshitha Menon; James Diffenderfer; Ignacio Laguna; Daniel Osei-Kuffuor; Markus Schordan (SC, 2021)

Keeping science on keel when software moves. - Dong H. Ahn; Allison H. Baker; Michael Bentley; Ian Briggs; Ganesh Gopalakrishnan; Dorit M. Hammerling; Ignacio Laguna; Gregory L. Lee; Daniel J. Milroy; Mariana Vertenstein (Commun. ACM, 2021)

Understanding the use of message passing interface in exascale proxy applications. - Nawrin Sultana; Martin Rüfenacht; Anthony Skjellum; Purushotham V. Bangalore; Ignacio Laguna; Kathryn M. Mohror (Concurr. Comput. Pract. Exp., 2021)

Report of the Workshop on Program Synthesis for Scientific Computing. - Hal Finkel; Ignacio Laguna (CoRR, 2021)

Reinit++: Evaluating the Performance of Global-Restart Recovery Methods For MPI Fault Tolerance. - Giorgis Georgakoudis; Luanzheng Guo; Ignacio Laguna (CoRR, 2021)

PARIS: Predicting application resilience using machine learning. - Luanzheng Guo; Dong Li 001; Ignacio Laguna (J. Parallel Distributed Comput., 2021)

PredCom: A Predictive Approach to Collecting Approximated Communication Traces. - Shinobu Miwa; Ignacio Laguna; Martin Schulz 001 (IEEE Trans. Parallel Distributed Syst., 2021)

Towards Precision-Aware Fault Tolerance Approaches for Mixed-Precision Applications. - Bo Fang 002; Siva Kumar Sastry Hari; Timothy Tsai 002; Xinyi Li; Ganesh Gopalakrishnan; Ignacio Laguna; Kevin J. Barker; Ang Li 006 (FTXS@SC, 2022)

FPChecker: Floating-Point Exception Detection Tool and Benchmark for Parallel and Distributed HPC. - Ignacio Laguna; Tanmay Tirpankar; Xinyi Li; Ganesh Gopalakrishnan (IISWC, 2022)

Piper: Pipelining OpenMP Offloading Execution Through Compiler Optimization For Performance. - Konstantinos Parasyris; Giorgis Georgakoudis; Johannes Doerfert; Ignacio Laguna; Thomas R. W. Scogland (P3HPC@SC, 2022)

BinFPE: accurate floating-point exception detection for GPU applications. - Ignacio Laguna; Xinyi Li; Ganesh Gopalakrishnan (SOAP@PLDI, 2022)

Finding Inputs that Trigger Floating-Point Exceptions in GPUs via Bayesian Optimization. - Ignacio Laguna; Ganesh Gopalakrishnan (SC, 2022)

Approximate Computing Through the Lens of Uncertainty Quantification. - Konstantinos Parasyris; James Diffenderfer; Harshitha Menon; Ignacio Laguna; Jackson Vanover; Ryan Vogt; Daniel Osei-Kuffuor (SC, 2022)

Toward Increasing Trust in Exascale Simulations. - Dorra Ben Khalifa; Xinyi Li; Ignacio Laguna; Matthieu Martel; Ganesh Gopalakrishnan (XLOOP@SC, 2022)

Giving RSEs a Larger Stage through the Better Scientific Software Fellowship. - William F. Godoy; Ritu Arora; Keith Beattie; David E. Bernholdt; Sarah E. Bratt; Daniel S. Katz; Ignacio Laguna; Amiya K. Maji; Addi Malviya-Thakur; Rafael M. Mudafort; Nitin Sukhija; Damian W. I. Rouson; et al. (CoRR, 2022)

Giving Research Software Engineers a Larger Stage Through the Better Scientific Software Fellowship. - William F. Godoy; Ritu Arora; Keith Beattie; David E. Bernholdt; Sarah E. Bratt; Daniel S. Katz; Ignacio Laguna; Amiya K. Maji; Addi Malviya-Thakur; Rafael M. Mudafort; Nitin Sukhija; Damian W. I. Rouson; et al. (Comput. Sci. Eng., 2022)

Design and Evaluation of GPU-FPX: A Low-Overhead tool for Floating-Point Exception Detection in NVIDIA GPUs. - Xinyi Li; Ignacio Laguna; Bo Fang 002; Katarzyna Swirydowicz; Ang Li 006; Ganesh Gopalakrishnan (HPDC, 2023)

Scalable Tuning of (OpenMP) GPU Applications via Kernel Record and Replay. - Konstantinos Parasyris; Giorgis Georgakoudis; Esteban Rangel; Ignacio Laguna; Johannes Doerfert (SC, 2023)

Understanding System Resilience for Converged Computing of Cloud, Edge, and HPC. - Luanzheng Guo; Jay F. Lofstead; Jie Ren 015; Ignacio Laguna; Gokcen Kestor; Line Pouchard; Dossay Oryspayev; Hyeran Jeon (ISC Workshops, 2023)

Expression Isolation of Compiler-Induced Numerical Inconsistencies in Heterogeneous Code. - Dolores Miao; Ignacio Laguna; Cindy Rubio-González (ISC, 2023)

MPGemmFI: A Fault Injection Technique for Mixed Precision GEMM in ML Applications. - Bo Fang 002; Xinyi Li; Harvey Dam; Cheng Tan 002; Siva Kumar Sastry Hari; Timothy Tsai 002; Ignacio Laguna; Dingwen Tao; Ganesh Gopalakrishnan; Prashant J. Nair; Kevin J. Barker; Ang Li 006 (CoRR, 2023)

Approximate High-Performance Computing: A Fast and Energy-Efficient Computing Paradigm in the Post-Moore Era. - Harshitha Menon; James Diffenderfer; Giorgis Georgakoudis; Ignacio Laguna; Michael O. Lam; Daniel Osei-Kuffuor; Konstantinos Parasyris; Jackson Vanover (IT Prof., 2023)

Finding inputs that trigger floating-point exceptions in heterogeneous computing via Bayesian optimization. - Ignacio Laguna; Anh Tran; Ganesh Gopalakrishnan (Parallel Comput., 2023)

FTTN: Feature-Targeted Testing for Numerical Properties of NVIDIA & AMD Matrix Accelerators. - Xinyi Li; Ang Li 006; Bo Fang 002; Katarzyna Swirydowicz; Ignacio Laguna; Ganesh Gopalakrishnan (CCGrid, 2024)

Discovery of Floating-Point Differences Between NVIDIA and AMD GPUs. - Xinyi Li; Ang Li 006; Bo Fang 002; Katarzyna Swirydowicz; Ignacio Laguna; Ganesh Gopalakrishnan (CCGrid, 2024)

Enhancing Performance Through Control-Flow Unmerging and Loop Unrolling on GPUs. - Alnis Murtovi; Giorgis Georgakoudis; Konstantinos Parasyris; Chunhua Liao; Ignacio Laguna; Bernhard Steffen (CGO, 2024)

Understanding Mixed Precision GEMM with MPGemmFI: Insights into Fault Resilience. - Bo Fang 002; Xinyi Li; Harvey Dam; Cheng Tan 002; Siva Kumar Sastry Hari; Timothy Tsai 002; Ignacio Laguna; Dingwen Tao; Ganesh Gopalakrishnan; Prashant J. Nair; Kevin J. Barker; Ang Li 006 (CLUSTER, 2024)

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 001 (CLUSTER, 2024)

FPBOXer: Efficient Input-Generation for Targeting Floating-Point Exceptions in GPU Programs. - Anh Tran; Ignacio Laguna; Ganesh Gopalakrishnan (HPDC, 2024)

Input Range Generation for Compiler-Induced Numerical Inconsistencies. - Dolores Miao; Ignacio Laguna; Cindy Rubio-González (ICS, 2024)

MUPPET: Optimizing Performance in OpenMP via Mutation Testing. - Dolores Miao; Ignacio Laguna; Giorgis Georgakoudis; Konstantinos Parasyris; Cindy Rubio-González (PMAM@PPoPP, 2024)

Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation. - Ignacio Laguna; Patrick J. Chapman; Konstantinos Parasyris; Giorgis Georgakoudis; Cindy Rubio-González (SC Workshops, 2024)

Testing GPU Numerics: Finding Numerical Differences Between NVIDIA and AMD GPUs. - Anwar Hossain Zahid; Ignacio Laguna; Wei Le (SC Workshops, 2024)

An automated OpenMP mutation testing framework for performance optimization. - Dolores Miao; Ignacio Laguna; Giorgis Georgakoudis; Konstantinos Parasyris; Cindy Rubio-González (Parallel Comput., 2024)

LM-Offload: Performance Model-Guided Generative Inference of Large Language Models with Parallelism Control. - Jianbo Wu; Jie Ren 015; Shuangyan Yang; Konstantinos Parasyris; Giorgis Georgakoudis; Ignacio Laguna; Dong Li 001 (IPDPS (Workshops), 2025)

Accurate Differential Analysis using Record and Selective Replay. - Yuta Nakamura; Xulu Chu; Ignacio Laguna; Tanu Malik (SSDBM, 2025)

GORC: A Graph Neural Network Based Static Data Race Checker for OpenMP. - Anh Tran; Ignacio Laguna; Konstantinos Parasyris; Giorgis Georgakoudis; Ganesh Gopalakrishnan (ISC, 2025)