Manuel Hermenegildo

Universidad Politécnica de Madrid (UPM), IMDEA Software Institute

Papers on Lattice

Total citations

Topics

Research focus

Code Generation & Program Synthesis (1)

Frequent co-authors

Daniela Ferreiro (1)Daniel Jurjo-Rivas (1)Marco Ciccalè (1)Jose F. Morales (1)

Papers (1)

May 31, 2026

Spanish Council for Scientific ResearchMay 31, 2026·also IMDEA Software Institute, Universidad Politécnica de Madrid (UPM)

Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks

Reducing run-time checks by exploiting calling patterns can significantly enhance performance in dynamically typed languages without sacrificing expressiveness.

Daniela Ferreiro, Daniel Jurjo-Rivas, Marco Ciccalè +2

Code Generation & Program Synthesis

Search

Manuel Hermenegildo

Research focus

Frequent co-authors

Papers (1)