University of Oviedo Computer Science Department
   

 

Contact Info

Curriculum Vitae

Teaching

Thesis

Research

Publications

Projects

Other Interests

Useful Links

Hobbies

WARNING: Any commercial use of the information provided in this page without the previous knowledge and consent of the author is forbidden. Also, any automated processing of this information (including its storage in any database) without the previous knowledge and consent of the author is also forbidden.

José Manuel Redondo's Home Page

I am a Lecturer in the Computer Science Department of the University of Oviedo. I have a Ph.D. from the University of Oviedo in Computer Science Engineering.

Contact Information
Contact Info

Name: José Manuel Redondo López
Email: Correo Uniovi Directo
Phone: +34 985 10 50 94
Fax: +34 985 10 33 82
Address: Department of Computer Science, Calvo Sotelo s/n.
33007. Oviedo (Spain).
Home Page: www.di.uniovi.es/~redondojose

Curriculum Vitae
Curriculum Vitae

Degrees, Qualifications and Jobs

Other Merits

Teaching
Teaching

Past Teaching Activities

Current Teaching Activities

Thesis
Research

Abstract:

Dynamic languages give to their programs the ability to analyze and modify its structure, behaviour and environment at runtime. The main advantage offered by those languages is that they can build software that adapts better to the possible modifications of requirements during the lifetime of a particular program. They support characteristics such as meta-programming, reflection, dynamic reconfiguration and distribution.

Some dynamic languages, like Python, Ruby or Dylan, are increasing its popularity as developing tools for applications that require a high level of flexibility: adaptive and adaptable software, Web applications, game engines, etc. Those languages are commonly executed over a virtual machine using an interpreter, in order to take advantage of his numerous features and to implement flexible features easier. However, this also implies that the performance of the applications developed with those languages is worse than the performance achieved with 'static' languages. This performance is even decreased further by the additional operations that dynamic languages must perform in order to support his flexible characteristics.

There are big research fields dedicated to increase the performance of the applications that are executed over a virtual machine, trying to make it comparable to the performance offered by those which are compiled directly to native code. Techniques like adaptive JIT (Just in Time) compilation offer a significant performance increase, which allowed platforms like Java or C# to be used in commercial systems.

In order to improve the performance of dynamic languages, this thesis will use the same principle that was valid to improve the performance of virtual machines. The majority of virtual machines developed to allow the execution of dynamic languages had been created as interpreters. In our case we will use an already existing professional virtual machine with JIT compilation as a basis of our work, modifying it conveniently to add structural reflection features, in order to evaluate if it is possible to increase the runtime performance of dynamic languages that are executed over it. The main objective of this modification is to try to obtain an integrated and efficient support of those features inside the modified machine, so we can use them to implement dynamic languages and to increase its performance when compared with other similar implementations. This modification will be in fact an extension of the virtual machine; we will maintain full backwards compatibility with the original machine characteristics and legacy code.

In order to do that, a new computational model will be designed to try to unify the existing one (a class-based object-oriented model) with another model that will use some principles of the prototype-based object-oriented model, which better supports structural reflection. This new model will be used by our modifications, so we can both maintain the compatibility with legacy code and offer a new computational model which can be used to execute the dynamic languages that could be added to the modified machine.

Additionally, we will design a set of primitives that will allow the modified system to support the structural reflection features of dynamic languages inside the currently existing languages. Any programmer will be able to use them without modifying the syntax of those languages. Those primitives will be implemented in an integrated and efficient (native) form, so they will be part of the set of standard features offered by the machine.

Finally, we will modify the semantics of some instructions of the intermediate language that the virtual machine generates (CIL), but not the own language. This way the JIT compiler will process those instructions following the new computational model, and this will allow the system to generate native code using the new structural reflection features transparently.

With the idea described above we are trying to give the virtual machine a native support for dynamic languages, in addition to the support for static languages that already has. Both types of languages will be directly translated to a common intermediate language (already existing in the original machine), which will allow that any language L (either dynamic or static), supported by the extended virtual machine, could interoperate with any other language L2. Additionally, maintaining the same already existing intermediate language will enable us to offer full backwards compatibility with legacy code, so any program designed for the unmodified machine could be executed and return the same results.

Once the implementation is finished, we will validate the performance gains and memory usage of our system, comparing it with other dynamic systems of similar characteristics over various representative scenarios, testing also the cost of incorporating more flexibility to the original system, so we can validate the idea that is described in this thesis.

