Linkedin
Projects • 

LiquidDevX

Full Title
Improving the Developer Experience with Liquid Types
Description

Languages with Liquid Types have the ability to detect many types of defects during compilation that traditional programming languages cannot. However, taking advantage of this liquid types is difficult as we found in our PLDI paper, including confusing error messages and lack of interactive exploration of contexts. In this project we developed a Visual Studio Code extension for LiquidJava, which tackles theses issues.

Funding Entity
FCT | LASIGE
Reference
LASIGE-SP-2025.07
Start Date
01/10/2025
End Date
01/10/2026
Coordinator
Alcides Fonseca
Partners
CMU (Jonathan Aldrich)
Principal Investigator at LASIGE
Alcides Fonseca
Team at LASIGE
Status
Ongoing