Universidad Católica de Santiago del Estero

• Researcher

• Functional Programming

• Refactoreo para Comprehensión y Mantenimiento de Software(in Spanish)
• Introducción a la Programación Funcional en Haskell(in Spanish)

From the beginning I have been working on reverse engineering and program comprehension areas. I have contributed to these areas by proposing improvements to some processes by using slicing technology. I have also proposed the use of program slicing in functional programming (on Haskell code specifically) for reverse calculation. In my effort to contribute to these areas, I am now investigating the role of program transformation (specially program refactoring) in program comprehension and maintenance, but from an entirely different perspective from what is currently dominant in Extreme Programming.
Summarizing:

• Software reengineering: reverse engineering, program comprehension, program transformation, bidirectional transformations.
  
• Software maintenance.
• Formal methods: functional programming, refactoring, category theory, monads.

"If aerospace engineering performed maintenance in the same way as software engineering does today, we could have a maintenance operator trying to fix an engine on a wing while the aircraft is flying."

Presently I am working on an innovative use of program transformation techniques during program comprehension and maintenance. More details here.

• Gustavo Villavicencio. Toward Ordering the Set of Modifications to Solve a Maintenance Request. Proceedings of the IEEE Computer Signature Conference on Computers, Software and Applications. (COMPSAC 2020), Madrid, Spain. IEEE. To appear.
• Gustavo Villavicencio. Modifiable Source Code Virtual Views. In Proceeding of the XXXIII Brazilian Symposium on Software Engineering (SBES 2019), Salvador, Brazil. ACM Press. To appear.
• Gustavo Villavicencio. Software Maintenance like Maintenance in Other Engineering Disciplines. In Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014), Hong Kong, China. ACM Press, 2014.
• Gustavo Villavicencio. A New Software Maintenance Scenario Based on Refactoring Techniques. In Proceedings of the 16th European Conference on Software Reengineering and Maintenance (CSMR 2012), Zseged, Hungary. IEEE Computer Society, 2012. (Poster and Slides)
• Gustavo Villavicencio. Recursive Operators in the Comprehension of Functional Programs. In Nuevas Propuestas, Santiago del Estero, Argentina, Diciembre 2011. ISSN 0327-7437
• Gustavo Villavicencio. Software Maintenance Supported by Refactoring. In the 2011 International Conference on Software Engineering Research and Practice (SERP 2011), July 2011, Las Vegas, Nevada, USA.
• Gustavo Villavicencio. A Bottom Up Approach to Understand Functional Programs. In the Fourth International C* Conference on Computer Science & Software Engineering (C3S2E 2011), May 2011, Montreal, Quebec, Canada. ACM Press, 2011.
• Gustavo Villavicencio. Refactoring for Comprehension. In Draft Proceeding of 8th Symposium on Trends in Functional Programming (TFP 2007), Seaton Hall University, New York, USA. (Slides)
• Gustavo Villavicencio. Potential Progamming Plain and Domain Concept Detection Supported by Slicing Technique. In proceeding of X Argentine Congress on Computer Science (CACIC 2004), October, San Justo, Buenos Aires, Argentine, 2004
• Gustavo Villavicencio. Reversing Program Formaly by Conditioned Slicing. In Proceeding of the Seventh European Conference on Software Maintenance and Reengineering (CSMR 2003) 28-28 March 2003, Benevento, Italy. IEEE Computer Society, 2003.
• G. Villavicencio and J.N. Oliveira. Formal Reverse Calculation by Code Slicing. In Proceedings of the 8th Working Conference on Reverse Engineering (WCRE 2001) 2-5 October 2001, Stuttgart, Germany, pag. 35-46. IEEE Computer Society, 2001.
• Gustavo Villavicencio. Program Analysis for the Detection of Programming Plans Applying Slicing. In Proceedings of 5th European Conference on Software Maintenance and Reengineering (CSMR 2001) 14-16 March 2001, Lisbon, Portugal. IEEE Computer Society, 2001.
• Gustavo Villavicencio. Program Analysis for the Construction of Libraries of Programming Plans Applying Slicing. In Annals of the XIV Brazilian Symposium on Software Engineering (SBES 2000) 4-6 October 2000, Joao Pessoa, Paraíba, Brazil.
• Gustavo Villavicencio. Software de Calidad. In Nuevas Propuestas, Santiago del Estero, Argentina, Diciembre 1999. ISSN 0327-7437
• Gustavo Villavicencio. Un caso de estudio en entendimiento de programas. In Nuevas Propuestas, Santiago del Estero, Argentina, Junio 1999.ISSN 0327-7437
• Gustavo Villavicencio. Un Enfoque para la Identificación de Componentes Reusables de Sofware. In Anales de las Jornadas Universitarias sobre Computación (JUCSE 96), Santiago del Estero, Argentina, pág. 561-594, 1996.
• Gustavo Villavicencio. A Domain Analysis Process. In poster session at the XXV Jornadas Argentinas de Informática e Investigación Operativa (JAIIO 96), Buenos Aires, Argentina, 1996.

• Gustavo Villavicencio. Scalling up the Bidirectional Maintenance Lifecycle Technical Report, 2015.
• Gustavo Villavicencio. Handling State in Reverse Program Calculation. Technical Report 804, August 2005.

• Gustavo Villavicencio. Monadic Refactoring by Reverse Program Calculation. Technical Report TR0604, June 2004.

• Gustavo Villavicencio. Top-Down/Bottom-Up Approach Supported by Slicing Technique to Recover Programming Plans and Domain Concepts. Technical Report TR0903, September 2003.

1999-2001: Neighbors Project(in Spanish)

2001-2002: APU Project(in Spanish)

2001-2002: RIS Project(in Spanish)

2005-2008: LerNet Alpha Europe: Latin America Joint PhD Program on Language Engineering and Rigourouse Software Development

2007-2009: MOVERSE Project(in Spanish)

Calendars:

Software Engineering Events

ACM calendar

IEEE calendar

Selected Events:

2019 : ASE - ICSE - ICSME ICPC

Personal:

My ACM portal page

My IEEE portal page

My DBLP portal page

Computer Science:

Interested in formal methods? Formal Method Europe

The TeX Catalogue

Meta Programming with Rascal