Toggle navigation
Sign in
Sign up
conf.researchr.org
/
João Costa Seco
conf.researchr.org general profile
ECOOP and ISSTA 2018 profile
ECOOP and ISSTA 2023 profile
MODELS 2021 profile
MODELS 2022 profile
SPLASH 2015 profile
SPLASH 2022 profile
SPLASH 2023 profile
‹Programming› 2020 profile
‹Programming› 2021 profile
Registered user since Wed 15 Jan 2020
Name:
João Costa Seco
Country:
Portugal
Affiliation:
NOVA-LINCS; Nova University of Lisbon
Contributions
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
Share
x
Thu 30 Nov 06:21