Talks @LASIGE

Recovery algorithms in State Machine Replication with volatile and non-volatile main memory

Sala 6.2.50, Ciências ULisboa
Banner do evento

Por Jan Kończak (Poznan University of Technology, PL).

I will present several ways to support recovering a crashed replica in a SMR system based on MultiPaxos protocol. Typically, MultiPaxos requires to persist data on storage upon agreeing each consensus instance to provide crash-recovery. I will discuss how the persistent memory can decrease this overhead and how it can be leveraged in a SMR framework for further benefits. Then, I will show how to support recovery when the number of processes down at a time is limited. With such assumption a SMR system suffers no performance penalty from recovery support. Finally, I'll compare the proposed recovery support methods in terms of performance and recovery robustness.

Short Bio: Jan Kończak started his research work by implementing JPaxos – an efficient SMR framework based on Paxos. Then its interests shifted towards Software Transactional Memory (STM), where he investigated the use of irrevocable operations within transactions. This resulted in a couple of STM algorithms that provide both support for the irrevocable operations and never force a transaction to wait. Then he returned to studying SMR and worked on enhancing performance in crash-recovery model. In connection with his research, he spend a couple of months at EPFL in Lausanne and was an R&D intern at ARM in Cambridge.

11h00
LASIGE Computer Science and Engineering Research Centre
Pormenor de pintura representativa da cidade de Aden

O curso, com Jorge Flores (CIUHCT), oferece uma visão da história da Ásia a partir de cidades portuárias cruciais nas relações com o Ocidente.

Logótipo MindTec

5 de maio - lançamento do projeto de rebranding interno que pretende repensar e redesenhar, em conjunto com a nossa comunidade académica, a identidade do Tec Labs.

Logótipo C-Academy

O curso oferece uma base sólida sobre os fundamentos e práticas essenciais para proteger sistemas e dados num mundo cada vez mais digital - candidaturas até 13 de abril.

Fotografia de fábrica a emitir poluição para a atmosfera

The course aims at enabling the participants to use different methods to measure the impacts of pollutants on ecosystems.

Performance teatral

A apresentação pública do FATAL - Festival Anual de Teatro Académico de Lisboa contará com uma homenagem a Rogério de Carvalho, figura marcante do Teatro português, sendo igualmente apresentada a programação do festival.

Seminário do Centro de Física Teórica e Computacional, por Fábio Chalub (NOVA Math, Universidade NOVA de Lisboa, Portugal).

Curso destinado a todos que necessitem de realizar análise de dados com recurso ao R.

Banner_trilho_laboratorios

Bem-vindos a Ciências ULisboa!

Um concurso de programação dirigido aos alunos do ensino secundário (11.º e 12.º anos), que visa promover a prática e o gosto pela programação.

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.

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é 11 de maio.

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.

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.

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.

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.

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.

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.

Título/data/local do evento e iconografia representativa de energias renováveis

Inscrições até 16 de maio! Junta-te a esta revolução energética e faz a diferença!

Químico a escrever fórmulas num quadro

Curso acreditado para efeitos de progressão na carreira dos professores do Ensino Básico e Secundário do Grupo 510 (CCPFC/ACC-118288/22), com candidaturas até 18 de maio.

Curso destinado a estudantes de Mestrado e de Doutoramento, bem como a profissionais que desenvolvam investigação científica na área da saúde.

Título/data/local do evento e fotografia do mar

Quais são os conceitos-chave para enfrentar os atuais desafios marinhos e costeiros? 

Representação de programação R

This course aims at providing students with basic knowledge of R programming, allowing them to manipulate and visualize data with R.

The conference focuses on "Algebra and its role in Computer Science", with special emphasis on the areas of study related to the work of M. V. Volkov, such as semigroups and automata.

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

Candidaturas a partir de 07 de abril!

Páginas