All Stories

  1. The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps

    Article • October 2024, ACM (Association for Computing Machinery)

    João Costa Seco

  2. Data-Dependent Confidentiality in DCR Graphs

    Article • October 2023, ACM (Association for Computing Machinery)

    João Costa Seco

  3. Derivations with Holes for Concept-Based Program Synthesis

    Article • November 2022, ACM (Association for Computing Machinery)

    João Costa Seco, Jonathan Aldrich

  4. Nested OSTRICH

    Article • October 2022, ACM (Association for Computing Machinery)

    João Costa Seco

  5. Deep Semantic Versioning for Evolution and Variability

    Article • September 2021, ACM (Association for Computing Machinery)

    João Costa Seco

  6. Closing the gap between designers and developers in a low code ecosystem

    Article • October 2020, ACM (Association for Computing Machinery)

    João Costa Seco

  7. Capability-based localization of distributed and heterogeneous queries

    Article • Journal of Functional Programming, January 2017, Cambridge University Press

    João Costa Seco