Talks and presentations

Training Binary Classifiers as Data Structure Invariants

May 31, 2019

Talk, International Conference on Software Engineering ICSE 2019, Montréal, Canada

Presentation of a research paper on training machine learning models, specifically binary classifiers using neural networks, to be used as data structure invariants in program analysis scenarios
[Slide]

A Genetic Algorithm for Goal-Conflict Identification

September 06, 2018

Talk, International Conference on Automated Software Engineering ASE 2018, Montpellier, France

Introduction of a research paper on Goal Conflicts identification in the Requirements Engineering process using a Genetic Algorithm
[Slide]

From Operational to Declarative Specifications using a Genetic Algorithm

May 09, 2018

Talk, International Workshop on Search-Based Software Testing SBST@ICSE 2018, Gothenburg, Sweden

Introduction of a research paper on generating declarative specifications (in the alloy relational logic) using a genetic algorithm
[Slide]

An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications

November 24, 2016

Talk, Brazilian Symposium on Formal Methods SBMF 2016, Natal, Brazil

Introduction of a research paper on generating declarative specifications (in the alloy relational logic) using a genetic algorithm
[Slide]