Carla Ferreira -

Registered user since Wed 21 Oct 2015

Name:Carla Ferreira

Country:Portugal

Affiliation:NOVA University Lisbon

Personal website: http://ctp.di.fct.unl.pt/~cf/

Contributions

2025

ECOOP

2024

ECOOP

Committee Member in Program Committee within the Technical Papers-track

PLAID

Organizing Committee in Organizing Committee within the PLAID 2024-track

PLF

Author of Undo and Redo in Concurrent Multifaceted Low-code Application Models within the Programming Local-first Software 2024-track

POPL

Committee Member in Program Committee within the POPL-track

2023

PLF

Author of How to Enforce and Verify Invariants in Weakly Consistent Databases within the PLF-track

ECOOP

Author of VeriFx: Correct Replicated Data Types for the Masses within the Research Papers-track

2022

SPLASH

Author of Derivations with Holes for Concept-Based Program Synthesis within the Onward! Papers-track

MODELS

Author of Nested OSTRICH: Hatching Compositions of Low-code Templates within the Technical Track-track

PLDI

Author of (OOPSLA 2021) ECROs: building global scale systems from sequential code within the SIGPLAN Track-track

2021

SPLASH

Author of ECROs: Building Global Scale Systems from Sequential Code within the OOPSLA-track

MODELS

Author of OSTRICH - A Safe Template Language for Low-code Development within the Technical Papers-track

‹Programming›

Author of Robust Contract Evolution in a TypeSafe MicroServices Architecture within the Research Papers-track

2020

Erlang

Author of Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with TLA+ within the Erlang 2020-track

‹Programming›

Author of Robust Contract Evolution in a TypeSafe MicroServices Architecture within the Research Papers-track

2019

OPCT

Author of IPA: Invariant-preserving Applications for Weakly Consistent Replicated Databases within the OPCT 2019-track

2017

PMLDC

Committee Member in Program Committee within the PMLDC 2017-track

2016

PMLDC

Committee Member in Program Committee within the PMLDC-track

POPL

Author of 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems within the Research Papers-track