Lightnews — Scholar-powered news

Dr. Claire Le Goues

@clegoues.bsky.social

860 followers 970 following 45 posts

Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her

Posts Media Videos Starter Packs

Pinned

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

I’ve been lurking for a bit, but with the influx of academics, good time for a quick (re-)intro? CS prof at Carnegie Mellon, specialty Software Engineering, especially all kinds of code transformation/program repair (so yes, a lot of AI codegen these days), plus SE4robotics sometimes. 1/

1 1 20

Reposted by Dr. Claire Le Goues

Yuriy Brun @yuriybrun.bsky.social · Jun 30

www.cics.umass.edu/news/fse-tes...
Incredibly honored to receive the ACM International Conference on the Foundations of Software Engineering 2025 Test of Time Award honorable mention for our work on overfitting in automated program repair. with Ted, @clegoues.bsky.social, Earl.

2 1 11

Dr. Claire Le Goues @clegoues.bsky.social · Jun 28

Hoping this isn’t a sign of a streak, as the second conference in a row where my travel home is fubar (bumped from first flight; still technically possible to make my second, we’ll see).

Am accepting thoughts and prayers at this time.

1 6

Reposted by Dr. Claire Le Goues

Yuriy Brun @yuriybrun.bsky.social · Jun 26

Claire Le Goues @clegoues.bsky.social gave a fantastic ISSTA @issta.bsky.social 2025 keynote this morning on software correctness in the age of generative AI.

3 11

Reposted by Dr. Claire Le Goues

nikitharao.bsky.social @nikitharao.bsky.social · Apr 4

Successfully defended my thesis today! Call me Doctor now :D

Big thank you to my advisors @vhellendoorn.bsky.social and @clegoues.bsky.social! :)

2 2 22

Dr. Claire Le Goues @clegoues.bsky.social · Mar 8

SUP fellow yinzers flying back from Cancun tomorrow: let the record show that I DID pay an extra $120/ticket to carefully select seats such that my spouse and I were seated next to our 4 and 6 yo minor children, and it was American Airlines that decided to separate us. 🙃

1 9

Reposted by Dr. Claire Le Goues

The Onion @theonion.com · Feb 12

‘You Can’t Let This Happen,’ Says Fundraising Email From Sitting U.S. Congressperson

290 8.1K 29K

Dr. Claire Le Goues @clegoues.bsky.social · Feb 13

I dearly wish that the MSM would give Ted Cruz’s stupid list the primetime mockery coverage it deserves. Turns out if you search for the word “inequality” you get….Math proposals. Very woke and neo-Marxist. 🙄

Reposted by Dr. Claire Le Goues

Aaron Rupar @atrupar.com · Jan 30

all I know is that had President Biden forced out the FAA chief under pressure from his top adviser and his corrupt motives, and then the next week there was a plane crash that killed more than 60 people, Republicans would be howling that it was an impeachable offense.

430 3.3K 15K

Reposted by Dr. Claire Le Goues

Katie Mack @astrokatie.com · Jan 30

Apparently all the PhD researchers holding prestigious NSF-funded research fellowships are having their salaries withheld until some unspecified time when the leadership figures out how to eliminate any grant funding that doesn’t align with the president’s political ideology.

Ben Stone @benstemon.bsky.social · Jan 30

It’s official: all funding requests made on Tuesday by postdocs for their salaries have been unilaterally rejected by NSF.

120 1.8K 4.3K

Reposted by Dr. Claire Le Goues

Rik 🏴‍☠️ @rikabel69.bsky.social · Jan 30

Government by ever growing katamari damacy ball of awful, incompetent, evil shitheads is going well.

2 6

Reposted by Dr. Claire Le Goues

Chad Loder @chadloder.bsky.social · Jan 29

Not gonna lie I did kinda expect our Democratic politicians to have something like a plan to counter the 920-page detailed fascist blueprint that was published in April 2023

240 2.2K 11K

Dr. Claire Le Goues @clegoues.bsky.social · Jan 29

I'm no economist, nor CEO, but my instincts say that actively preventing an academic from spending a few thousand dollars on your service is not a very good business model. WTF, guys. /fin

Dr. Claire Le Goues @clegoues.bsky.social · Jan 29

Void shout: want a student to run experiments via OpenAI. Can't get to Tier 2 until 7 days after buying $50 credit. Can't get to 3 until actually using $50, waiting 7 more days (it's kinda hard to spend $50 at Tier 1, for the record). Can't add more than $50 at once. Their "support" is ChatGPT. 1/

1 4

Dr. Claire Le Goues @clegoues.bsky.social · Jan 28

Not only should he not: he absolutely cannot beyond like, two days. It's basic article 1 shit. It's possibly the most unconstitutional thing he's pulled???

1 7

Dr. Claire Le Goues @clegoues.bsky.social · Jan 25

Thank you!

Dr. Claire Le Goues @clegoues.bsky.social · Jan 25

Thank you, Lenore!

Dr. Claire Le Goues @clegoues.bsky.social · Jan 25

Right back atcha. 😉

Dr. Claire Le Goues @clegoues.bsky.social · Jan 24

(A bit funny to get an Early Career designation, frankly; they apparently got a bit backlogged. 😉)

I very much appreciate the SE research community, especially in this case including our ever-supportive NSF program managers, both for nominating me, and all the support and guidance over the years.

1 6

Dr. Claire Le Goues @clegoues.bsky.social · Jan 24

In professional news: one of the things Biden signed his last week of office was a recognition of a set of PECASE awardees. Unbelievably honored (not to mention completely dumbfounded) to have been included on that list. 1/

www.cmu.edu/news/stories...

CMU Researchers Receive Presidential Early Career Awards

Carnegie Mellon University's Ismaila Dabo, Claire Le Goues and Aaditya Ramdas are among the recipients of the Presidential Early Career Award for Scientists and Engineers (PECASE), the highest accolad...

www.cmu.edu

11 3 38

Dr. Claire Le Goues @clegoues.bsky.social · Dec 19

Check out what my soon-to-graduate student Kush has been up to with the FAIR team! I particularly like how TestGenEval incorporates multiple metrics of test suite adequacy. 😊

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

Dr. Claire Le Goues @clegoues.bsky.social · Dec 12

Which is a real shame! Strangeloop was great.

1 3

Dr. Claire Le Goues @clegoues.bsky.social · Dec 6

Ha, exactly.

Dr. Claire Le Goues @clegoues.bsky.social · Dec 6

Gave the last lecture of the semester yesterday, so of course 6 hours later I was down with a chest cold, and as of today/next day, I’ve totally lost my voice. #proflife

4 14

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

In parenting wins, I’m pleased to report that my 3-yo son’s consistent, natural, uncoached/unprompted reaction to seeing a cybertruck in the wild is to burst out laughing, point, and say, “that’s so silly!”

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

Fun! In our experience, dunno if it matches yours, LLMs are still just trash at reasoning about binaries. We keep thinking maybe now’s the time to stop working from decompiler output….and yet somehow, still no. 😂 unless we’re just missing something???? Possible…..