iiinova — where your digital self keeps evolving

Catarina Gamboa

@catarinavgamboa.bsky.social

109 followers 155 following 6 posts

PhD student 💻 SE, PL at CMU and U.Lisbon ✈️ Currently in Lisbon

Posts Replies Media

Reposted by Catarina Gamboa

Jonathan Aldrich @jonathanaldrich.bsky.social · 14/10/2025

#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.

182

Catarina Gamboa @catarinavgamboa.bsky.social · 19/06/2025

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

032

Catarina Gamboa @catarinavgamboa.bsky.social · 28/05/2025

What a room to learn about PL at PLISS!

Room with fresco paintings in the walls and students seated for a lecture.

040

Reposted by Catarina Gamboa

Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 03/04/2025

new book on session types just dropped! www.cambridge.org/us/universit...

cambridge.org

Session Types | Programming languages and applied logic

03512

Catarina Gamboa @catarinavgamboa.bsky.social · 18/01/2025

Join us next Thursday in Lisbon 👩🏼‍💻📜

020

Reposted by Catarina Gamboa

Kush Jain @kjain14.bsky.social · 19/12/2024

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....

1177

Reposted by Catarina Gamboa

Dr. Claire Le Goues @clegoues.bsky.social · 26/11/2024

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

26311

Catarina Gamboa @catarinavgamboa.bsky.social · 26/11/2024

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

0164