Talks@LASIGE

Resource-Aware Session Types for Digital Contracts

Transmissão através de Videoconferência

Speaker: Ankush Das (Carnegie Mellon University).

Abstract: While there exist several successful techniques for supporting programmers in deriving static resource bounds for sequential code, analyzing the resource usage of message-passing concurrent processes poses additional challenges. To meet these challenges, this talk presents an analysis for statically deriving worst-case bounds on the computational complexity of message-passing processes, respectively. The analysis is based on novel resource-aware session types that describe resource contracts by allowing both messages and processes to carry potential and amortize cost. The talk then applies session types to implement digital contracts. Digital contracts are protocols that describe and enforce execution of a contract, often among mutually distrusting parties. Programming digital contracts comes with its unique challenges, which include describing and enforcing protocols of interaction, analyzing resource usage and tracking linear assets. The talk presents the type-theoretic foundations of Nomos, a programming language for digital contracts whose type system addresses the aforementioned domain-specific requirements. To express and enforce protocols, Nomos is based on shared binary session types rooted in linear logic. To control resource usage, Nomos uses resource-aware session types and automatic amortized resource analysis, a type-based technique for inferring resource bounds. To track assets, Nomos employs a linear type system that prevents assets from being duplicated or discarded. The talk concludes with future work directions on designing an efficient implementation for Nomos and making it robust to attacks from malicious entities.

Bio: Ankush Das is a final year PhD student at Carnegie Mellon University. He is advised by Prof. Jan Hoffmann. He is broadly interested in programming languages with a specific focus on resource analysis, session types and language design for smart contracts on the blockchain. He is the lead designer and developer of Nomos, a domain-specific language for implementing smart contracts based on resource-aware session types. In the past, he has worked jointly with Prof. Frank Pfenning and his advisor on designing resource-aware session types for parallel complexity analysis of concurrent programs implemented in a programming language called Rast. Before joining CMU, he worked as a Research Fellow at Microsoft Research, India with Akash Lal where he developed an efficient method to perform precise alias analysis for C and C++ programs for Windows driver modules to automatically infer safe null pointer dereferences. He completed his undergraduate at IIT Bombay, India in 2014 where he worked with Prof. Supratik Chakraborty and Prof. Akshay S on deciding termination of linear loop programs.


Zoom link

15h00
LASIGE

Antigos alunos, colegas e amigos do Professor Guerreiro juntam-se numa partilha de memórias do saudoso mestre.

Fotografia de folhas de plantas

Seminário Doutoral II (Doutoramento em Biologia de Ciências ULisboa).

Título/data do evento e fotografias dos oradores

Masterclass do Tec Labs, com inscrições a decorrer.

Seminário do Departamento de Engenharia Geográfica, Geofísica e Energia, por Vera Correia (Direção Técnica - EGF).

Logótipo do projeto e fotografia do orador da sessão inaugural

António Raminhos abre o Ciências em Harmonia.

Colóquio de Matemática, por Mário Edmundo (FCUL - DM).

Título do evento sobre fotografia, em contraluz, representativa de ex-alunos da ULisboa

Gostaria de saber mais sobre a Associação Alumni ULisboa? Ouvir e partilhar experiências de outras associações Alumni?

Cartaz do evento

Reasoning Seminar, por João Alberto Pinto (Universidade do Porto).

Logótipo do evento, sobre um fundo verde

A grande festa da Ciência está de volta ao MUHNAC!

Seminário Doutoral II (Doutoramento em Biologia), por Marta Maria Alves Antunes

Logótipo do projeto

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

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.

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

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

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.

Ilustração de peixe, por Pedro Salgado

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

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.

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.

Fotografia de investigadores em contexto laboratorial

Novo prazo de candidatura: 01 a 30 de novembro de 2023.