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

ISSTA 2023 PC Member in Technical Papers within the Technical Papers-track
ICST 2023 Committee Member in Program Committee within the Research Papers-track
ESEC/FSE 2022 Committee Member in Program Committee within the Tutorials-track
ASE 2022 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 2022 Author of ATR: Template-based Repair for Alloy Specifications within the Technical Papers-track
ICSE 2022 Author of Fuzzing Class Specifications within the Technical Track-track
ASE 2021 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 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 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
ICSE 2020 Committee Member in Program Committee within the New Ideas and Emerging Results-track
ICGSE 2020 Committee Member in Program Committee
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
ICSE 2019 Author of Training Binary Classifiers as Data Structure Invariants within the Technical Track-track
ETAPS 2019 Author of Automatically Identifying Sufficient Object Builders from Module APIs within the Posters-track
FASE 2019 Author of Automatically Identifying Sufficient Object Builders from Module APIs within the FASE 2019-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