Short Papers and Others
Latte: Lightweight Aliasing Tracking for Java
Conrad Zimmerman, Catarina Gamboa, Alcides Fonseca, Jonathan Aldrich
HATRA'23 - International workshop on Aliasing, Capabilities and Ownership, and International Workshop on Human Aspects of Types and Reasoning Assistants
Paper
Video HATRA
Video IWACO
Understandable and Useful Error Messages for Liquid Types
Alcides Fonseca, Catarina Gamboa, João David, Guilherme Espada, Paulo Canelas
WITS'22 - Workshop on the Implementation of Type Systems 2022, co-located with POPL'22
Video
User-driven design and evaluation of Liquid Types in Java
Catarina Gamboa, Paulo Santos, Christopher S. Timperley, and Alcides Fonseca
HATRA'21 - Human Aspects of Types and Reasoning Assistants Workshop, co-located with SPLASH'21.
ArXiv Paper
Extending Java with Refinements
Catarina Gamboa, Paulo Santos, Christopher S. Timperley, and Alcides Fonseca
PSSV'20 - Program Semantics, Specification and Verification: Theory and Applications, Student Paper
Slide Deck
Video
Master Thesis: Extending Java with Refinements
Catarina Gamboa
University of Lisbon
Thesis