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

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	Committee Member in Program Committee within the Doctoral Symposium-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