Toggle navigation
Sign in
Sign up
conf.researchr.org
/
José Morales
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
PLDI 2016 profile
POPL 2018 profile
POPL 2021 profile
SPLASH 2023 profile
SPLASH 2024 profile
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
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
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
Session Chair of Session 8 (part of SAS 2023)
PC Chair in Program Committee within the SAS 2023-track
Co-chair of Opening within the SAS 2023-track
Co-chair of Radhia Cousot Award and PC report within the SAS 2023-track
Co-chair in Organizing Committee
2021
Symposium on Practical Aspects of Declarative Languages
Co-chair in Programme Chairs within the PADL 2021-track
Session Chair of Keynote 2 (part of PADL 2021)
Co-chair in Programme Committee within the PADL 2021-track
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
Committee Member in Artifact Evaluation Committee
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Share
x
Fri 16 May 18:50
Otomatik - 131.180.119.74
CloudFlare DNS
Türk Telekom DNS
Google DNS
Open DNS
OSZAR »
