Ignacio Laguna - POPL 2025

Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

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

CoqPL

Towards Verified Linear Algebra Programs Through Equivalence

Show activities from other conferences

POPL 2025-profile
View general profile