Manuel Hermenegildo

Registered user since Tue 9 Jun 2015

Name:Manuel Hermenegildo
Bio:

Manuel Hermenegildo is Distinguished Professor at (and was the Founding Director of) the IMDEA Software Institute. He is also full Prof. of Computer Science at the Tech. U. of 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: Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretation; Partial Evaluation; Parallelism and Parallelizing Compilers; Constraint/Logic/Functional Programming Theory and Implementation, Abstract Machines; Automatic Documentation Tools, Execution Visualization; Sequential and Parallel Computer Architecture.

Affiliation:IMDEA Software Institute and T.U. of Madrid (UPM)
Personal website:http://cliplab.org/herme

Contributions

PEPM 2022 Committee Member in Steering Committee within the PEPM 2022-track
CC 2022 Steering Committee Member in Steering Committee
PEPM 2021 Committee Member in Steering Committee within the PEPM 2021-track
CC 2021 Committee Member in Steering Committee
LPOP 2020 Speaker of Break: Ask Me Anything within the LPOP 2020-track
Committee Member in Program Committee within the LPOP 2020-track
SAS 2020 Invited Speaker of Cost Analysis of Smart Contracts via Parametric Resource Analysis within the SAS-track
Invited Speaker in Invited Speakers within the SAS-track
CC 2020 Committee Member in Program Committee within the Research Papers-track
PADL 2020 Committee Member in Program Committee within the PADL 2020-track
DPA 2019 Author of Assertion-based Guidance of Top-down Horn Clause-based Analysis in CiaoPP within the DPA-track
PEPM 2019 Co-chair of Welcome to PEPM19 within the PEPM 2019-track
Session Chair of (part of PEPM 2019)
Program Co-Chair in Program Committee within the PEPM 2019-track
Session Chair of Session 1 (part of PEPM 2019)
DPA 2018 Author of Horn Clause-based Program Analysis with CiaoPP within the DPA-track
PADL 2018 Author of Exploiting Term Hiding to Reduce Run-time Checking Overhead within the PADL 2018-track
PLDI 2016 Session Chair of Energy & Performance (part of Research Papers)
Committee Member in Program Committee