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
Research interests:Software Engineering, Automated Analysis, Software Verification

Contributions

ASE 2021 Committee Member in Program Committee within the Research Papers-track
Committee Member in Program Committee within the NIER track-track
ASE 2020 Session Chair of Formal Methods (1) (part of Research Papers)
ISSTA 2020 Session Chair of BUILD TESTING (part of Technical Papers)
Committee Member in Program Committee within the Technical Papers-track
ICGSE 2020 Committee Member in Program Committee
ICSE 2021 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
ASE 2019 Session Chair of Deep Models (part of Papers)
Author of Efficient Test Generation Guided by Field Coverage Criteria within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
FASE 2019 Author of Automatically Identifying Sufficient Object Builders from Module APIs within the FASE 2019-track
ETAPS 2019 Author of Automatically Identifying Sufficient Object Builders from Module APIs within the Posters-track
ICSE 2020 Committee Member in Program Committee within the New Ideas and Emerging Results-track
ICSE 2019 Author of Training Binary Classifiers as Data Structure Invariants within the Technical Track-track
ISSTA 2018 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
* ICSE 2018 * Committee Member in SCORE Program Committee within the SCORE-track
Author of Goal-Conflict Likelihood Assessment based on Model Counting within the Technical Papers -track
SPLASH 2014 Author of Bounded Exhaustive Test Input Generation from Hybrid Invariants within the OOPSLA-track