Research

Some Research Pointers

The Second International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2010). Perpignan, France, 13 September 2010. Associated to SAS 2010. Program Committee member.
International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA2009). Eindhoven, The Netherlands, November 3, 2009. Associated to FM2009. Program Committee member.
International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'09). Coimbra, Portugal, September 9-11 2009. Program Committee member.
IX Jornadas sobre Programación y Lenguajes (PROLE'09). San Sebastian, Spain, 8 - 11 September 2009. Program Committee member.
3rd International Workshop on Proof Carrying Code and Software Certification. August 15 2009. Los Angeles, USA. Program Committee member.
The The 19th Workshop on Logic-based methods in Programming Environments (WLPE'09) . Pasadena, California, USA, around July 14-17 2009. Program Committee member.
The ACM SIGPLAN Workshop on Partial Evaluation and Sematics-Based Program Manipulation (PEPM'09). Savannah, Georgia, USA. January 19 - 20 2009, Program Co-Chair, with Germán Vidal. Collocated with POPL'09.
The International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR). Steering Committee member.
Trustworthy Global Computing 2008 (TGC'08). Barcelona, Spain, November 3-4 2008. Program Committee member.
VIII Jornadas sobre Programación y Lenguajes (PROLE'08). Gijón, Spain, 7 - 10 October 2008. Program Committee member.
The XVIII International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'08). Valencia, Spain, 17-18 July 2008. Program Committee member.
The 17th European Symposium on Programming (ESOP'08). A main conference of ETAPS'08. 29 March -6 April 2008 Budapest. Program Committee member.
The 23rd International Conference on Logic Programming (ICLP'07). Porto, Portugal, 8 - 13 September 2007. Program Committee member.
VII Jornadas sobre Programación y Lenguajes (PROLE'07). Zaragoza, 12 - 14 de Septiembre de 2007. Program Committee member.
The 9th International ACM Symposium on Principles and Practice of Declarative Programming (PPDP'07). Wroclaw, Poland, 14 - 16 July 2007. Program Committee member.
The Ninth International Symposium on Practical Aspects of Declarative Languages (PADL'07). Nice, France, January 14-15, 2007. Program Committee member.
The 17'th Workshop on Logic-Based Methods in Programming Environments (WLPE'07). Porto, Portugal, September 13, 2007. Program Committee member.
The ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (PEPM'07). Nice, France, January 15-16, 2007. Program Committee member.
The XV International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'06). Venice, Italy, 12-14 July 2006. Program chair.
The First International Workshop on Emerging Applications of Abstract Interpretation (EAAI). March 26 2006, Vienna, Austria. Invited speaker.
The ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM'06). Charleston, South Carolina, January 9-10, 2006. Program Committee member.
The 12th International Static Analysis Symposium (SAS'05). London, United Kingdom, 7-9 September 2005. Program Committee member.
The XIV International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05). London, United Kingdom, 7-9 September 2005. Program Committee member. Collocated with SAS'05.
V Jornadas sobre Programación y Lenguajes (PROLE'05), Granada, September 2005. Program Committee member.
The 11th International Static Analysis Symposium (SAS04). Verona, Italy. August 26-28 2004. Program Committee member.
The ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation (PEPM'04). Verona, Italy. August 24-25 2004. Program Committee member.
The Journal of Applied Logic. Member of the Editorial Board.
The Seventh Functional and Logic Programming Symposium (FLOPS'04). Japan, 5-10 April 2004. Program Committee member.
The 13th European Symposium on Programming (ESOP'04). A main conference of ETAPS'04 Barcelona, March 27 - April 4, 2004. Program Committee member.
The International Conference on Logic Programming (ICLP'03). Mumbai, India, 9 - 13 December 2003. Program Committee member.
The XII International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'03). Uppsala, Sweden, 25-27 August 2003. Program Committee member. Part of PLI'03
The 10th International Static Analysis Symposium (SAS03). San Diego, California, USA. June 11-13 2003. Program Committee member. Part of ACM 2003 FCRC.
Las Segundas Jornadas de Lenguajes de Programacion (PROLE02), El Escorial, Madrid, 21-23 November 2002. Program Committee member.
The 9th International Static Analysis Symposium (SAS02). Spain, September 2002. Madrid, 17 - 20 September 2002. Conference Chair and Program Co-Chair.
The XI International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'02). Madrid, 18 - 20 September 2002. Program Committee member.
Joint CoLogNet Workshop on Component-based Software Development and Implementation Technology for Computational Logic Systems. Madrid, Spain, 19-20 September 2002. Member of the organizing Committee.
The 12th Workshop on Logic Programming Environments. Workshop associated to ICLP02, Jun 29 - Aug 1 2002, Copenhagen, Denmark.
The 11th Workshop on Logic Programming Environments. Member of the organizing and program committee. Workshop associated to ICLP01, Nov 26 - Dec 1 2001, Paphos, Cyprus.
Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA01). Program Committee member. Gijón, Spain, 14-16 November 2001.
Optimization and Implementation of Declarative Programming Languages and their Interaction Program Committee member. Workshop associated to ICLP99, Nov 29 - Dec 4, Las Cruces, New Mexico, USA.
The 10th Workshop on Logic Programming Environments. Member of the organizing and program committee. Workshop associated to ICLP99, Nov 29 - Dec 4, Las Cruces, New Mexico, USA.
International Logic Programming Symposium (ILPS'97). Member of the program committee. Port Jefferson, NY, USA, October 1997.
Tools and Environments for (Constraint) Logic Programming. Workshop coordinator. Associated to (ILPS'97). Port Jefferson, NY, USA, October 1997.
Programming Language Implementation and Logic Programming (PLILP'94). Member of the organizing committee. Madrid, Spain, September 94.
European Association for Programming Languages and Systems (EAPLS). Member.
The Association for Logic Programming (ALP) . Member.

Participation in Research Projects

Ongoing and Upcoming Projects:

HATS (March 1, 2009 - Feb 28, 2013) [ EU IST FET Programme. Integrated Project. Grant agreement #231620 ]
"Highly Adaptable and Trustworthy Software using Formal Methods"
MOBIUS (Sep. 1, 2005 - Aug 31, 2009) [ EU IST FET Programme. Integrated Project IST-15905 ]
"Mobility, Ubiquity and Security"
PROMESAS (Jan. 2006 - Dec. 2009) [CAM S-0505/TIC/0407]
"Methods for the development of high-quality, safe, and reliable software"
(Programa en metodos para el desarrollo de software fiable, de alta calidad y seguro)
MERIT / COMVERS (Oct. 2005 - Oct. 2008) [MEC TIN2005-09207-C03-01]
"Resource-Aware, Verifiable Mobile Computing"
(Computación móvil verificable y consciente de los recursos)

Research Networks, Training Networks, Working Groups:

CoLogNet (1 Jan 2002 - 31 Jun 2005) [ EU IST Programme Network of Excellence IST-2001-33123]
"The EU Network of Excellence in Computational Logic"
AGENTLINK (1998 - 2001) [ESPRIT Network of Excellence P 27225]
"The Agent-Based Computing Network"
ERCIM Working Group on Constraints
The School of Computer Science has several current agreements at the institutional level with other European universities for exchanges under the SOCRATES and ATHENS programs.

Completed Projects:

ASAP (November 1, 2002 - January 31, 2006) [ EU IST FET Programme Project Number IST-2001-38059 ]
"Advanced Specialization and Analysis for Pervasive Systems"
In collaboration with the Universities of Bristol (UK), Roskilde (Denmark), and Southampton (UK).
CUBICO (Dec. 2002 - Dec. 2005) [MCYT TIC 2002-0055]
"Optimized Compilation Techniques for Pervasive Computation"
(Computación UBIcua mediante técnicas de Compilación Optimizante).
AMOS (1 March 2002 - 31 May 2004) [ EU IST Programme Project Number IST-2001-34717 ]
"Automated Matching of Open Source code"
(Localización automática de código abierto)
In collaboration with CONECTA (Italy).
ADELA (January 2001 - March 2003). [Acción Integrada MCYT HI2000-0043]
"Advanced Development Environments for Logic Programs".
(Entornos Avanzados de Desarrollo de Programas Lógicos).
In collaboration with the Universities of Parma and Pisa (Italy).
EDIPIA (Dec. 1999 - Dec. 2002) [MCYT TIC 99-1151]
"An Integrated Program Development Environment based on Abstract Interpretation"
(Entorno de Desarrollo Integrado de Programas basado en la Interpretación Abstracta).
POCIMA (Nov. 2000 - May. 2001) [Funded by Motorola]
"Porting Ciao to Mac OS X"
(Adaptación de Ciao al sistema operativo Mac OS X).
COMPULOG NET II/III (1994 - 1999) [ESPRIT Network of Excellence P 7230/22554]
"The Computational Logic Network"
RadioWeb (Jan. 1998 - Jan. 2000) [ESPRIT EP 25562]
"Automatic Generation of Web Sites for the Radio Broadcasting Industry"
ELLA (Jun. 1996 - Jun. 1999) [CICYT TIC 96-1012-C02-01]
"Extensions to Logic Languages for Advanced Applications"
ECCOSIC (Mar. 1998 - Mar. 1999) [Fulbright U.S.-Spain Science and Technology Exchange Program]
"Efficient Concurrent Constraint Framework for Symbolic and Internet/WWW Computing"
DiSCiPl (Nov. 1996 - Jun. 1999) [ESPRIT LTR 22532]
"Debugging Systems for Constraint Programming"
ParForce (Aug. 1992 - Jan. 1996) [ESPRIT BR 6707 / TIC93-0976-CE]
"Parallel Formal Computing Environment"
IPL-D (Jun. 1993 - Jun. 1996) [CICYT TIC 93-0737-C02-01]
"Parallel Implementation of Declarative Languages"
ACCLAIM (Sep. 1992 - Aug. 1995) [ESPRIT BR 7195 / TIC93-0975-CE]
"Advanced Concurrent Constraint Languages: Application, Implementation, and Methodology"

Universities where I have stayed:

In addition to the the CLIP group at UPM, these are other universities where I have performed part of my research, together the professors with whom I have collaborated:

Seminars at Other Universities

Abstraction Carrying Code. Copenhagen Programming Language Seminar. 11 November 2004.
Abstraction Carrying Code. Datalogi Research Seminars. University of Roskilde. 21 October 2004.
Abstract Specialization and its Applications. Computer Science Colloquia, University of New Mexico. 14 October 2003.
CiaoPP: A Tool for Debugging and Optimization Based on Global Analysis. Computer Science Seminar, University of Parma. 28 February, 2002.
Advanced Debugging, Optimization, and Analysis Techniques in Ciaopp: The Ciao System Preprocessor. Seminar of the Theoretical Computer Science Group. Department of Computer Science. University of Kent at Canterbury. 20 March 2000.
An Introduction to Logic Programming. Universidad Rey Juan Carlos. 29 January 1998.
Incremental Analysis, Abstract Multiple Specialization, and its Application to Logic Program Parallelization. Université de Versailles Saint-Quentin. 16 December 1997.
Programming with Global Analysis. Seminar on Logic Languages, Constraints, and Optimization. Département de Mathématiques et d'Informatique, École Normale Supérieure, Paris. 25 November 1997.
Advanced Compilation Techniques for Logic Programs based on Abstract Interpretation and Program Transformation. Seminar on Semantics and Abstract Interpretation. Département de Mathématiques et d'Informatique, École Normale Supérieure, Paris. 7 November 1997.
Optimized Algorithms for Incremental Analysis of Logic Programs. Seminar on Declarative Systems. Dept. of Computer Science, University of Bristol. 19 Sep 1996.
Implementation of Multiple Specialization in Logic Programs. Seminar on Logic Programming. Dept. of Computer Science, University of Bristol. 17 Feb 1995.

Go back to my home page