Nazareno Aguirre

Associate Professor (UNRC). Independent Researcher (CONICET). Visiting Associate Professor (GTIIT).

prof_pic.jpg

Oficina A11.D

Departamento de Computación, FCEFQyN, UNRC

Ruta Nacional No. 36 Km 601

Río Cuarto (5800), Córdoba, Argentina

I am an Associate Professor at the Departamento de Computación, FCEFQyN, Universidad Nacional de Río Cuarto, and an Independent Researcher at Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET). I am also a Visiting Associate Professor at Guangdong Technion - Israel Institute of Technology, Shantou, China.

My main research interests correspond to Software Engineering, in particular Formal Methods for Software Development. I currently work on formal analyses of software based on SAT solving, including specification inference, test generation, bounded verification and program repair. The main aim of my research is to help build reliable quality software.

Current and upcoming service

news

Apr 27, 2023 Nazareno Aguirre becomes Associate Editor of IEEE Transactions on Software Engineering.
Mar 31, 2023 The research paper “Automated Repair of Unrealisable LTL Specifications Guided by Model Counting” (by M. Brizzio, R. Degiovanni, M. Cordy, M. Papadakis, S. Sánchez and N. Aguirre) has been accepted for publication at the Genetic and Evolutionary Computation Conference GECCO 2023.
Mar 1, 2023 Nazareno Aguirre becomes Visiting Associate Professor at Guangdong Technion - Israel Institute of Technology.

latest publications

  1. ACoRe: Automated Goal-Conflict Resolution
    Luiz Carvalho, Renzo Degiovanni, Matı́as Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, and Mike Papadakis
    In Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, 2023
  2. Efficient Bounded Exhaustive Input Generation from Program APIs
    Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, and Pablo Ponzio
    In Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, 2023
  3. Fuzzing Class Specifications
    Facundo Molina, Marcelo d’Amorim, and Nazareno Aguirre
    In 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022, 2022
  4. Learning to Prune Infeasible Paths in Generalized Symbolic Execution
    Facundo Molina, Pablo Ponzio, Nazareno Aguirre, and Marcelo F. Frias
    In IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022, 2022
  5. ATR: template-based repair for Alloy specifications
    Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, and Hamid Bagheri
    In ISSTA ’22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022, 2022
  6. ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications
    Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, and Marcelo F. Frias
    In 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, 2022
  7. LISSA: Lazy Initialization with Specialized Solver Aid
    Juan Manuel Copia, Pablo Ponzio, Nazareno Aguirre, Alessandra Gorla, and Marcelo F. Frias
    In 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, 2022