LASIGE

Research

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

Experience

2025-Present

Researcher

LASIGE Research Unit

Contributions: 90+ merged pull requests to LiquidJava and 70+ merged pull requests to its VS Code extension.
Funding: Scholarship funded by FCiências.ID.
Location: Lisbon, Portugal

Improving the usability and adoption of LiquidJava, a refinement type checker for Java, through enhanced verification feedback, IDE support, and overall developer experience.

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 · Under Review

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