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
Logótipo do evento

Assiste às nossas palestras e interage com os nossos convidados durante o networking. Conhece os seus percursos académicos e profissionais, explora possibilidades de estágio e de eventuais futuros de carreira. Aprende sobre IA e os seus potenciais benefícios e perigos.

Título/data do programa, logótipo da ULisboa e fotografia de jovem a ouvir música de olhos fechados

Uma introdução à prática de meditação onde vais aprender a gerir as tuas emoções, pensamentos e desenvolver um relacionamento saudável contigo e com os outros - inscrições até 21 de fevereiro.

Seminário do Centro de Física Teórica e Computacional, por Cátia Pesquita (LASIGE).

Seminário E3GLOBAL, por Miguel Santos (autor na antologia "Massa Critica" (Chili com Carne)).

Seminário de Geometria, por Marcos Petrúcio Cavalcante (Universidade Federal de Alagoas - UFAL).

Título/data/local do evento e fotografia de vegetais

Workshop hands-on, dirigido a todos os estudantes da ULisboa.

Pormenor de pessoa sentada a ler um livro

Maiores de 50 anos - Candidaturas até 14 de fevereiro.

Logótipo do evento

An annual event aimed to promote the research done by CIÊNCIAS Researchers in the field of Biotechnology, with a special emphasis on Blue and Green biotechnological solutions for a sustainable tomorrow.

Seminário de Tese (Doutoramento em Biologia e Ecologia das Alterações Globais), por Guilherme da Silva Aparício.

Pormenor de robô

Será descrito o funcionamento dos vários cursos, as suas estruturas curriculares, e os horizontes profissionais que oferecem. A sessão contará igualmente com a presença de alunos dos diferentes Mestrados, disponíveis para esclarecer todas as dúvidas e questões.

NCPInTheHouse 2025

Registration on the workshop is free but mandatory - deadline: 24 February.

CIÊNCIAS na feira Unlimited Future: 27 de fevereiro

Se queres saber mais informações sobre os cursos de CIÊNCIAS, não deixes de participar!

Título "Bolsas de Doutoramento Unite! ULisboa", logótipos das entidades promotoras e fotografia de jovem investigadora a utilizar um laptop na esplanada de um café

O 4.º concurso decorre até 28 de fevereiro.

Título "Bolsas Alumni Solidárias" e fotografia de grupo de alunos

As candidaturas decorrem até 28 de fevereiro.

Palestra por Ana Simões (Ciências ULisboa).

Pormenor de membro de orquestra

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

Composição de imagens relativas à área das ciências forenses

Curso adiado, para data a anunciar.

Pormenor da capa do livro

O livro resulta do projeto de investigação Saúde e Estilos de Vida no Ensino Superior em Portugal (ES+Saúde) - inscrições na sessão até 27 de fevereiro.

Cientista a trabalhar com tubos de ensaio

Curso adiado, para data a anunciar.

Os participantes neste workshop ficarão a saber mais sobre como executar uma enxertia sem erros, para além dos cuidados a ter com as árvores de fruto ao longo do ano.

Logótipo do evento

A iniciativa tem como principal objetivo promover uma discussão construtiva sobre a estratégia da ULisboa no âmbito da sustentabilidade e destacar boas práticas das Escolas apresentadas pelas Associações de Estudantes.

Título do curso

Ao longo de 10 horas serão abordados temas tais como contornar as principais dificuldades na comunicação da Biodiversidade, como usar histórias, ou a importância dos conceitos científicos na hora de os comunicar.

Colóquio de Matemática, por Ana Rita Pires (University of Edinburgh).

Logótipo do Dia Internacional da Matemática

Atividades a decorrer em CIÊNCIAS nos dias 14 e 19 de março.

Páginas