João Costa Seco -

Registered user since Wed 15 Jan 2020

Name:João Costa Seco

Country:Portugal

Affiliation:NOVA-LINCS; Nova University of Lisbon

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

Contributions

2025

‹Programming›

Author in Program Committee within the Research Papers-track

2024

SPLASH

Author of The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps within the Onward! Papers-track

ECOOP

PLAID

Organizing Committee in Organizing Committee within the PLAID 2024-track
Author of Local Projections of DCR Choreographies with Data and Spawn 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

2023

SPLASH

Mentor in Mentors within the PLMW-track

PPDP

Author of Data-Dependent Confidentiality in DCR Graphs within the PPDP 2023-track

ECOOP

Author of Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution 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

2021

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

‹Programming›

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

2018

VORTEX

Author of SNITCH: dynamic dependent Information flow for independent Java bytecode within the VORTEX-track

2015

REBLS

Author of Type Safe Evolution of Live Systems within the REBLS-track

DBPL

Author of A common data manipulation language for nested data in heterogeneous environments. within the DBPL-track