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

Inscrições até 24 de maio.

Título do programa e logótipos das entidades organizadoras, sobre fotografia do espaço

O programa decorre de 08 a 26 de julho, com candidaturas até 03 de junho.

Pormenor de linguagem corporal (braços e mãos) de pessoa a dialogar

Ação de formação para docentes e investigadores de Ciências.

Feixes luminosos

Envio de propostas até 20 de junho.

Logótipo do prémio

As candidaturas à 11.ª edição decorrem até 28 de junho.

Vai realizar-se em Lisboa, nos dias 28 e 29 de junho de 2024, o 37.º Encontro do Seminário Nacional de História da Matemática.

Logótipo do Verão na ULisboa, sobre um fundo amarelo

Uma oportunidade única de conheceres e experimentares o ritmo e o espírito da vida académica!

The topics of the conference include (but are not limited to) classical and quantum integrable systems, complex geometry of moduli spaces, automorphic forms and their applications to number theory.

Título/data do evento, logótipos das entidades organizadoras e fotografia de Lisboa (Castelo de S. Jorge e respetiva colina)

Inscrição (taxa reduzida) até 20 de abril.

Título/data/local do evento, logótipos das entidades organizadoras e várias fotografias da orla costeira e de pessoas

Escola de verão com um programa muito diversificado, com especialistas em vários tópicos, que vão falar sobre formas de olhar para o nosso planeta de uma forma integrada, juntando conhecimentos de várias disciplinas.

Are you a BSc or MSc student interested in Soft Matter, Non-linear Dynamics and Waves or Particle Physics?

Vem investigar connosco!

Logótipo do evento, sobre um fundo branco

Um evento de reunião da comunidade nacional nas diversas vertentes da informática, com a ambição de ser o fórum de eleição para a divulgação, discussão e reconhecimento de trabalhos científicos.

Páginas