conf.researchr.org / Nazareno Aguirre
Registered user since Fri 15 Aug 2014
Name:Nazareno Aguirre
Bio:
Nazareno Aguirre is an Associate Professor at the Computer Science Department, University of Rio Cuarto (UNRC), Argentina, and a Researcher of the Argentinian National Council for Scientific Research (CONICET). He is currently the Chair of the Computer Science Department at UNRC. He received his PhD from King’s College London, University of London, United Kingdom. His research interests include the foundations of software engineering, and formal techniques applied to software analysis.
Affiliation:University of Rio Cuarto and CONICET, Argentina
Personal website: http://dc.exa.unrc.edu.ar/staff/naguirre/
Research interests:Software Engineering, Automated Analysis, Software Verification
Contributions
2024
2023
ISSTA
2022
ASE
- Committee Member in Program Committee within the NIER Track-track
- Author of LISSA: Lazy Initialization with Specialized Solver Aid within the Artifact Evaluation-track
- Author of ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications within the Research Papers-track
- Author of LISSA: Lazy Initialization with Specialized Solver Aid within the Research Papers-track
- Author of Artifact of ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications within the Artifact Evaluation-track
ISSTA
2021
ASE
- Committee Member in Program Committee within the Research Papers-track
- Session Chair of Verification (part of Research Papers)
- Author of BeAFix: An Automated Repair Tool for Faulty Alloy Models within the Tool Demonstrations-track
- Author of FLACK: Localizing Faults in Alloy Models within the Tool Demonstrations-track
- Committee Member in Program Committee within the NIER track-track
ICSE
- Author of EvoSpex: An Evolutionary Algorithm for Learning Postconditions within the Technical Track-track
- Author of EvoSpex: An Evolutionary Algorithm for Learning Postconditions within the AE - Artifact Evaluation-track
- Committee Member in Program Committee within the DS - Doctoral Symposium-track
- Author of Artifact of ICSE 2021 Technical Track Submission #653: Bounded Exhaustive Search of Alloy Specification Repairs within the AE - Artifact Evaluation-track
- Author of Artifact of "FLACK: Counterexample-Guided Fault Localization for Alloy Models" within the AE - Artifact Evaluation-track
- Author of Bounded Exhaustive Search of Alloy Specification Repairs within the Technical Track-track
- Author of FLACK: Counterexample-Guided Fault Localization for Alloy Models within the Technical Track-track