Catarina Gamboa
@catarinavgamboa.bsky.social
PhD student 💻 SE, PL at CMU and U.Lisbon ✈️ Currently in Lisbon
#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 👩💻
Jonathan Aldrich@jonathanaldrich.bsky.social · last yr.#LiquidTypes are a lightweight way to specify and check code properties. What stands in the way of more widespread adoption? Friday at 10:30, @catarinavgamboa.bsky.social presents our #PLDI2025 paper (with Abigail Reese and @alcidesfonseca.com), "Usability Barriers for Liquid Types."
Join us next Thursday in Lisbon 👩🏼💻📜
Alcides Fonseca@handle.invalid · 2y ago3) @catarinavgamboa.bsky.social (LASIGE+CMU) will discuss the barriers in adopting Liquid Types 4) André Santos (ISCTE) will present Javardair, an environment for AST-based commits for collaborative editing with continuous integration.
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....
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/
arxiv.org
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
