Jose F. Morales
Scholar

Jose F. Morales

Google Scholar ID: DZOdfUIAAAAJ
Assistant Professor at UPM / IMDEA Software Institute
Logic ProgrammingVirtual MachinesCompilersAbstract InterpretationStatic Analysis
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
Manuel Hermenegildo
IMDEA Software Institute and Technical U. of Madrid (UPM)
Co-author 2
Co-author 2
Pedro Lopez-Garcia
Pedro Lopez-Garcia
Spanish Research Council (CSIC) and The IMDEA Software Institute
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Boris Köpf
Boris Köpf
Azure Research, Microsoft
Co-author 8
Co-author 8