Ignacio Laguna -

Registered user since Mon 12 Jun 2023

Name:Ignacio Laguna

Country:United States

Affiliation:Lawrence Livermore National Laboratory

Personal website: https://lagunaresearch.org/

Contributions

2025

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

CoqPL

Author of Towards Verified Linear Algebra Programs Through Equivalence within the CoqPL 2025-track

2024

CGO

Author of Enhancing Performance through Control-Flow Unmerging and Loop Unrolling on GPUs within the Main Conference-track

2023

CRSSC

Author of Letting HPC Programmers Focus On Correctness First, Then On Performance within the CSC 2023-track

2022

SOAP

Presenter of BinFPE: Accurate Floating-Point Exception Detection for GPU Applications within the SOAP 2022-track

2020

Principles and Practice of Parallel Programming

2019

ASE

Author of FPChecker: Detecting Floating-Point Exceptions in GPU Applications within the Demonstrations-track