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.

Country: Argentina

Affiliation: Dept. of Computer Science FCEFQyN, University of Rio Cuarto

Personal website: http://dc.exa.unrc.edu.ar/staff/naguirre/

Research interests: Software Engineering, Automated Analysis, Software Verification

Contributions

ISSTA 2020Session Chair of BUILD TESTING (part of Technical Papers)
Committee Member in Program Committee within the Technical Papers-track
ICGSE 2020Committee Member in Program Committee
ICSE 2021Committee Member in Program Committee within the Doctoral Symposium-track
ASE 2019Session 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 2019Author of Automatically Identifying Sufficient Object Builders from Module APIs within the FASE 2019-track
ETAPS 2019Author of Automatically Identifying Sufficient Object Builders from Module APIs within the Posters-track
ICSE 2020Committee Member in Program Committee within the New Ideas and Emerging Results-track
ICSE 2019Author of Training Binary Classifiers as Data Structure Invariants within the Technical Track-track
ISSTA 2018Committee 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 2014Author of Bounded Exhaustive Test Input Generation from Hybrid Invariants within the OOPSLA-track