Carla Ferreira

Associate Professor

Software Systems

Country: Portugal

Affiliation: Faculdade de Ciências e Tecnologia, UNL

Email: carla.ferreira@fct.unl.pt

Phone: +351 212 948 536 (ext. 10705)

Resume
Projects
Publications
Graduations
Prototypes
Seminars

I'm an assistant Professor at DI FCT UNL, and a member of the PLASTIC research team of the Software Systems group. My research is concerned with developing formal calculi and tools to express and reason about concurrent and distributed systems, with the overall goal of helping programmers to build trustworthy software systems. I've participated in several European projects (Matisse, Sensoria, ABCD, Ascens, SyncFree, RevComp) and national projects, and published in top-tier venues, including POPL, ESOP, CONCUR, COORD, EuroSys, and SRDS.

Project Highlights

Software Engineering for Service-Oriented Overlay Computers

Date: 01 Sep 2005 - 01 May 2010

Participations: Luís Monteiro, Luis Caires, João Costa Seco, Carla Ferreira, Hugo Torres Vieira

Publications Highlights

'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems

Published in: Jan 2016

Authors: Alexey Gostman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, Marc Shapiro

Putting the Consistency back into Eventual Consistency

Published in: Apr 2015

Authors: Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno Preguiça, Mahsa Najafzadeh, Marc Shapiro

First-Order Dynamic Logic for Compensable Processes

Published in: Jun 2012

Authors: Roberto Bruni, Carla Ferreira, Anne Kersten

On the Expressive Power of Primitives for Compensation Handling

Published in: Mar 2010

Authors: Ivan Lanese, Cátia Vaz, Carla Ferreira

A trace semantics for long-running transactions

Published in: Jan 2005

Authors: Michael Butler, Tony Hoare, Carla Ferreira