Scholar
Jose F. Morales
Google Scholar ID: DZOdfUIAAAAJ
Assistant Professor at UPM / IMDEA Software Institute
Logic Programming
Virtual Machines
Compilers
Abstract Interpretation
Static Analysis
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
898
H-index
12
i10-index
19
Publications
20
Co-authors
15
list available
Contact
No contact links provided.
Publications
3 items
Detecting speculative leaks with compositional semantics
2026
Cited
0
Hiord: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
2025
Cited
0
Checkification: A Practical Approach for Testing Static Analysis Truths
2025
Cited
0
Resume (English only)
Co-authors
15 total
Manuel Hermenegildo
IMDEA Software Institute and Technical U. of Madrid (UPM)
Co-author 2
Pedro Lopez-Garcia
Spanish Research Council (CSIC) and The IMDEA Software Institute
Co-author 4
Co-author 5
Co-author 6
Boris Köpf
Azure Research, Microsoft
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up