Publications:

• J. Guadalupe Ramos-Diaz, Isela Navarro, Josep Silva, Gustavo Arroyo. Defining DSL Design Principles for Enhancing the Requirements Elicitation Process. Acta Universitaria, Vol.22, , Marzo 2012, Pag.126-133. Universidad de Guanajuato. México.

• G. Arroyo, J.G. Ramos, and J. Silva. Generating CNC Code From a Domain Specific Language. In Research in Computer Science (ENC'11), pages 151-161. C. Zepeda, R. Marcial, A. Sánchez, J.L.Zechinelli and M. Osorio (Eds.), 2011. PDF
  

• J. Guadalupe Ramos, Josep Silva, Gustavo Arroyo, Juan C. Solorio: A Technique for Information Retrieval from Microformatted Websites. Ershov Memorial Conference 2009: 344-351

• Gustavo Arroyo, J.Guadalupe Ramos, Salvador Tamarit, Germán Vidal. A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs. LOPSTR 2008, Springer LNCS 5438, pp. 40-54, 2009. PDF ©Springer

• Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal
  Offline Narrowing-Driven Specialization in Practice
  II CONGRESO ESPAÑOL DE INFORMÁTICA (CEDI 2007),
  ACTAS de las VII Jornadas sobre Programación y Lenguajes (PROLE’07) pp.137-146.
  Available:  PDF

• Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal
  Improving Offline Narrowing-Driven Partial Evaluation using Size-Change Graphs
  Logic-Based Program Synthesis and Transformation (revised and selected papers from LOPSTR 2006). Springer LNCS 4407, pp. 60-76, 2007.
  Extended and revised version of this abstract.
  © Springer-Verlag
  Available: Abstract / PDF / BibTeX entry

• Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal
  Improving Offline Narrowing-Driven Partial Evaluation using Size-Change Graphs
  International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2006), pp. 55-61, 2006
  Available: Abstract / PDF (preliminary version) / Technical report / BibTeX entry

• Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal

  Towards CNC Programming using Haskell

  IX Ibero-American Conference on Artificial Intelligence (IBERAMIA 2004), Puebla (Mexico). Springer LNCS 3315, pp. 386-395, 2004.

   © Springer-Verlag

  Available:  PDF
  

Software:

I have had the opportunity to work mainly with offline partial evaluation, specifically with the functional logic language Curry, into the development system PAKCS (Version 1.7.3), so I have participated in the next developments:

·         A simple monovariant Binding-Time Analyzer (BTA) for the metalaguage

·         An Offline Narrowing-Driven Partial Evaluator (v0.1). It ensures termination applying the size-change graphs principle, and it is able to annotate programs using either the non-increasing syntactic characterization that is detailed in the paper Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Systems, or the size-change graphs principle which is explained in the paper Improving Offline Narrowing-Driven Partial Evaluation using Size-Change Graphs.

·         A new control strategies for the Offline Narrowing-Driven Specialization has been undertaken. Here we show a pure offline partial evaluator compared with a hybrid offline and online partial evaluators inclusive. We show a benchmark results also, details are explained in this paper Offline Narrowing-Driven Specialization in Practice.

Implementation of a compiler for Gauss language:

·         The implementation of this compiler was made as a course project at the CINVESTAV-IPN in 1987. The work was: translate the compiler of Gauss language from PL/I to Pascal and understand it, the source code was taken from the book entitled "An implementation guide to compiler writing" by Jean Paul Tremblay and Paul G. Sorenson. The compiler is totally didactic and is used by students of the Department Science at the University of Saskatchewan in Canada, according to the authors of the book.

PhD Thesis:

Title: Evaluación Parcial Offline Dirigida por Narrowing: Técnicas de Optimización y Aplicaciones.

Author: Gustavo Arroyo Delgado.

Advisors: Germán Vidal Oriola y J. Guadalupe Ramos Díaz.

Date of thesis defense: 2012-10-25

Distinction of honor granted: APTO "CUM LAUDE"

Teaching: