🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Seems my Iranian PhD student has lost access to his private GitHub repositories, because he accessed GitHub while on holiday in Iran…

Our paper "Verifying Object Construction" was accepted at ICSE! You can find a pre-print here if you're interested: homes.cs.washington.edu/~kelloggm/pape…

Me, last year: Yes, I will fly across the world and suffer hours of jet lag for this talk Me, today, trying to get up 1 hour early to watch ICSE live:

Let’s do insulin next

Super excited that our paper "Lightweight and Modular Resource Leak Verification" was accepted at FSE! Hoping to see everyone in Greece in August (if it's safe - let's hope it is!)

Insulin predates penicillin. It was the first miracle drug. It brought children back from the brink of death. It was donated to humanity. Eli Lilly, Novo Nordisk, and Sanofi stole it from us.

Open-Source Insulin: Biohackers Aiming for Distributed Production hackaday.com/2021/08/23/ope…

if you're FSE 2025 this morning, join me for an overview of my work during the doctoral symposium at 7am pacific! you can ask questions I don't know the answer to and embarrass me

Aws Albarghouthi 🍉 أوس Martin Kellogg

Thrilled to announce that I'll be joining NJIT CS as an assistant professor in Fall 2022!