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

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

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

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