Talks@DI/LASIGE

Bridging the design and implementation of distributed systems with program analysis

Sala 6.3.38, FCUL, Lisboa

Por Ivan Beschastnikh (University of British Columbia).

Abstract: Much of today's software runs in a distributed context: mobile apps communicate with the cloud, web apps interface with complex distributed backends, and cloud-based systems use geo-distribution and replication for performance, scalability, and fault tolerance. However, distributed systems that power most of today's infrastructure pose unique challenges for software developers. For example, reasoning about concurrent activities of system nodes and even understanding the system’s communication topology can be difficult.

In this talk I will overview three program analysis techniques developed in my group that address these challenges. First, I will present Dinv, a dynamic analysis technique for inferring likely distributed state properties of distributed systems. By relating state across nodes in the system Dinv infers properties that help reason about system correctness. Second, I will review Dara, a model checker for distributed systems that introduces new techniques to cope with state explosion by combining traditional abstract model checking with dynamic model inference techniques. Finally, I will discuss PGo, a compiler that compiles formal specifications written in PlusCal/TLA+ into runnable distributed system implementations in the Go language. All three projects employ program analysis in the context of distributed systems and aim to bridge the gap between the design and implementations of such systems.

Short Bio: Ivan Beschastnikh is an Assistant Professor in the Department of Computer Science at the University of British Columbia. He finished his PhD at the University of Washington in 2013 and received his formative training at the University of Chicago. He has broad research interests that touch on systems and software engineering. His recent projects span distributed systems, program analysis, networks, and security.

Visit his homepage to learn more: http://www.cs.ubc.ca/~bestchai/

14h00
Departamento de Informática / LaSIGE - Laboratório de Sistemas Informáticos de Grande Escala

Seminário do Centro de Física Teórica e Computacional, por José Luís Martins (Departamento de Física, Instituto Superior Técnico, Universidade de Lisboa, Portugal).

Lançamento de Catálogo de Exposição.

5.º Seminário Conjunto CFCUL / Rede Ibérica de Filosofia das Ciências, por Vanesa Triviño (Universidad Complutense de Madrid).

Seminário do Centro de Estatística e Aplicações da Universidade de Lisboa e do Centro de Matemática Computacional e Estocástica, por Rosina Savisaar (Mondego Science).

Seminário do Departamento de Física de Ciências ULisboa, por Cristóvão Dias (CFTC - Faculdade de Ciências, ULisboa).

Seminário no âmbito da unidade curricular "Desafios e Perspetivas Emergentes em Geologia", por Ricardo Trigo (DEGGE - FCUL / Instituto Dom Luiz).

Carla Rego (investigadora do cE3c) participa no debate que decorre após a apresentação de imagens captadas em Portugal.

Logótipo do projeto

A 19.ª edição do projeto decorre no 1.º semestre de 2023/2024 - inscrições até 30 de setembro.

Mathematical Logic Seminar, por Pedro Pinto (Technische Universität Darmstadt).

Título/data do evento e representação do planeta Terra e de um satelite

Estudantes do secundário juntam-se no Pavilhão do Conhecimento para responder a cenário de catástrofe.

Título do evento e representação de dois peixes

Este curso intensivo, com duração de uma semana (36 horas) e inscrições até 04 de outubro, tem como objetivo aprofundar o conhecimento sobre as comunidades de peixes existentes nos ecossistemas fluviais portugueses.

Título/prazo da iniciativa e logótipo do Ciências Research and Innovation Day

Participe até 10 de outubro / Submit you application until 10 October.

Logótipo do prémio, sobre um fundo branco

As candidaturas à 20.ª edição decorrem até 10 de outubro.

Título/data do evento e logótipos das entidades organizadoras

HiTech/S3E Start team is on a Portuguese roadshow to explain what the program is. If you are a researcher or a technology transfer officer, join us.

Título/data do evento e fotografia do orador

Temos o prazer de receber no Tec Labs Miguel Pinho da Seedcamp, um fundo de investimento, no âmbito do novo evento de networking do Tec Labs denominado Meet the Investor.

Título/data do evento/orador e fotografias de alguns parques nacionais norte-americanos

Conferência no âmbito das comemorações do Dia Internacional da Geodiversidade, por Ryan Kerrigan (Ph.D., P.G., Associate Professor, Department of Energy & Earth Resources, University of Pittsburgh at Johnstown).

Ilustração de peixe, por Pedro Salgado

Por Pedro Salgado (Biólogo, Ilustrador Científico. Professor Especialista - ilustração).

A edição de 2023 do congresso da Physis - Associação Portuguesa de Estudantes de Física é dedicada ao tema da Exploração Espacial.

Workshop no âmbito do projeto EVORISE, por Susana Monsó (UNED, Madrid) e Paco Calvo (Universidad de Murcia).

Luís Saraiva (Ciências ULisboa) é o coordenador nacional do Seminário Nacional de História da Matemática.

Join us on 24 October 2023 for the 5th edition of Ciências Research & Innovation Day! A public showcase of the best science made in this centenary institution.

Título/data do evento e fotografia de parque eólico

Um fórum de discussão e reflexão sobre os mais recentes avanços na investigação, inovação e práticas na implementação dos Objetivos do Desenvolvimento Sustentável nas Instituições de Ensino Superior em Portugal e nos países da lusofonia.

EAP-II tem como objetivo fomentar um espaço de partilha de conhecimento entre a comunidade científica e não-científica, de uma forma simples e acessível para todos.

The objective of this course is to introduce participants to the details of communication and writing scientific publications.

Título, local e data do evento, acompanhados da representação de um cavalo-marinho e das típicas chaminés algarvias

A conservação da biodiversidade em Portugal deve sair do papel e rumar a ações que promovam, no território, o normal funcionamento dos ecossistemas, para garantir o desenvolvimento sustentável, do ponto de vista ecológico e ser aceite do ponto de vista social. Urge integrar o conhecimento gerado pelos ecólogos de forma a que estes possam responder oportuna e corretamente, quando chamados a intervir.

Páginas