Download

You can download my Thesis clicking here (PDF document, ZIP-Compressed).

You can also download a PDF document with a summarized version of the work done in this tesis and the most updated performance results clicking here (PDF Document, RAR-Compressed) (in spanish)

Research
Research

Recent Research activities:

  • Researcher in the National Project Second erformance and Robustness improvement of Dynamic Languages to develop efficient, escalable and reliable software, won by Francisco Ortín Soler

My current research interests are:

Publications
Publications

Books:

Conceptos de Administración de Servidores Web IIS (In Spanish).
José Manuel Redondo López.
Cuadernos Didácticos De Ingeniería Informática Vol 51. ISBN: 978-84-692-3929-2. Pp 1-208. Editorial Servitec. Oviedo (Spain).
2009
 
Introducción a La Programación Orientada a Objetos con Java (In Spanish).
Ivan Fernández Lobo; Almudena García Fuente; José Manuel Redondo López.
Cuadernos Didácticos De Ingeniería Informática Vol 43. ISBN: 84-688-8820-6. Pp 1-96. Editorial Servitec. Oviedo (Spain).
2004
 

Journals:

Efficient Virtual Machine Support of Runtime Structural Reflection.
Francisco Ortin, Jose Manuel Redondo, J. Baltasar Garcia Perez-Schofield
Elsevier Science of Computer Programming, Volume 74, Issue 10, pp. 836-860. [Journal Homepage]
August 2009.
 
Optimizing Reflective Primitives of Dynamic Languages.
José Manuel Redondo, Francisco Ortín Soler, Juan Manuel Cueva.
World Scientific International Journal of Software Engineering and Knowledge Engineering, Volume 18, Issue 6, pp. 759-783. [Journal Homepage]
September 2008.
 
Adding Structural Reflection to the SSCLI.
Francisco Ortín Soler, José Manuel Redondo López, Luis Vinuesa, Juan Manuel Cueva.
Journal of .Net Technologies, Volume 3, Number 1-3, pp. 151-162.
May 2005.
 
Cinemedia Astur.
Martín González Rodríguez; María Esther Del Moral Pérez; José Manuel Redondo López.
Revista Comunicación Y Pedagogía. Ed. Primeras Noticias. ISSN: 1136-7733. Vol 1. pp 67- 75.
2002
 

Proceedings:

Propuesta de diseño de una asignatura de Seguridad de Sistemas Informáticos [JENUI 2009 Web Page]
Miguel Riesco Albizu, María Ángeles Díaz Fondón, José Manuel Redondo López, Néstor García Fernández
XV Jornadas de la Enseñanza Universitaria de la Informática. Barcelona (España). ISBN: 978-84-692-2758-9.
July 2009
 
Elaboración de Repositorios de Contenidos a Través de Wikis como Técnica de Evaluación [JENUI 2009 Web Page]
José Manuel Redondo, Francisco Ortín, Daniel Zapico, Juan Ramón Pérez
XV Jornadas de la Enseñanza Universitaria de la Informática. Barcelona (España). ISBN: 978-84-692-2758-9.
July 2009
 
Utilización de Patrones de Diseño en la asignatura de Procesadores de Lenguaje [JENUI 2009 Web Page]
Francisco Ortín, Daniel Zapico, José Manuel Redondo
XV Jornadas de la Enseñanza Universitaria de la Informática. Barcelona (España). ISBN: 978-84-692-2758-9.
July 2009
 
Language-Neutral Support Of Dynamic Inheritance. [ICSOFT 2008 Web Page]
José Manuel Redondo López; Francisco Ortín Soler; J. Baltasar García Pérez-Schofield
3rd International Conference on Software and Data Technologies. Porto (Portugal). ISBN: 978-989-8111-51-7. Vol 1. pp 5-12.
July 2008
 
Optimización de las Primitivas de Reflexión Ofrecidas por los Lenguajes Dinámicos. [PROLE Web Page]
José Manuel Redondo López; Francisco Ortín Soler; Juan Manuel Cueva Lovelle.
VI Jornadas sobre Programación y Lenguajes PROLE '06. Sitges (Barcelona) (Spain). ISBN: 84-95999-84-6. Vol 1. pp 53-64.
October 2006
 
