José Morales -

Registered user since Mon 25 Jan 2016

Name:José Morales

Country:Spain

Affiliation:IMDEA Software Institute

Personal website: http://software.imdea.org/people/josef.morales/index.html

Contributions

2026

Symposium on Practical Aspects of Declarative Languages

Committee Member in Program Committee within the PADL 2026-track

2025

Static Analysis Symposium

Committee Member in Steering Committee within the SAS 2025-track

2024

Static Analysis Symposium

Committee Member in Program Committee within the SAS 2024-track
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

Static Analysis Symposium

2021

Symposium on Practical Aspects of Declarative Languages

2018

Symposium on Practical Aspects of Declarative Languages

Author of Exploiting Term Hiding to Reduce Run-time Checking Overhead within the PADL 2018-track

2016

PLDI