Next time I answer the question “which underrepresented group you identify with?” I’m gonna put “formal methods community” right next to “women in CS”.

Decided to join the mass migration, so here's my BlueSky account: :).

If you’re @ASE_conf next week, stop by for our talks: . 🔷Oct 29 16:50 Solidity fuzzers benchmarking . 🔷Oct 31 11:00 testing program analyzers x2.

RT @ccanonne_: Of course I can fix your computer, Dad! I'm a computer scientist, I know computers. A computer can be formally defined as a….

RT @issta_conf: Shoutout to our amazing team of volunteers who, guided by @malyzajko, worked tirelessly for the smooth sailing of #ISSTA24….

RT @mchri5taki5: Thank you @izycheva for doing so much more than being a publicity chair! And especially for designing the beautiful confer….

RT @vwuestholz: This is the first result of a collaborative effort between @ConsensysAudits, @LineaBuild, and @tu_wien to catch critical bu….

A dog did not get an award @ECOOPconf but it sure did steal the show 😁

Getting some quality “devil’s advice” for research from @AndreasZeller @issta_conf

RT @lorisdanto: Who still works on program synthesis here?.

RT @ShriramKMurthi: We're still getting the OOPSLA 2025 site up. But for those who're wondering: OOPSLA 2025 will have two rounds of submis….

After months of not knowing where to start I finally made my affiliation-independent web-page: :).If you're also looking for an easy-to-use template, check this out: It's on GitHub (Pages), so just fork and adjust the text & CSS.

2 years later @FLoC2022 merch still lives and accompanies me on vacation :)

Bidding for papers to review, just out of curiosity searched for “LLM” on the page with (51) abstracts. Got 32 hits.

Love it that the ERC representative Mikaela Poulymenopoulou explains their grant proposal evaluation process @PLDI. Don’t know how often ERC does such talks, I notice it for the first time and find it very interesting (and hopefully, one day, helpful)!.

Learning about the state and the future of AI-assisted programming from @polikarn's keynote @PLDI

Amazing keynote by Jonathan Ragan-Kelley opening @PLDI

Ready for PLDI FOMO! I’ll be joining online, so at least I won’t miss out on the talks ☺️.

OMG OMG OMG! What a start to UEFA Euro! 5:1!!! Wish I was in Munich tonight! ❤️🇩🇪.

I would like to remind people who submit book-long papers to conferences without page limit that karma is a bitch.