Pedro López-García -

Not registered as user

Name:Pedro López-García

Affiliation:IMDEA Software Institute

Contributions

2025

Static Analysis Symposium

Committee Member in Program Committee within the SAS 2025-track

2024

Static Analysis Symposium

Keynote Speaker of An Order Theory Framework of Recurrence Equations for Static Cost Analysis – Dynamic Inference of Non-Linear Inequality Invariants within the SAS 2024-track

2023

LOPSTR

Author of Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation within the LOPSTR 2023-track
Author of A Rule-Based Approach for Designing and Composing Abstract Domains within the LOPSTR 2023-track