University of Oviedo
My main research topics are programming languages and software engineering. The following are more specific research lines I work in.
Hybrid static and dynamic typing languages. Most hybrid typing languages use the approach of gradual typing. Besides, gathering type information of dynamically typed code may be used to improve runtime performance. We have implemented the research language StaDyn to measure the real benefits of this approach.
Aspect-oriented software development. In particular, we do research on efficient dynamic aspect weavers. We implemented the DSAW Dynamic and Static Aspect Weaver.
Virtual machines. Optimization techniques to execute the common meta-programming features of dynamic languages. We implemented ЯRotor as an extension of the SSCLI implementation of .Net. I also participated in the design and implementation of the nitrO and Zero virtual machines.
Dynamic languages. With the experience gained from designing and implementing StaDyn, we are including type inference in dynamically typed languages such as Python. The objective is to statically detect type errors in programs with no type annotation.
Computational reflection. Definition of new levels of behavioral reflection to provide a high level of dynamic adaptiveness. In my PhD I implemented the nitrO non-restrictive computational reflective system.
Declarative programming for mobile devices. As part of the SERENOA FP7 research project, I worked in the design of DIMAG, a Device-Independent Mobile Application Generation framework; and Lizard, a wizard to create multi-platform GUI applications.
Reverse engineering. We use machine learning to retrieve part of the information that is commonly lost in translation mechanisms such as compilation (i.e., improve decompilation).