My main interests are:
- Advanced Compilation Techniques: Abstract Interpretation,
Partial Evaluation, Program Specialization,
Automatic Parallelization
- High-Performance and Distributed Computing: Parallelism,
Concurrency, Scalable Architectures
- Declarative Programming:
Logic Programming,
Constraint Logic Programming, Concurrent Logic Programming,
Functional
Programming, Functional/Logic Programming
- Advanced Programming environments: Abstract Debugging,
Program Execution Visualization

Some Other (Recent) Activities and Related Pointers:
- I have an invited
talk at Europar
2004 (European Symposium on Parallelism, Aug. 31-Sept. 3, Pisa,
Italy) on "Some
Techniques for Automated, Resource-Aware Distributed and Mobile
Computing in a Multi-Paradigm Programming System".
- My position
slides for the ISTAG Working Group on Grand Challenges for IST.
- I gave an invited talk at SAS'03
(International Static Analysis Symposium, June 11-13, 2003, San Diego,
California, part of the ACM 2003 Federated Computing Research
Conference) on Program
Development Using Abstract Interpretation (and The Ciao System
Preprocessor).
- Invited talk (with Germán Puebla) at PEPM'03
(ACM Partial Evaluation and Semantics based Program Manipulation, June
11-13, 2003, San Diego, California, part of the ACM 2003 Federated
Computing Research Conference) on Abstract
Specialization and its Applications.
- My position
slides at the ICLP'03 panel on
teaching (C)LP.
- Slides for my
introductory speech at the ICLP'03 panel on the
next generation (C)LP language.
- Presentation of the UPM groups which are part of the Spanish
official application to join
ERCIM
during the official application meeting (pdf slides, pdf printable version).
- Recent talk at the Spanish Senate on the issue of software
patents (slides in
Spanish, 2 per
page, more information in ProInnova). See also the petition
to the European Parlament on the issue of SW patents.
- Recent talk on the US degree system in view of the Bologna
process (slides
in Spanish, printing
version).
- I recently gave an invited talk at the Danish EU Presidency
sponsored conference on the convenience of
creating a European Research Council. These are the
slides I used
(and a version for printing).
- We organized SAS
2002 in Madrid, and also hosting LOPSTR
and AGP
2002.
- I gave an invited talk at ICALP 2002
on Program Debugging and Validation
Using Semantic Approximations
and Partial Specifications, illustrated using CiaoPP, the Ciao
System preprocessor.
- I gave an invited talk at the ERCIM Working Group on Constraints
and the CoLogNet Area on Constraint and
Logic Programming Joint Workshop of
the on Constraint Solving and Constraint Logic Programming
- Please consider submitting a paper to PPDP 2002 (PC member)
- I recently gave an invited talk at LPAR
2001 on Ciao,
a next-generation, Multiparadigm (Constraint) Logic Programming System.
- Remember to attend SAS
2001 (PC member).
- Remember to attend ICLP/CP/LOPSTR
2001 (PC member)
-
POPL 2000 Deadline July 17, 2000 (PC member)
- See our invited
tutorial on the Ciao system at CL2000.
- Constructive
Methods for Parallel Programming, CMPP 2000 (PC Member /
Invited talk).
- 15th
Workshop on Logic Programming and Constraint Systems (Co-located
with ECAI2000).
-
CP2000 WS on Analysis and Visualization of Constraint Programs
and Solvers (Organizer/PC member)
- We gave an Invited talk on the CiaoPP system at ICLP99.
- 4th Fuji
International Symposium on Functional and Logic Programming.
- HPCA5 Workshop
on Parallel Computing for Irregular Applications.
- Recent tutorial on "Programming
with Global Analysis" at the 1997 International Logic
Programming Symposium
- Recent invited talk on "Automatic Parallelization
of Irregular and
Pointer-Based Computations: Perspectives from
Logic and Constraint Programming" at EUROPAR'97 (paper.ps.gz, slides.ps.gz)
- Recent tutorial on
"WWW Programming and Computational Logic Systems" at the 1997 International
Conference on Logic Programming
- My position statements in the areas of constraints
and parallelism
for the ACM Workshop on
Strategic Directions in Computing Research (MIT, June 14-15 1996).
- I coordinate the
"Parallelism and
Implementation Technologies Area" of the ESPRIT
network of excellence in Computational Logic
"COMPULOG-NET",
- I am Associate Editor of ACM Transactions on
Programming
Languages and Systems.
- I am the editor for the Implementation and Architecture
area of Theory and Practice
of Logic Programming. TPLP takes over the role as official journal
of the Association for Logic
Programming (formerly this role was played by the now extinct Journal of
Logic Programming; see the reasons for
this change).
- I am Associate Editor of The Journal of New Generation Computing.
- I am currently a member of the European Association for Programming Languages and Systems board.
I have also been a member of Association for
Logic Programming executive committee.
- I have also coordinated the ESPRIT
Project "ParForCE" and
I am the principal investigator at UPM for several other past and
current research projects in the CLIP group.
- I gave a series of
lectures in the distinguished
visitor program of New Mexico State University.
- I taught at the European Summer School on Logic,
Languages, and Computation ESSLLI'96. These are my course slides
(postscript, 2 slides per page, postscript, 4 slides per page).
- I am a member of ACM ( SIGPLAN/ SIGARCH/ SIGART), IEEE (Computer Society), ALP, and EAPLS.

Back to my home page.
Last modified: Wed Oct 20 15:51:05 2004
<herme@fi.upm.es>