Dr. Claire Le Goues

An article that wasn't focused on elite colleges might be capable of considering that disability accommodations are about a student getting a good education for themselves rather than framing things in terms of a hunger games competition for who gets to be elite in society

Two snowmen in a front yard, with carrots for noses and wearing winter hats and scarves.

First snow of the year, at the perfect temperature, and CMU students responded by building DOZENS of snowmen of all sizes all across campus. It was delightful. The (college) kids are alright. ☃️ #proflife

(These were done by my kids, who are also delightful.)

Book reviews came back! Generally very constructive, but I’m delighted to learn that reviewers reading 300 pages STILL manage to pick out the EXACT same detail to give EXACTLY opposing feedback. R1: “excellent lay explanation of technical concept X”, R2 “some explanations inaccessible, e.g., for X.”

OTOH, bringing it back to the most important message in this story: rats only make messes your kids won’t clean for 3 years or so, if you’re lucky.

A parrot will make that noise for 40 years.

After that meeting, I'm never playing poker against Zohran Mamdani.

All of this delights me: preventing parrot ownership, Milda, and multiple generations of pet rats.

(I do look forward to their inevitable return to my life as pets, I just would like my kids to be a TINY bit older so I can plausibly pretend to myself that they’ll help us keep things clean.)

My kids are pressuring us for pet rats. Resisting, for now, but I see the writing on the wall. My long-ago advice to @shriram.bsky.social soon will come full circle.

That said, I’m not TOO sad to not be flying, given the shenanigans over here.

Alas, I’m not, though I’m sad for many reasons (not least my affection for Shin and desire to support him). Tons of travel in the first part of 2025, so I dialed it back in the second half. Be sure to chat with my student Claudia instead. 😊

(Yes to Rio, though; everyone better be there!)

Gotcha, that tracks! Thanks for indulging my “don’t read it, but…😊hopefully can do so this week!

Ok I obviously want/need to read the paper, but trivially, syntactically, this is just not true, right? There are infinitely many ways to solve any particular computational problem.

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.

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.

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.

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

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

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

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

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

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

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.

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.

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

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

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

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/

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

Thank you!

Thank you, Lenore!

Right back atcha. 😉

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

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

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