iiinova — where your digital self keeps evolving

Dr. Claire Le Goues @clegoues.bsky.social · 29/08/2026

My flavor of personality problem is currently manifesting as including em-dashes in reviews/letters of rec on purpose.

Reposted by Dr. Claire Le Goues

Carl T. Bergstrom @carlbergstrom.com · 24/08/2026

If you just happened to pick this week to start yelling about the importance of academic freedom, I sure hope you did more than watch silently for the past 18 months as the Trump administration assaulted everything from mRNA vaccine research to gender studies to the very idea of having universities.

152092441

Dr. Claire Le Goues @clegoues.bsky.social · 06/08/2026

A couple of weeks ago, my PhD student Harrison Green's solver LymphoSAT won the SAT track at the SAT Competition 2026 (satisfiability.org/SAT26/), beating 27 other entrants (including 10 other AI-enhanced solvers). c.mov/lymphosat/ 1/4

c.mov

Domain-specific hyperspecialization (for SAT) | c.mov

An immune system for SAT solvers

130

Dr. Claire Le Goues @clegoues.bsky.social · 15/07/2026

Congratulations to Dr Luke Dramko (my lucky 13th PhD graduate!) for his successful and stellar defense yesterday of “Neural Decompilation with Minimal Risk.” The last chapter isn’t published yet but STAY TUNED because it’s a symbolic approach for proving the fidelity of neurally-decompiled code. 1/

Luke Dramko (center) with his thesis committee and the title slide from his dissertation defense. Claire is indeed short but Luke and Rohan are also quite tall.

162

Reposted by Dr. Claire Le Goues

Kevin M. Kruse @kevinmkruse.bsky.social · 26/04/2026

You know, instead of debating how we should go overboard to protect the one man who's the most hated provocateur of malevolent violence in the entire nation, we could just remove him from office through the normal procedures.

684338851

Dr. Claire Le Goues @clegoues.bsky.social · 16/04/2026

Need a breather from the 29 sessions on AI for Software Engineering at #ICSE2026? Fuzzing is still the gorilla in the room when it comes to automatic testing in practice. 1/

120

Dr. Claire Le Goues @clegoues.bsky.social · 07/04/2026

#Pittsburgh street sweep parking enforcement is weaksauce; passed a sweeper weaving around ?? illegally parked cars. Cue acute memories of life in Cambridge 20 years ago, when a car would drive around at 6 am blaring STREET CLEANING. ALL CAHS PAHKED ON EVEN NUMBAHED SIDE WILL BE TAGGED AND TOWED. 1/

110

Dr. Claire Le Goues @clegoues.bsky.social · 04/04/2026

All these hot takes on the leaked Claude Code codebase. Listen. All code looks terrible if you’re just looking at it, vibed or not. The real question I, paying customer, have is totally unrelated to the specifics of Anthropic’s codebase and is instead this: wtf, you guys. What the shit is this.

030

Reposted by Dr. Claire Le Goues

Alexander Williams @floatinginwaves.bsky.social · 31/12/2025

So many trend articles are just wishcasting or dooming.

515513

Reposted by Dr. Claire Le Goues

Aaron Bady @zunguzungu.bsky.social · 03/12/2025

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

4704154

Dr. Claire Le Goues @clegoues.bsky.social · 02/12/2025

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

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

130

Dr. Claire Le Goues @clegoues.bsky.social · 01/12/2025

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

050

Reposted by Dr. Claire Le Goues

Mike Drucker @mikedrucker.bsky.social · 21/11/2025

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

533758349

Dr. Claire Le Goues @clegoues.bsky.social · 20/11/2025

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.

260

Reposted by Dr. Claire Le Goues

Yuriy Brun @yuriybrun.bsky.social · 30/06/2025

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.

2111

Dr. Claire Le Goues @clegoues.bsky.social · 28/06/2025

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.

160

Reposted by Dr. Claire Le Goues

Yuriy Brun @yuriybrun.bsky.social · 26/06/2025

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.

0113

Reposted by Dr. Claire Le Goues

nikitharao.bsky.social @nikitharao.bsky.social · 04/04/2025

Successfully defended my thesis today! Call me Doctor now :D Big thank you to my advisors @vhellendoorn.bsky.social and @clegoues.bsky.social! :)

2212

Dr. Claire Le Goues @clegoues.bsky.social · 08/03/2025

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

190

Reposted by Dr. Claire Le Goues

The Onion @theonion.com · 12/02/2025

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

279286637954

Dr. Claire Le Goues @clegoues.bsky.social · 13/02/2025

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

070

Reposted by Dr. Claire Le Goues

Aaron Rupar @atrupar.com · 30/01/2025

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.

420145513289

Reposted by Dr. Claire Le Goues

Katie Mack @astrokatie.com · 30/01/2025

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.

12442861806

Reposted by Dr. Claire Le Goues

Rik 🏴‍☠️ @rikabel69.bsky.social · 30/01/2025

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

062

Reposted by Dr. Claire Le Goues

Chad Loder @chadloder.dev · 29/01/2025

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

236104712161

Dr. Claire Le Goues @clegoues.bsky.social · 29/01/2025

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/

140

Dr. Claire Le Goues @clegoues.bsky.social · 24/01/2025

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

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

11383

Dr. Claire Le Goues @clegoues.bsky.social · 19/12/2024

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

0130

Dr. Claire Le Goues @clegoues.bsky.social · 06/12/2024

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

4140

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

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!”

0170

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

BTW, if you’re interested in leakage in LLM-based SE results — this other paper doesn’t focus on leakage, but takes a bit of a side quest on the subject, related to the BigVul dataset and vulnerability detection.

0132

Reposted by Dr. Claire Le Goues

Michael Zimmer @michaelzimmer.bsky.social · 19/11/2024

I'd like to thank that one student in the corner who nodded along with me all semester. You make it all possible.

421928

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

26411

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

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/

1211

Reposted by Dr. Claire Le Goues

Better Things Are Possible @internethippo.bsky.social · 17/11/2024

In my opinion "Twitter" is whichever place most embodies the poster's spirit, and that's here now

205180551756

Reposted by Dr. Claire Le Goues

MwahahahahahadScientist @mads100tist.bsky.social · 14/11/2024

The Onion should buy Elsevier next

5753551576

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

I’m not sure how active everyone is yet, but it’s nice to see what feels like a critical mass of CS/SE/PL academia moving over here.

3330

Reposted by Dr. Claire Le Goues

Dr. Sarah Parcak @indyfromspace.bsky.social · 02/10/2024

Oh my god Vance is the asshole in your college seminar who has every answer and is always wrong

20769119

Reposted by Dr. Claire Le Goues

Chatham Harrison dba TRUMP DELENDUS EST @chathamharrison.bsky.social · 21/08/2024

Join the Democratic Party, & you too can marry a woman way, way out of your league

462263352

Dr. Claire Le Goues @clegoues.bsky.social · 20/12/2023

When I directed a minor I once had a student come to ask me if I’d bless some convoluted plan so she could add it as a third MINOR. I said “no”, because absolutely no one needs or benefits from 3 minors, go take a class for fun, fam.

001

Reposted by Dr. Claire Le Goues

Andrew M Leber @andrewleber.bsky.social · 20/12/2023

Easily my most common piece of advice to undergrads is "You really don't need a 3rd major" and a close runner-up is "Have you considered taking fewer classes?"

1621326

Reposted by Dr. Claire Le Goues