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

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