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

(Bonus: despite Harrison's obvious familiarity and comfort with our agent overlords, it reads as entirely human-written, because --- aside from the solver summaries --- it is.) 4/4

010

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

I'm telling you about it not exclusively to brag about my great student, but primarily to signal boost the super-interesting and accessible blog post he's written on it: c.mov/lymphosat/ 3/4

c.mov

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

An immune system for SAT solvers

100

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

LymphoSAT is a pretty interesting (IMHO) divergence from how AI has traditionally been applied to SAT. Instead of being a single solver, it's 126 novel, highly optimized, family-specific solvers. Most of them don't use traditional SAT algorithms at all. 2/4

100

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

Luke is off to solve related hard translation problems at Google, and I will miss him. Fun Fact: he was a REUSE graduate who came to my group via recommendation from @heathermiller.bsky.social, who has never missed. (And yes, I am pretty short, but also Rohan and Luke are pretty tall!) /fin

020

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

And it manages to be be (a) conceptually interesting in terms its approach to symbolic execution, (b) fast, and (c) useful, all while contending with the absurdity of decompiled C code. It is RAD and you will like it. 2/

110

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.

684337851

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

Punchline: It's so good and useful that it's now turned on in AFL++ by default. ...and LLMs do not feature at all! But just in case, if you do want to talk AI for testing/verified software generation, I'm sure that Harrison would love to tell you about his ongoing work. It's gonna be fun. 3/3

030

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

Friday, at 11:45 am, in Oceania IX, squaresLab student Harrison Green will be presenting his work on a double-mutation-style approach (inspired by the experiments that discovered the structure of DNA!) that learns about program structure dynamically and makes fuzzing more effective, on-the-fly. 2/

140

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

...and then, having forgotten, you’d run out in your PJs and slippers in a panic to move your car. Anyway I make an exception to my usual opposition to arbitrary rules/parking tickets here and advocate that PGH parking enforcement jumps on this one to raise money to fill the potholes. /end

000

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

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

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.

030

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.

533756348

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

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

110

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

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

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

000

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

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

100

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

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

110

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

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.

120

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.

2121

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.

1123

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

279286477952

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.

419145483289

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.

12442861804

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

236104682161

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

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

060

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 · 28/01/2025

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

071

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

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

160

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 · 12/12/2024

Which is a real shame! Strangeloop was great.

130