#LiquidTypes are a lightweight way to specify and check code properties. What stands in the way of more widespread adoption?

Today at #SPLASH 2025 / @icfp-conference.bsky.social: @catarinavgamboa.bsky.social will re-present our #PLDI2025 paper on Usability Barriers for Liquid Types.

#PLDI2025 Come to my talk tomorrow after the first break in the Orchid room and learn about 📜 Usability barriers for liquid types 👩‍💻

What a room to learn about PL at PLISS!

Congrats! 🎉🎉

new book on session types just dropped!

www.cambridge.org/us/universit...

Join us next Thursday in Lisbon 👩🏼‍💻📜

Thrilled to announce our new work TestGenEval, a benchmark that measures unit test generation and test completion capabilities. This work was done in collaboration with the FAIR CodeGen team.

Preprint: arxiv.org/abs/2410.00752
Leaderboard: testgeneval.github.io/leaderboard....

I'm portuguese, so I'm biased, but if you enjoy good food, great weather and warm people, this is the place to be!

And now that we’re all here, some work!🚨 Are Large Language Models Memorizing Bug Benchmarks? 🚨
There’s growing concern that LLMs for SE are prone to data leakage, but no one has quantified it... until now. 🕵️‍♂️ 1/

Hi, Bluesky! 👋
I’m Catarina, a dual PhD student in 🖥️ Software Engineering with the CMU Portugal program ( @carnegiemellon.bsky.social and U. Lisbon).

Imagine a world with reliable software and user-friendly verification tools. Let’s build it together! 🚀

#PhDlife #SE #PL #HCI #CMU-Portugal