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:
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:
- University of Roskilde, Department of Communication,
Journalism and Computer Science, John Gallagher
- University of
New Mexico, Department of
Computer Science, Deepak Kapur
- University of
Melbourne & Monash University. Peter Stuckey & M. García de la
Banda
- École Normale
Supérieure (Paris), Laboratoire
d´Informatique, Patrick
Cousot.
- Liköpings Universitet, Institutionen för
datavetenskap, Jan
Maluszynski
- University of Bristol, Department of Computer Science, John Gallagher
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