Diseño de Primitivas de Reflexión Estructural Eficientes Integradas en SSCLI. [JISBD Web Page]
José Manuel Redondo López; Francisco Ortín Soler; Juan Manuel Cueva Lovelle.
Short Paper. Jornadas en Ingeniería del Software y Bases de Datos JISBD ' 06. Sitges (Barcelona) (Spain). ISBN: 84-95999-99-4. Vol 1.
October 2006
 
Reflexiones sobre el Proceso de Adaptación de Asignaturas tras la Realización de un Proyecto Piloto en la Escuela de Ingeniería Técnica Informática de Oviedo. [Sofd.unex Web Page]
Marián D. Fondón; J. Ramon Pérez Pérez; Miguel R. Albizu; Aquilino J. García Fuente; Covadonga Nieto; Asunción Lubiano; Macamen S. Torrente; Daniel F. Lanvín; J. Emilio Labra; Javier De Andrés; José M. Redondo; Rodrigo García; Ana M. S. Gibello.
Jornadas Nacionales De Intercambio De Experiencias Piloto De Implantación De Metodologías ECTS. Badajoz (Spain). Vol 1. pp 39.
September 2006
 
Aplicación de Técnicas de Evaluación Alternativas para la Enseñanza de la Programación.
José Manuel Redondo López; Francisco Ortín Soler; Luis Vinuesa Martínez.
I Jornadas De Innovación Docente De La EUITIO. Computer Science Technical School of Oviedo (EUITIO). Oviedo (Asturias) (Spain). ISBN 84-689-5250-8. Vol 1. pp 23-32.
October 2005
 
Extending Rotor with Structural Reflection to Support Reflective Languages. [Microsoft Research Web Page]
Francisco Ortín Soler; José Manuel Redondo López
Microsoft Research SSCLI RFP II Capstone Workshop 2005. Redmond, Washington (EEUU).
September 2005
 
Extending Rotor with Structural Reflection to Support Reflective Languages. [Academic Days 2005 Web Page]
José Manuel Redondo López; Francisco Ortín Soler
Guest Paper. Academic Days 2005. Microsoft Ibérica S. R. L. Lisboa (Portugal).
April 2005
 
Reflexiones y Experiencias sobre la Enseñanza de POO como Único Paradigma.
Daniel Gayo Avello; Agustín Cernuda Del Río; Juan Manuel Cueva Lovelle; Marián Díaz Fondón; Mª Pilar Almudena García Fuente; José Manuel Redondo López
JENUI 2003 - IX Jornadas De EnseñaNza Universitaria De La Informática. Cadiz University. Cadiz (Spain)
July 2003
 
Cinemedia Astur: Herramienta Avanzada para el Desarrollo de Software Educativo..
Bernardo Martín González Rodríguez; José Manuel Redondo López; Jesús Antonio Sánchez Padial; Ana María Fernández García; Juan Ramon Pérez Pérez; María Del Puerto Paule Ruiz.
2º Simposio Internacional De Informática Educativa (SIIE 2000). Universidad De Castilla La Mancha. Puertollano (Ciudad Real) (Spain). ISBN: 84-607-1341-5. Vol 1. pp 47.
November 2000
 
Enseñanza de la Historia con Hipermedia: Proceso de Desarrollo de Tirsus II..
Antonio Jesús Sánchez Padial; Ana María Fernández García; Martín González Rodríguez; José Manuel Redondo López; María Del Puerto Paule Ruiz; Juan Ramón Pérez Pérez.
Póster. 2º Simposio Internacional De Informática Educativa (SIIE 2000). Universidad De Castilla La Mancha. Puertollano (Ciudad Real) (Spain). ISBN: 84-607-1341-5. Vol 1. pp 75.
November 2000
 
Navegación Multidimensional en Acontecimientos Históricos. Tirsus IV: Una Vision Dinamica de la Historia..
Ana María García Fernández; Bernardo Martín González Rodríguez; Antonio Jesús Sánchez Padial; José Manuel Redondo López; María Del Puerto Paule Ruiz; Juan Ramón Pérez Pérez.
Poster. 2º Simposio Internacional de Informática Educativa (SIIE 2000). Universidad de Castilla La Mancha. ISBN: 84-607-1341-5. Vol 1. pp 76. Puertollano (Ciudad Real) (Spain).
November 2000
 
