No próximo dia 27 de Março, pelas 13h45 na sala FC6-0.29 (Anf. 2) no DCC, Miguel Areias irá dar uma palestra intitulada "A Small Ride Towards Lock-Freedom".
Miguel Areias concluiu seu doutoramento em Ciência de Computadores na Faculdade de Ciências da Universidade do Porto em 2015, com uma dissertação em “Multithreaded Programming for Logic Programming". É o primeiro autor de várias publicações científicas sobre Lock-Freedom. Uma das suas principais linhas de investigação está focada em técnicas Lock-Free para estruturas de dados complexas, tais como Hash Maps e Hash Tries. Atualmente, ele está associado ao CRACS-INESC-TEC, através de uma Bolsa de Pós-Doutoramento da FCT e é também Professor Auxiliar Convidado no DCC-FCUP.
A palestra é organizada pelo DCC-FCUP e pelo grupo de investigação CRACS-INESCTEC e é aberta a todos os interessados.
Título:
"A Small Ride Towards Lock-Freedom"
Sumário:
"Concurrent computing is known to be a hard task. Solving a problem using multiple flows that can be executed simultaneous, does not seem natural to the common of mortals. But, concurrency is more present in our daily lives than sometimes we can image. In this talk, we will do a small journey in the internals of concurrency. We begin the journey with a simple and informal daily problem, and then travel through a set of key concepts about concurrency, until we reach lock-freedom, where we will take a small ride in the internals of a lock-free hash-map design. At the end of this journey, we should be able to understand better some of the advantages of lock-freedom."