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

A iniciativa conta com a participação de Luís Saraiva (Ciências ULisboa).

Imagem ilustrativa do evento (saúde e medicina)

Webinars da redeSAÚDE, de participação gratuita (mediante inscrição prévia).

Geometry Webinar, por João Pedro dos Santos (Universidade de Paris-Sorbonne e Universidade de Montpellier).

A iniciativa conta com a participação de Maria João Verdasca (cE3c, Ciências ULisboa).

Conversa com Galopim de Carvalho.

Cartaz do evento

A Feira Internacional dos Minerais, Gemas e Fósseis está de regresso ao Museu Nacional de História Natural e da Ciência!

Logótipo do projeto

Bioecosys brings together expertise and experience in forest ecosystem management and economics to communicate recent findings and to accelerate the transfer of knowledge and best practices to stakeholders and forest actors.

Workshop promovido pelo GAPsi - Gabinete de Apoio Psicopedagógico.

Mathematical Logic Webinar, por Paulo Santos (Universidade Nova de Lisboa - CMA).

Talks @DI, por Marcelo Inuzuka e Ruan Rodrigues.

Seminário no âmbito da Unidade Curricular de Introdução aos Recursos Naturais Vegetais, por Jorge Faria (INIAV - Instituto Nacional de Investigação Agrária e Veterinária / MED - Instituto Mediterrâneo para a Agricultura, Ambiente e Desenvolvimento).

Sessão de apresentação do livro coordenado por José Almeida Silva (IDL / Ciências ULisboa).

Imagem alusiva ao evento

This Workshop will gather specialists in the field of Combinatorial Optimization, from several countries, to present and discuss recent research work around this subject. Luís Gouveia, coordinator of CMAFcIO and José Rui Figueira, president of CEG-IST will present the Opening Session.

Imagem ilustrativa do evento e várias informações (título, oradora, data)

Formação de Comunicação em Ciência(s), por Cristina Nobre Soares.

Conversa com Galopim de Carvalho.

Imagem alusiva ao evento

The training program will provide industry and academia the technological and scientific pathways required for deployment of sustainable cost-effective large scale energy storage and conversion powered by renewable energies.

Workshop promovido pelo GAPsi - Gabinete de Apoio Psicopedagógico.

Logótipo dos Prémios, sobre um fundo azul escuro

Candidaturas a decorrer até 15 de dezembro de 2021.

Logótipo do ENBE XVII, sobre um fundo branco

This meeting is a forum for scientists of all academic levels, (from master to principal investigators), to present their work and discuss, fostering new ideas and collaborations. We invite researchers from all over the world to participate and submit their work.

Conferência do Centro Interuniversitário de História das Ciências e da Tecnologia, por Céline Paillette (Université Paris 1 Panthéon-Sorbonne).

Desde o início de 2020 que somos bombardeados, através da comunicação social, com informações sobre o novo coronavírus humano - SARS-CoV-2 - que provoca a síndrome respiratória aguda grave. Nunca se comunicou tanto, em tempo real, um tema científico, mas será que já vimos todas as nossas perguntas sobre este tema respondidas?

Pormenor de mapa do continente europeu

Candidaturas online de 01 a 31 de dezembro de 2021.

At the end of this course, participants will be able to predict the three-dimensional structure of nucleic acid and proteins from their sequence and use the acquired knowledge to improve or create new methodologies in molecular biology research and diagnostics.

The course SoilEco aims at introducing attendants to an updated state of the art of diversity of the soil biota and the functional roles played by soil organisms in key ecological processes.

Logótipo do evento, sobre um fundo branco

Understanding plant water relations at several scales under climate change is the theme of the XV Portuguese-Spanish Water relations Symposium: “Water relations under climate change: from genes to ecosystem”.

Páginas