Talks and presentations

EvoSpex: An Evolutionary Algorithm for Learning Postconditions

May 25, 2021

Talk, International Conference on Software Engineering ICSE 2021, Virtual Event, Spain

Presentation of a research paper on the use of evolutionary computation to infer postconditions of Java methods, targeting the well known oracle problem
[Media]

Applying Learning Techniques to Oracle Synthesis

September 21, 2020

Talk, Doctoral Symposium at the International Conference on Automated Software Engineering ASE 2020, Virtual Event, Australia

Presentation of a short paper describing the work carried out during my PhD on the application of learning techniques (Neural Networks and Genetic Algorithms) to oracle synthesis, targeting the well known oracle problem
[Slide] [Media]

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]