RSS Meetup

Semantic Conflicts in Version Control Systems

Transmissão através de Videoconferência
Título, data, orador e localização do evento

Por Nuno Castanho (LASIGE, DI/FCUL).

Merging parallel changes is a common occurrence for developers working in collaborative software projects. Nowadays, however, developers still rely on tools that perform textual merge to detect possible merge conflicts. While practical and efficient, this merging approach fails to detect semantic conflicts, that is, concurrent changes that cause the merged result to misbehave.

It is well known that software testing is a powerful method to check if a software system matches its requirements and build the developer’s confidence that it is defect-free. As such, tests can be used to detect wrong behaviour in the merged result. Despite their capabilities, however, tests might not cover the changed parts and, hence, do not reveal the bugs introduced during the merge. As such, the effectiveness of testing for conflict detection is directly dependant on the quality of the test suite being used. This led to the development of UNSETTLE, a tool capable of comparing the changes in different versions of a code base to a set of change patterns capturing known and common causes of semantic conflicts and automatically search for tests that reveal a semantic conflict.

Bio: Nuno Castanho is a Masters student at the Faculty of Sciences, University of Lisbon, and a student researcher at LASIGE. He received his BSc in Computer Science from the same faculty. His current research focuses on the development of a tool to automatically detect semantic conflicts introduced during merge operations in version control systems.


Transmissão em direto via Zoom.

14h00
LASIGE
Vista a partir de cima de pessoas a trabalharem sobre uma mesa de madeira

CIÊNCIAS desenvolve um conjunto de atividades de apoio aos Doutorandos, periodicamente enquadradas no âmbito do PhD Support Programme.

Ana Quintans

Concerto no âmbito do programa Música na Universidade de Lisboa.

Conversa com Cristina Luís (investigadora no CIUHCT - Centro Interuniversitário de História das Ciências e da Tecnologia / Ciências ULisboa).

Esta formação é oferecida como oportunidade de aprender sobre sustentabilidade do corpo à comunidade e ao ecossistema, perante uma situação global desesperante, sonhando utopicamente com futuros mais justos e equitativos. 

Logótipo do LIP Summer Internship Program

Um programa destinado a estudantes de Física e Engenharia com interesse em investigação científica e tecnológica, com candidaturas até 15 de maio (nova data).

O evento reunirá alunos de Ciências ULisboa e do ISCAL, proporcionando-lhes uma oportunidade única para apresentarem e defenderem os seus projetos empreendedores num formato de pitch.

Palestra de divulgação das atividades e oportunidades do IEEE (Institute of Electrical and Electronics Engineers).

Fotografia de Chapim-azul

The goal of this course is to provide the participants with the most recent and practical knowledge on the use of Functional Diversity.

Seminário do Centro de Física Teórica e Computacional, por Susana Barbosa (INESC TEC, Porto, Portugal).

Logótipo CQE Days 2025

O encontro tem como objetivo divulgar e promover os resultados da investigação produzidos nos dois pólos do Centro de Química Estrutural (CIÊNCIAS e IST), estimulando a criatividade, o trabalho interdisciplinar e o espírito científico.

Seminário de Lógica Matemática, por Eduardo Magalhães (Universidade do Porto).

Mão a segurar em globo de vidro

Curso acreditado pelo CCPFC para efeitos de progressão na carreira dos professores na dimensão cientifico-pedagógica dos grupos 230, 420, 510, 520 e 560, com candidaturas até 30 de abril.

The aim of this event is to illustrate the importance of interdisciplinarity. To do so the meeting will bring together researchers from different areas who work in interdisciplinary fields within Ciências ULisboa

Seminário de Geometria e Física, por Tomás Inácio (FCUL, Universidade de Lisboa).

Cardume

Seminário Doutoral I (Doutoramento em Biologia), por Eduardo Miguel Onofre Feijão.

Seminário de Análise e Equações Diferenciais, por João Pedro Ramos (Instituto Nacional de Matemática Pura e Aplicada).

“Coroa de Flores” cósmica

Seminário do Instituto de Astrofísica e Ciências do Espaço, por Federica Loiacono (INAF OAS Bologna, Italy).

Seminário do Centro de Física Teórica e Computacional, por João Amaral (Department of Physics and CICECO, University of Aveiro, Portugal).

Seminário de Análise e Equações Diferenciais, por Wladimir Neves (Universidade Federal do Rio de Janeiro).

Título/data/local do evento, logótipos das entidades organizadoras e fotografia de peixe

The event aims to facilitate the exchange of information and knowledge among professionals to advance the understanding, collaboration and capabilities of aquaculture to respond to the impact of climate change in a rapidly changing global environment.

Composição do logótipo da ULisboa e de representação do rosto humano à base de relógios

22 de maio - dois dos doze finalistas da competição são alunos de CIÊNCIAS.

Seminário de Análise e Equações Diferenciais, por Leonid Berlyand (Penn State University).

Seminário do Instituto de Astrofísica e Ciências do Espaço, por Pier-Stefano Corasaniti (Observatoire de Paris-Meudon, France).

Uma oportunidade única para interagir com a comunidade global de computação científica, com inscrições (preço reduzido) até 02 de maio.

Logótipo Moodle

Ação de formação para docentes e investigadores de CIÊNCIAS.

Páginas