• Sign in
  • Sign up
conf.researchr.org / João Costa Seco
  • 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
xThu 30 Nov 06:21
using conf.researchr.org (v1.62.0)
Support page
Sign Up