TMT - Ten Minutes Talk with the PhD students in Informatics

Scalable and Maintainable Evolutionary Synthesis-based Repair Systems

Transmissão através de Videoconferência

Conversa com Paulo Santos (LASIGE, DI-FCUL).

Automatic Program Repair is the ability to fix errors in a program with barely any programmer intervention. In the Evolutionary Program Repair area, we identify three major problems: the lack of concern towards program correctness when generating the program variants, the large search space of program semantics when generating a patch at a finer granularity, and the ability to generate patches that are maintainable. In our work, we try to develop strategies capable of automatically generating correct and maintainable program patches while keeping the search efficiency.
 
Short Bio: Paulo Santos completed his Bachelors and Masters in Informatics Engineering at FCUL. He currently is a Dual PhD Student in Software Engineering at Faculdade de Ciências da Universidade de Lisboa and Carnegie Mellon University, and is working under the supervision of Alcides Fonseca, Sara Silva and Chris Timperley. His primary research interest lies in the combination of evolutionary computation and programming languages to allow the creation of novel automatic program repair and program synthesis systems.


Transmissão em direto via Zoom.

17h45
Gotas de água

O curso visa capacitar os formandos para a aplicação dos índices de qualidade ecológica utilizados na avaliação da qualidade ambiental em sistemas de transição, no âmbito da Diretiva Quadro da Água (DQA).

The conference aims to bring together key experts in the Medical Microwave Imaging (MMWI) field and will include invited talks, presentations and posters of peer-reviewed abstracts and conference papers, and workshops in satellite areas of research that are of interest to MMWI research.

Páginas