Miguel Garcia Rodriguez

University of Oviedo

Contact Me

About Me

Personal Details

I am Miguel, Teaching Assistant in the Computer Science Department of the University of Oviedo, Ph.D. in Computer Science and Computer Engineer.

My research interests are focused on programming languages and software development. I am member of the Computational Reflection Research Group

In this page you can find my teaching information, list of publications and contact info.

About-image

Research interests

Hybrid static and dynamic typing languages

Gathering type information of dynamic typing code at compile time can be used to improve early type error detection and runtime performance of the code generated. We have implemented the research language StaDyn to measure the real benefits of this approach.

Aspect-oriented software development

AOSD facilitates a modularisation of different functionalities which cut across the entire system software. In particular, we do research on how dynamic and static AOSD can be used to separate common security concerns of distributed systems.

Runtime adaptable systems

Investigate the suitability of dynamic languages to implement systems with high runtime adaptability requirements. We do research on how the distinguishing features of dynamic languages can be used to program dynamically adaptive services in a robotics framework.

Resume

2015

Teaching Assistant

Languages and Systems area of the Computer Science Department of the University of Oviedo

2013

Temporary Teaching Assistant

Languages and Systems area of the Computer Science Department of the University of Oviedo

2013

PhD. Doctor of Philosophy (with International Doctorate Honorable Mention)

University of Oviedo, with the Thesis entitled Improving the Performance and Robustness of Hybrid Statically and Dynamically Typed Programming Languages
Ph.D. Supervisor, Dr. Francisco Ortin

2009-2010

Master Degree in Internet Services and Systems

University of Oviedo

2009

Predoctoral Research Fellowship FPI

Computer Science Department of the University of Oviedo

2006-2008

Master Degree in Web Engineering

University of Oviedo

2006

Research Engineer in Semantic Technologies

R&D Department in the CTIC Foundation

2002-2005

Bachelor Degree in Computer Science

University of Oviedo

2000-2002

Advanced Technician in Software Development

I.E.S. Universidad Laboral

Teaching

Publications

Journals

Optimizing Runtime Performance of Hybrid Dynamically and Statically Typed Languages for the .Net Platform
Jose Quiroga, Francisco Ortin, David Llewellyn-Jones, Miguel Garcia,
Elsevier Journal of Systems and Software, Volume 113, pp. 114-129. ISSN: 0164-1212
March 2016
Design and implementation of a efficient hybrid dynamic and static typing language
Miguel Garcia, Francisco Ortin, Jose Quiroga
Wiley Software: Practice and Experience, Volume 46(2), pp. 199-226. ISSN: 0038-0644
February 2016
Automatic Generation of Object-Oriented Type Checkers
Francisco Ortin, Daniel Zapico, Jose Quiroga, Miguel Garcia
IACSIT Press Lecture Notes on Software Engineering, Volume 2 (4), pp. 288-293. ISSN: 2301-3559
November 2014
Attaining Multiple Dispatch in Widespread Object-Oriented Languages
Francisco Ortin, Jose Quiroga, Jose Manuel Redondo, Miguel Garcia
Dyna, Volume 186, pp. 242-250. ISSN: 0012-7353
August 2014
Efficient runtime adaptability to support context-awareness in a robotic framework
Miguel Garcia, Francisco Ortin
IOS Press Journal of Ambient Intelligence and Smart Environments, Volume 6 (1), pp. 107-109. ISSN: 1876-1364
January 2014
On the suitability of dynamic languages for hot-reprogramming a robotics framework: a Python case study
Francisco Ortin, Sheila Mendez, Vicente Garcia-Diaz, Miguel Garcia
Wiley Software: Practice and Experience, Volume 44 (1), pp. 77-104. ISSN: 0038-0644
January 2014
Combining Static and Dynamic Typing to Achieve Multiple Dispatch
Francisco Ortin, Miguel Garcia, Jose Manuel Redondo, Jose Quiroga
International Information Institute Information -- An International Interdisciplinary Journal, Volume 16 (12b), pp. 8731-8750. ISSN: 1343-4500
December 2013
Achieving Multiple Dispatch in Hybrid Statically and Dynamically Typed Languages
Francisco Ortin, Miguel Garcia, Jose Manuel Redondo, Jose Quiroga
Springer Advances in Information Systems and Technologies, Volume 206, pp. 703-713. ISSN: 2194-5357
March 2013
A Programming Language that Combines the Benefits of Static and Dynamic Typing
Francisco Ortin, Miguel Garcia
Springer Communications in Computer and Information Science, Volume 170, pp. 72-87. ISSN: 1865-0929
January 2013
Modularizing Different Responsibilities into Separate Parallel Hierarchies
Francisco Ortin, Miguel Garcia
Springer Communications in Computer and Information Science, Volume 275, pp. 16-31. ISSN: 1865-0929
January 2013
Towards a Practical Solution for Data Grounding in a Semantic Web Services Environment
Miguel Garcia, Jose M. Álvarez, Diego Berrueta, Luis Polo, Jose E. Labra, Patricia Ordoñez
Technischen Universitat Graz Journal of Universal Computer Science, Volume 18 (11), pp. 1576-1597. ISSN: 0948-6968
June 2012
Union and intersection types to support both dynamic and static typing
Francisco Ortin, Miguel Garcia
Elsevier Information Processing Letters, Volume 111 (6), pp. 278-286. ISSN: 0020-0190
February 2011
Including both Static and Dynamic Typing in the same Programming Language
Francisco Ortin, Daniel Zapico, J. Baltasar García Perez-Schofield, Miguel Garcia
IET Software, Volume 4 (4), pp. 268-282. ISSN: 1751-8806
August 2010
Declarative data grounding using a mapping language
Miguel Garcia, Jose M. Álvarez, Diego Berrueta, Luis Polo
Communications of SWIN, Volume 6, pp. 132-138. ISSN: 1757-4439
April 2009

Conferences

Uso de JUnit para evaluación en laboratorio de Estructuras de Datos
Agustín Cernuda, Miguel Garcia, Nestor Garcia, Martín González
Proceedings of the XX Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), Oviedo, (Spain)
July 2014
TYS - A Framework To Facilitate The Implementation Of Object-Oriented Type Checkers
Francisco Ortin, Daniel Zapico, Jose Quiroga, Miguel Garcia
Proceedings of the The 26th International Conference on Software Engineering and Knowledge Engineering (SEKE), Vancouver, (Canada)
July 2014
Optimización de Lenguajes con Comprobación Estática y Dinámica de Tipos
Miguel Garcia, Francisco Ortin
Proceedings of the XIII Jornadas sobre Programación y Lenguajes (PROLE), Madrid, (Spain)
September 2013
A Performance Cost Evaluation of Aspect Weaving
Miguel Garcia, Francisco Ortin, David Llewellyn-Jones, Madjid Merabti
ACM Proceedings of the 36 Australian Computer Science Conference (ACSC), Adelaide, (Australia)
January 2013
Computational Reflection in order to Support Context-Awareness in a Robotics Framework
Sheila Mendez, Francisco Ortin, Miguel Garcia, Vicente García-Díaz
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE), Miami, Florida (USA)
July 2011
A Type Safe Design to Allow the Separation of Different Responsibilities into Parallel Hierarchies
Francisco Ortin, Miguel Garcia
Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Bejing (China)
June 2011
Separating different Responsibilities into Parallel Hierarchies
Francisco Ortin, Miguel Garcia
ACM Proceedings of the Fourth International C* Conference on Computer Science and Software Engineering (C3S2E'11), Montreal (Canada)
May 2011
Supporting Dynamic and Static Typing by means of Union and Intersection Types
Francisco Ortin, Miguel Garcia
IEEE Proceedings of the International Conference on Progress in Informatics and Computing (PIC), Shanghai (China)
December 2010
A Programming Language to Facilitate the Transition from Rapid Prototyping to Efficient Software Production
Francisco Ortin, Daniel Zapico, Miguel Garcia
Proceedings of the 5th International Conference on Software and Data Technologies (ICSOFT), Athens (Greece)
July 2010
Trioo, Keeping The Semantics Of Data Safe And Sound Into Object-Oriented Software
Sergio Fernandez, Diego Berrueta, Miguel Garcia, Jose E. Labra
Proceedings of the 5th International Conference on Software and Data Technologies (ICSOFT), Athens (Greece)
July 2010

Books

Research Internships

Rule-Based Program Specialization to Optimize Gradually Typed Programs
Computer Science Department, Cork Institute of Technology (CIT), Cork (Ireland)
Supervised by Tim Horgan (Head of Department) and Seán McSweeney
From 20th of May 2017 to 20th of July 2017

contact me

Address

  • Computer Science Department
  • C/Federico Garcia Lorca SN
  • 33007, Oviedo, Spain

Phone

+34 985 10 4134


E-mail

  • miguel at miguelgr.com
  • garciaRmiguel at uniovi.es

Social

@miguelgrdotcom
garciaRmiguel