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

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.

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

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

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/

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

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

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

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

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.

Live view of professors joining Bluesky.

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

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/

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/

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

The Onion should buy Elsevier next

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.

Was debate kid. Can confirm.

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

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

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.

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

Just deny cert and be legends

"law is what five awful wizards agree upon" is an garbage way to run a country

How fortunate we are recording a second episode tomorrow morning. {looks at the page count} Oh coitus

we can be as irony-poisoned as we like but the simple fact is the orange man is bad, and it's good and funny when bad things happen to him.

The @nytimes.com has 4 reporters covering Ivy League boardroom gossip that impacts less than 1% of the college students in the US; meanwhile, they've done just 1 story on the Cal State strikes.

Normalize contacting conservative guys' moms for corroboration bc this is hilarious

It's also like something an academic might write about a senior colleague he absolutely fucking hated. 😀

This statement from Biden about Henry Kissinger is one cold-blooded shiv of a paragraph, to a degree that I truly didn't expect we were going to get. I'm impressed.

The last few years has really convinced me that we need to talk more about how private equity adding a bunch of debt and then expecting eternally, exponentially increasing profits is screwing up the economy. Because I do think that's a decent part of why people are so sour about the current economy.

This is just spending www.cnbc.com/2023/11/29/a...

Genuine question: is No More Kissinger Day celebrated on November 29, the date in the US when he died, or on November 30, the date in Cambodia when he died?

You know you did a lot of war crimes when people have to write articles saying you have continents worth of war crimes that are overlooked deep cuts

I think the best possible reason to celebrate Kissinger's death - to be as loud and crude and discourteous as possible about it, to never stop saying what he did, to stink bomb the funerals and piss on the graves - is to let todays war criminals know that we will do it to them too.

Me: I have a strict rule about not celebrating deaths of politicians, even of awful people, because it’s a terrible cultural habit and demeans us all God: lol sure we’ll see

chauvin is stabbed & rittenhouse is broke? kissinger could do the funniest fucking thing right now…

I know we’re all rightly busy celebrating, but I wanted to make sure this final paragraph of the CNN article about Elon’s insane apology interview where he told Bob Iger to go fuck himself wasn’t lost because it is poetry

The Rolling Stone obit saying what we should, and won't, hear from our paper of record: www.rollingstone.com/politics/pol...