LASIGE

Research

Research work, talks, publications, and posters around software verification, developer tools, and type systems.

Experience

2025 – Present

Researcher

LASIGE Research Unit

Project: Improving the usability of LiquidJava, a liquid type system for Java, through enhanced verification feedback, IDE integration, and overall developer experience
Contributions: 100+ merged pull requests to LiquidJava and 70+ merged pull requests to its VS Code extension
Funding: FCT | LASIGE

Talks

LiquidJava: Catch Bugs at Compile Time with Liquid Types JNation 2026 , Coimbra, Portugal · Co-Speaker

Publications

Barista: Synthesizing Typestate Specifications with LLM Agents Catarina Gamboa, Paulo Canelas, Ricardo Costa, Márcio Caetano, Jonathan Aldrich, Alcides Fonseca · Accepted at ASE 2026

Posters

Improving the Usability of LiquidJava Ricardo Costa, Catarina Gamboa, Alcides Fonseca
Barista: Synthesizing Typestate Specifications with LLM Agents Catarina Gamboa, Paulo Canelas, Ricardo Costa, Márcio Caetano, Jonathan Aldrich, Alcides Fonseca · Best PhD Student Poster Award