Manuel V. Hermenegildo

Universidad Politécnica de Madrid

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (2)Natural Language Processing (1)

Frequent co-authors

Pedro López-García (2)M. Hermenegildo (2)Louis Rustenholz (1)Alessio Mansutti (1)

Papers (2)

Aug 10, 2026

Affiliation:2w ago·also Universidad Politécnica de Madrid

Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis

Abstract compilation can now achieve optimal recurrence extraction for recursive programs, unlocking new avenues for precise cost analysis.

Louis Rustenholz, Alessio Mansutti, Pedro López-García +4

Code Generation & Program Synthesis

Jul 22, 2026

IMDEA Software InstituteJul 22, 2026·also Affiliation:, Universidad Politécnica de Madrid, Universidad Politécnica de Madrid (UPM), Université de La Réunion

Towards Relating Ciao Assertions and LPTP Theorems

Bridging Ciao assertions with LPTP theorems reveals new pathways for robust program verification by leveraging the strengths of both frameworks.

Marco Pérez, Pedro López-García, J. Morales +4

Code Generation & Program Synthesis Natural Language Processing

Search

Manuel V. Hermenegildo

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (2)