Modelos Contextuales Multidimientsionales en la Enseñanza Hipermedia de la Historia..
Bernardo Martín González Rodríguez; Antonio Jesús Sánchez Padial; Ana María García Fernández; José Manuel Redondo López.
Redes, Multimedia Y Diseños Virtuales. Universidad de Oviedo. Oviedo (Asturias) (Spain). ISBN: 607-1118-8. Vol 1. pp 619-630.
September 2000
 
Cinemedia Astur: Uso de Técnicas Avanzadas de Desarrollo de Software para el Aprendizaje por Ordenador..
Bernardo Martín González Rodríguez; José Manuel Redondo López; Jesus Antonio Sánchez Padial; Ana María Fernández García.
Redes, Multimedia y Diseños Virtuales. Universidad de Oviedo. Oviedo (Asturias) (Spain). ISBN: 607-1118-8. Vol 1. pp 537-546.
September 2000
 
Tirsus IV: Navegación Multidimensional en Aplicaciones Hipermedia sobre Acontecimientos Históricos..
Ana María Fernández García; Bernardo Martín González Rodríguez; José Manuel Redondo López; Antonio Jesus Sánchez Padial.
Interacción 2000. Universidad de Granada. Granada (Spain). Vol 1. pp 222-230.
June 2000
 
Cinemedia Astur: Herramienta Generadora de Títulos Hipermedia de Interfaz Flexible.
José Manuel Redondo López; Antonio Jesus Sánchez Padial; Ana María Fernández García; Bernardo Martín González Rodríguez.
Poster. Interacción 2000. Universidad De Granada. Granada (Spain). Vol 1. pp 238
June 2000
 
Tirsus II: Aplicación de Hipermedia para la Enseñanza de la Historia..
Antonio Jesus Sánchez Padial; Ana María Fernández García; Bernardo Martín González Rodríguez; José Manuel Redondo López.
Poster. Interacción 2000. Universidad de Granada. Granada (Spain). Vol 1. Pp 243-248.
June 2000
 

Projects
Research Projects

Research Projects

Extending Rotor with Structural Reflection to support Reflective Languages. [RRotor Homepage]
Microsoft Research.
From February 2004 to September 2005.
Main researchers: Francisco Ortín Soler.
 
SEELE: Dynamic and Automatic Web Interface Generation auto-adaptable to the interaction requirements of users with different disability degrees. [SEELE Homepage]
FICYT (Fundación para la Investigación en Ciencia y Tecnología) - P. R. I del Principado de Asturias. [FYCIT Homepage]
From December 2005 to December 2007.
Main researchers: Bernardo Martín González Rodríguez.
 
Reflective Platform to achieve Dynamic Separation of Aspects.
Spanish Ministry of Education and Scientific Research.
From January 2005 to December 2007.
Main researchers: Juan Manuel Cueva Lovelle.
 
Runtime Performance Optimization of Dynamic Languages by Means of JIT Compilation.
University of Oviedo.
From May 2006 to December 2006.
Main researchers: Francisco Ortín Soler.
 
Extending Dynamic Features of the SSCLI.
Microsoft Research.
From March 2006 to October 2007.
Main researchers: Francisco Ortín Soler.
 
System that supports Aspect-Oriented Software development, using both dynamic and static weaving and being language and platform independent.
University of Oviedo.
From April 2008 to December 2008.
Main researchers: Luís Vinuesa Martínez.
 
Performance and Robustness improvement of Dynamic Languages to develop efficient, escalable and reliable software..
Spanish Ministry of Education and Scientific Research.
From July 2008 to July 2011.
Main researchers: Francisco Ortin Soler.
 

Teaching Innovation Projects

Innovative Teaching Techniques in an Operating System Subject.
Vicerrectorado de Calidad e Innovación Docente. University of Oviedo. [UNIOVI Homepage]
From October 2005 to September 2006.
Main researchers: María Ángeles Diaz Fondón.
 
INVITRO: Virtual Environments Supported by Techniques, Resources and Learning Objects..
Secretaría de Estado de Universidades e Investigación.
From December 2004 to October 2004.
Main researchers: María Ángeles Diaz Fondón.
 
Using an active and collaborative Web environment to integrate learning resources.
University Of Oviedo.
From October 2005 to March 2007.
Main researchers: Juan Ramón Pérez Pérez.
 

Other Computer Science Interests
Other Computer Science Interests

Useful Links
Links

Valid XHTML 1.1 Valid CSS