Follow
Catarina Gamboa
Catarina Gamboa
S3D, Carnegie Mellon University, and LASIGE, Universidade de Lisboa
Verified email at fc.ul.pt - Homepage
Title
Cited by
Cited by
Year
User-driven design and evaluation of liquid types in java
C Gamboa, PA Santos, CS Timperley, A Fonseca
arXiv preprint arXiv:2110.05444, 2021
32021
Usability-oriented design of liquid types for java
C Gamboa, P Canelas, C Timperley, A Fonseca
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
22023
Latte: Lightweight Aliasing Tracking for Java
C Zimmerman, C Gamboa, A Fonseca, J Aldrich
arXiv preprint arXiv:2309.05637, 2023
2023
LiquidJava: Extending Java with Refinements
CV Gamboa
UNIVERSIDADE DE LISBOA, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–4