Registered user since Tue 9 Jun 2015
Manuel Hermenegildo is Distinguished Professor at (and was the Founding Director of) the IMDEA Software Institute. He is also a full Prof. of Computer Science at the U. Politécnica de Madrid, UPM. Previously he held an Endowed Chair in Information Science and Technology at the U. of New Mexico. He was also project leader at the MCC research center and Adjunct Associate Prof. at the CS Department of the U. of Texas, both in Austin, Texas. See his home page for more information.
Research interests: Global Program Analysis, Verification, Debugging, and Optimization for Functional and Non-functional Properties (Time, Memory, Energy); Abstract Interpretation; Partial Evaluation; Parallelism and (Resource-Aware) Parallelizing Compilers; Constraint/Logic/Functional Programming Theory and Implementation; Abstract Machines; Computational Logic; Automatic Documentation Tools; Execution Visualization; Sequential and Parallel Computer Architecture.
- 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
- Author of On-The-Fly Verification via Incremental, Interactive Abstract Interpretation with CiaoPP and VeriFly within the LOPSTR 2023-track