Saturn: a Distributed Metadata Service for Causal Consistency
Manuel Bravo, Luís Rodrigues, Peter Van Roy
Category Archives: News
New paper accepted at PaPoC 2017
Transparent cross-system consistency.
João Loff, Daniel Porto, Carlos Baquero, João Garcia, Nuno Preguiça, Rodrigo Rodrigues
New paper accepted at MARS Workshop 2017
Making data center computations fast, but not so furious.
Daniel Porto, João Loff, Luis Ceze, Rui Duarte, Rodrigo Rodrigues
Two papers accepted at EuroDW 2017
HomePad: Guardian of a Smart Home Galaxy
Igor Zavalyshyn, Nuno Duarte, Nuno Santos
Profiling for Asymmetric NUMA Systems
David Gureya, João Barreto
CAT defense: Rodrigo Fraga Barcelos Paulus Bruno
Rodrigo Fraga Barcelos Paulus Bruno CAT Defense
February 21st, 2017 at 15:00, Sala E1, Torre de Eletricidade, IST, Alameda
Title: Nova VM: enhanced Java Virtual Machine for Big Data Applications
Advisor: Professor Paulo Jorge Pires Ferreira
Cristian Cadar about Symbolic Execution for Evolving Software
February 24th, 2017 at 11 am in room 0.20 (INESC)
Cristian Cadar, Imperial College London
Symbolic Execution for Evolving Software
One of the distinguishing characteristics of software systems is that they evolve: new patches are committed to software repositories and new versions are released to users on a continuous basis. Unfortunately, many of these changes bring unexpected bugs that break the stability of the system or affect its security. In this talk, I describe our work on devising novel symbolic execution techniques for increasing the confidence in evolving software: a technique for reasoning about the correctness of optimisations, in particular those that take advantage of SIMD and GPGPU capabilities; a technique for high-coverage patch testing, and a technique for revealing regression bugs and behavioural divergences across versions.
Thesis defense: João Matos
João Matos PhD Defense
February 24th, 2017 at 15:00, in Anfiteatro PA-3 (-1 floor, Mathematics Building)
Ph.D. thesis “Privacy in Software Error Reporting”
CAT defense: David Matos
David Matos CAT Defense
February 7th, 2017 at 09:30 am, in Sala QA1.1, Torre Sul (Química), IST – Alameda
CAT defense: Amin Mohtasham
Amin Mohtasham CAT Defense
January 26th, 2017 at 10:00 am, in Sala V1.06, Pavilhão de Civil, IST – Alameda
Two papers accepted at CCGrid 2017
Chrysaor: Fine-Grained, Fault-Tolerant Cloud-of-Clouds MapReduce
Pedro A. R. S. Costa, Fernando Ramos and Miguel Correia
Practical Service Placement Approach for Microservices Architecture
Mennan Selimi, Llorenc Cerda, Marc Sanchez-Artigas, Felix Freitag, Luis Veiga