I think it is far past time to stop using Twitter. I'm tired of seeing Nazi, Trump, crypto scams, and bots clogging up my feed. Might be about time to get off of social media altogether, but you in the meantime, you can find me at

RT @n_pite: While considering Gregory's position, think also about the co-advertised Formal Methods project (incidentally with me as superv….

One more push: I am hiring 1-2 PhD students to research the use of LLMs to augment human-written test suites. Apply here: Reach out if you have questions!. Applications due May 15!. #softwaretesting #softwareengineering #softwaredevelopment #LLM #AI #PHD.

Some colleagues and I are curious about potential biases that can affect review activities during #SoftwareDevelopment. If you do code, document, or other reviews, please take 5-10 minutes to fill out this survey: #SoftwareEngineering.

Reminder: I am hiring 1-2 PhD students to research the use of LLMs to augment human-written test suites!. Interested? Apply here: Reach out if you have questions!. #softwaretesting #softwareengineering #softwaredevelopment #LLM #AI #PHD.

I'm seeking 1-2 Ph.D. students, who will conduct research on how LLMs can extend and augment the software tests created by humans. Please apply, share, and get in touch if you have questions!. Apply at:

Brief pause in my Twitter hiatus to post: .Software Engineering researcher? We're hiring at the Assistant Professor level. Come join one of the largest and best SE groups in the world, in a fantastic research and teaching environment:

RT @YourAnonNews:

This is a truly astonishing variety of wine for 5AM. Ah, I love airports.

RT @Mehrdad58S: LEARNER 2025: We are organizing the 3rd workshop on Evaluation and Assessment in Software Engineers’ Education and Training….

RT @tritlo: at no point have I wanted to talk to an appliance

RT @DailyCorvids: Me being hesitant to say "this year's gonna be better! :>" knowing the track record of the last 4 years: .

RT @ICSTconf: 🚀 Join us as a Student Volunteer at #ICST2025 in Naples!. Connect with top researchers, gain free registration, and build you….

And now, modern Nintendo.

In Japan, a lot of train lines are funded by department stores. Imagine if that was the case in the US? Now boarding for the Macy's limited express, the JC Penney Romance Car, the Walmart local "good luck don't die" line. .

Happy New Year! Here's to finding some peace and joy in 2025.

When you realize that you're staying a block from Nintendo's old headquarters.

RT @Rothmus: 🫡

Not a bad place to be snowed in.