CLIP
Lab
The Computational logic, Languages,
Implementation, and Parallelism
Laboratory
CLIP group participation in R&D Projects
Ongoing Research Projects:
- ProCode
(June 1, 2020 - May 31, 2025)
[MCIU
PID2019-108528RB-C21]
"Rigorous Methods for the Development of Software Systems with Certified Quality and Reliability"
(Métodos Rigurosos para el Desarrollo de Sistemas Software de
Calidad y Fiabilidad Certificadas)
- PRODIGY
(Dec 1, 2022 - Nov 30, 2024)
[MCIU
TED2021-132464B-I00]
"Ensuring the Security, Scalability, and Functionality of Digital Provenance Systems"
(Asegurando la Seguridad, Escalabilidad y Funcionalidad de los Sistemas Digitales de Procedencia)
- Nomadic Labs - Tezos
(Oct 30, 2020 - Dec 31, 2024)
"Cost Analysis, Verification, and Optimization for Tezos via Parametric Resource Analysis"
(Análisis, Verificación y Optimización para Tezos por Medio de
Aná&lisis Parmétrico de Recursos)
Ongoing Research and Training Networks, Support Actions, Working
Groups, etc.:
Completed Projects:
- BLOQUES-CM
(October 1, 2019 - December 31, 2022) [CM
P2018/TCS-4339]
"Madrid Program in Intelligent Contracts and Safe and Scalable
Blockchains through Verification and Analysis"
(Programa
en Contratos Inteligentes y Blockchains Escalables y Seguros
mediante Verificación y Análisis de la Comunidad de Madrid)
- TRACES
(January 1, 2016 - December 31, 2020)
[MINECO
TIN2015-67522-C3-1-R]
"Technologies and tools for Resource-Aware, Correct, Efficient Software"
(Tecnologías y Herramientas para el Desarrollo de
Software Consciente de los Recursos, Correcto y Eficiente)
- N-GREENS Software
(October 1, 2014 - December 31, 2018) [CM
S2013/ICE-2731]
"Madrid Program in Rigorous Methods for the Development of
Software"
(Programa en métodos rigurosos para el
desarrollo de software de la Comunidad de Madrid)
- StrongSoft
(January 1, 2013 - June 30, 2017)
[MINECO
TIN2012-39391-C04-03]
"Sound Technologies for Reliable, Open, New Generation Software"
(Tecnologias Rigurosas para Software de Nueva Generacion, Abierto y Fiable)
- POLCA
(September 1, 2013 - August 31, 2016) [EU IST
Project GA#610686]
"Programming Large-Scale Heterogeneous Infrastructures"
- ENTRA
(October 1, 2012 - January 1, 2016) [EU IST
FET
MINECC Proactive Program. Project #318337]
"Whole-Systems Energy Transparency"
- TACLe
(November 7, 2012 - November 6, 2016) [EU ICT
COST Action
IC1202]
"Timing Analysis on Code Level"
- SpaRCIM
(January 1, 2010 - June 30, 2014)
[MICINN 2009-07495-E/TIN
Special action / EU]
"Spanish Research Consortium for Informatics and
Mathematics"
ERCIM, and ERCIM Working
Group on Constraints. ERCIM ABCDE program.
- PROMETIDOS-CM
(January 1, 2010 - June 30, 2014) [CM
S2009TIC-1465]
"Madrid Program in Rigorous Methods for the Development of Software"
(Programa en métodos rigurosos para el
desarrollo de software de la Comunidad de Madrid)
- DOVES
(January 1, 2009 - December 31, 2014)
[MICINN
2008-05624/TIN]
"Development Of Verifiable and Efficient Software"
(Desarrollo de Software Verificable y Eficiente)
- 4Caast
(June 1, 2010 - August 31, 2013) [EU IST
Project GA#258862]
"Building the PaaS Cloud of the Future"
- HATS
(March 1, 2009 - February 28, 2013) [EU IST
FET
Program. Integrated Project #231620]
"Highly Adaptable and Trustworthy Software using Formal Methods"
- SCUBE (March 1, 2008 - February 29, 2012) [EU Network of Excellence of the Software
and Services Architectures objective of the Information &
Communication and Technologies program,
Project number 215483]
"The European Network on Software and Services"
- ES_PASS
(Sep. 1, 2007 - Nov. 31, 2009) [EU ITEA2 cluster of EUREKA
Program, Project number 06042,
Spanish PROFIT grant FIT-340005-2007-14]
"Embedded Software Product-based ASSurance"
- MOBIUS
(Sep. 1, 2005 - Aug 31, 2009) [EU IST
FET
Program. Integrated Project IST-15905]
"Mobility, Ubiquity, and Security"
- MERIT
/ COMVERS
(Oct. 2005 - Jun. 2009) [MEC
TIN2005-09207-C03-01]
"Resource-Aware and Verifiable Mobile Computing"
(Computación móvil verificable y consciente de los recursos)
-
PROMESAS
(Jan. 2006 - Dec. 2009) [CM
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)
- GGCC (June 2006 - Dec 2008) [EU ITEA cluster of the EUREKA program,
Spanish PROFIT grant FIT-350400-2006-44]
"Global GNU Compiler Collection"
- AGENTLINK I/II/III
(1998 - 2007) [FET
Network of
Excellence P 27225]
"The Agent-Based Computing Network"
- GridCoord (July 1, 2004 - July 1, 2006)
[EU IST
Program Project IST-2004-511618]
"ERA Pilot on a co-ordinated Europe-wide initiative in Grid
Research"
- CUBICO
(Dec. 2002 - Dec. 2005) [MCYT
TIC 2002-0055]
"Optimized Compilation Techniques for Ubiquitous Computation"
(Computación UBIcua mediante
técnicas de Compilación Optimizante).
- ASAP (November 1, 2002 - January 31, 2006)
[EU IST
FET
Program 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).
- CoLogNet (1 Jan 2002 -
31 June 2005) [EU
IST FET Network of
Excellence IST-2001-33123]
"The EU Network of
Excellence in Computational Logic"
- AMOS (1 March 2002 - 31
May 2004) [EU
IST Program 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 Inc.]
"Porting Ciao to Mac OS X"
(Adaptación de Ciao al sistema
operativo Mac OS X).
- eBroker (Nov. 2000 - Jun. 2001) [Funded by Ibermática]
"Servicios de Brokering Electrónico para
Infraestructuras de Comercio Abiertas"
- RadioWeb
(Jan. 1998 - Mar. 2000/2001) [ESPRIT
EP 25562 / CICYT TIC98-1531-CE]
"Automatic Generation of Web Sites for the Radio Broadcasting
Industry"
- COMPULOG NET I/II/III
(1991 - 2001) [ESPRIT
Network of
Excellence P 7230/22554]
"The Computational Logic Network"
- ECCOSIC
(Mar. 1998 - Feb. 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
/ CICYT TIC97-1640-CE]
"Debugging Systems for Constraint Programming"
- ELLA
(Jun. 1996 - Jun. 1999) [CICYT
TIC 96-1012-C02-01]
"Extensions to Logic Languages for Advanced Applications"
(Extensiones de los Lenguajes Lógicos para Aplicaciones
Avanzadas).
- ExperNet
(Jan. 1997 - Jul. 1999) [INCO (International Cooperation) CP96-0114]
"A Distributed Expert System for the Management of a National
Network"
- VOCAL
(Nov. 1996 - Apr. 1998) [ESPRIT P 23182]
"Validation Of Constraint programming through an
Application in Logistics"
- ABILE
(Jan. 1995 - Dec. 1997) [HCM/TMR CHRX-CT94-0624]
"Abstract Interpretation for Declarative Languages "
- 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"
- PRINCE
(Sep. 1990 - Jan. 1995) [ESPRIT P 5264 /
TIC91-0106-CE/94-1516-CE]
"PRolog Integrated with Constraints and Environment for
industrial and financial applications."
- PEPMA
(Jan. 1989 - Dec. 1991) [ESPRIT P 2471 /
TIC90-1105-CE/92-1178-E]
"Parallel Execution of Prolog on Multiprocessor Architectures"
- Other: