Miguel Garcia Rodriguez

University of Oviedo

Contact Me

About Me

Personal Details

I am Miguel, Associate Professor at 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

2023

Associate Professor

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

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

Programming Technology and Paradigms

Computer Science Engineering School
BSc in Software Engineering

Programming Languages Design

Computer Science Engineering School
BSc in Software Engineering

Web Services

Computer Science Engineering School
MS in Web Engineering

Publications

Journals

Analyzing Syntactic Constructs of Java Programs with Machine Learning
Francisco Ortin, Guillermo Facundo, Miguel Garcia
Elsevier Expert Systems with Applications, Volume 215, pp. 119398-119414. ISSN: 0957-4174
April 2023, doi: doi.org/10.1016/j.eswa.2022.119398
The StaDyn Programming Language
Francisco Ortin, Miguel Garcia, J. Baltasar García Perez-Schofield, Jose Quiroga
Elsevier SoftwareX, Volume 20, pp. 101211-101222. ISSN: 2352-7110
December 2022, doi: 10.1016/j.softx.2022.101211
Mining Common Syntactic Patterns used by Java Programmers
Alvaro Losada, Guillermo Facundo, Miguel Garcia, Francisco Ortin
IEEE Latin America Transactions, Volume 20(5), pp. 753-762. ISSN: 1548-0992
May 2022, doi: 10.1109/TLA.2022.9693559
An empirical evaluation of Lex/Yacc and ANTLR parser generation tools
Francisco Ortin, Jose Quiroga, Oscar Rodriguez, Miguel Garcia
PLOS One, Volume 17(3), pp. 1-16. ISSN: 1932-6203
March 2022, doi: 10.1371/journal.pone.0264326
ProcessPerformance: A portable and easy-to-use tool to measure resource consumption of running processes
Miguel Garcia, Jose Quiroga, Francisco Ortin
Elsevier Software Impacts, Volume 11(5), article 100220, pp. 1-5. ISSN: 2665-9638
February 2022, doi: 10.1016/j.simpa.2022.100220
An Infrastructure to Deliver Synchronous Remote Programming Labs
Miguel Garcia, Jose Quiroga, Francisco Ortin
IEEE Transactions on Learning Technologies, Volume 14(2), pp. 161-172. ISSN: 1939-1382
Abril 2021, doi: 10.1109/TLT.2021.3063298
Authors' version
Heterogeneous tree structure classification to label Java programmers according to their expertise level
Francisco Ortin, Oscar Rodriguez-Prieto, Nicolas Pascual, Miguel Garcia
Elsevier Future Generation Computer Systems, Volume 105, pp. 380-394. ISSN: 0167-739X
April 2020, doi: 10.1016/j.future.2019.12.016
Authors' version
Rule-based program specialization to optimize gradually typed code
Francisco Ortin, Miguel Garcia, Sean McSweeney
Elsevier Knowledge-Based Systems, Volume 179, pp. 145-173. ISSN: 0950-7051
September 2019, doi: 10.1016/j.knosys.2019.05.013
Authors' version
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, doi: 10.1016/j.jss.2015.11.041
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, doi: 10.1002/spe.2291
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
Applying dynamic separation of aspects to distributed systems security: a case study
Miguel Garcia, David Llewellyn-Jones, Francisco Ortin, Madjid Merabti
IET Software, Volume 6 (3), pp. 231-248. ISSN: 1751-8806
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

A Monitoring Infrastructure to Improve Flipped Learning in Technological Courses (best paper award)
Francisco Ortin, Jose Quiroga, Miguel Garcia
7th International Conference on Education and Distance Learning (ICEDL), Paris, (France)
Paper published in International Journal of Information and Education Technology (IJIET)
July 2023
Infraestructura de código abierto para el soporte de enseñanza síncrona en entornos distribuidos
Francisco Ortin, Jose Quiroga, Miguel Garcia, Javier Escalada, Oscar Rodríguez
Proceedings of the XV Jornadas Internacionales de Innovación Docente: Nuevos Ecosistemas para Nuevas Modalidades de Aprendizaje, ISBN: 978-84-18482-86-1, Gijón, (Spain)
May 2023
Open-source Infrastructure for the Remote Delivery of Synchronous and Highly Interactive Sessions
Jose Quiroga, Miguel Garcia, Francisco Ortin
Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) online streaming
April 2022
Evaluation of the Use of Different Parser Generators in a Compiler Construction Course
Francisco Ortin, Jose Quiroga, Oscar Rodriguez-Prieto, Miguel Garcia
Proceedings of the World Conference on Information Systems and Technologies (WorldCIST), Budva, (Montenegro)
Springer Information Systems and Technologies, Lecture Notes in Networks and Systems, volume 470, pp 338–346
April 2022
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

Improving the Performance and Robustness of Hybrid Statically and Dynamically Typed Programming Languages
Improving the Performance and Robustness of Hybrid Statically and Dynamically Typed Programming Languages
Miguel Garcia Rodriguez
Ph.D. Supervisor, Dr. Francisco Ortin
Ph.D. Thesis at the Computer Science Department of the University of Oviedo. ISBN: 978-84-8317-987-1
June 2013

Research Internships

Rule-based program specialization to optimize gradually typed code
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
Applying Dynamic Separation of Aspects to Distributed Systems Security
School of Computing & Mathematical Sciences, Liverpool John Moores University, Liverpool (United Kingdom)
Supervised by Prof. Madjid Merabti and David Llewellyn-Jones
From 1st of February 2010 to 31th of May 2010

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