Facundo Molina

Registered user since Mon 22 Apr 2019

Name:Facundo Molina
Bio:

I am a CONICET funded PhD student at the Software Engineering and Formal Methods group, at the University of Rio Cuarto, Argentina, working under the supervision of Professor Nazareno Aguirre.

My main research topic is the application of Machine Learning techniques to Program Analysis tasks. Specifically, i research how to automatically produce formal software specifications. My research involves using a variety of techniques, Neural Networks and Genetic Algorithms in particular.

Country:Argentina
Affiliation:University of Rio Cuarto and CONICET, Argentina
Research interests:Program Analysis, Machine Learning for Software Engineering, Neural Networks, Genetic Algorithms

Contributions

ASE 2020 Author of Applying Learning Techniques to Oracle Synthesis within the Doctoral Symposium-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
ICSE 2019 Author of Training Binary Classifiers as Data Structure Invariants within the Technical Track-track