#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 👩💻
Room with fresco paintings in the walls and students seated for a lecture.
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
