Lightnews — Scholar-powered news

Catarina Gamboa

@catarinavgamboa.bsky.social

110 followers 160 following 6 posts

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

Posts Media Videos Starter Packs

Catarina Gamboa @catarinavgamboa.bsky.social · Jun 19

#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 · Jun 19

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

2 3

Catarina Gamboa @catarinavgamboa.bsky.social · May 28

What a room to learn about PL at PLISS!

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

Catarina Gamboa @catarinavgamboa.bsky.social · Apr 15

Congrats! 🎉🎉

1 2

Reposted by Catarina Gamboa

Cyrus Omar @neurocy.bsky.social · Apr 3

new book on session types just dropped!

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

Session Types | Programming languages and applied logic

www.cambridge.org

12 36

Catarina Gamboa @catarinavgamboa.bsky.social · Jan 18

Join us next Thursday in Lisbon 👩🏼‍💻📜

Alcides Fonseca @alcidesfonseca.com · Jan 18

3) @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.

Reposted by Catarina Gamboa

Kush Jain @kjain14.bsky.social · Dec 19

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

1 8 17

Catarina Gamboa @catarinavgamboa.bsky.social · Dec 12

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

Reposted by Catarina Gamboa

Dr. Claire Le Goues @clegoues.bsky.social · Nov 26

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

2 11 65

Catarina Gamboa @catarinavgamboa.bsky.social · Nov 26

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

4 16