Title: Recovery algorithms in State Machine Replication with volatile and non-volatile main memory Speaker: Jan Kończak, Poznan University of Technology, PL Date: July 25, 2022, 11:00h Where: FCUL, room C6.2.50 Abstract: I will present several ways to support...
LASIGE’s integrated researcher Nuno Neves is the Chair of the Steering Committee of the Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) for 2021-2023. DSN has become a forum to present the best world research in the fusion...
RSS Meetups are monthly gatherings of LASIGE members with research interests mainly in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, and Formal Methods. Title: Decidable Inductive Invariants for Verification of...
Title: Towards Secure and Scalable Blockchains Speaker: Jiangshan Yu, Monash University, AU Date: July 18, 2022, 11:00h Where: FCUL, room C6.2.44 Abstract: Over the last decade, we have witnessed a rapid growth of blockchain technologies and their applications....
The paper “Towards a Secure and Scalable Maritime Monitoring System Using Blockchain and Low-Cost IoT Technology”, co-authored by Alan Oliveira (LASIGE integrated researcher) has been published in the Sensors Journal, a top-ranked journal (h5-index 145 and ranked #4...
Lasige’s PhD student Guilherme Espada was part of the organizing committee of the 2022 edition of the Programming Languages Design and Implementation (PLDI) conference, held in San Diego, California, from June 13 to 17. PLDI is the premier conference on the...
