João F. Ferreira

Are you interested in software reliability, software verification, programming languages, or formal methods? Would you like to work with me and my group in beautiful Lisbon? Get in touch to discuss available positions. See joaoff.com/opportunities for more details.

Great news: you can now get more from your code agents at a lower price! Same models, better context → much better value for money. And at ~$5, there's really no reason not to try it. Congrats to Nuno and André for the amazing work!

@mpvl_ @_myitcv @cue_lang This is awesome! :)

I'm proud to officially announce CUE Labs! I co-founded CUE Labs with @_myitcv to build a Configuration Control Plane, solving config chaos with CUE. Our work also provides the stewardship for the @cue_lang open source project. Read our launch post: cue.dev/blog/announcin…

Excited to see Codeset live! 🚀 Reproducible environments & datasets make training code agents on real-world tasks fast and easy. What used to take complex setups now works with just a few API calls! If you’re into code AI or automated bug-fixing, try Codeset & share feedback!🎉

🚀 We’re excited to announce Codeset: a startup on a mission to accelerate the development of agentic code models.

Now for our latest books give-away: 38 Classics books to be raffled off for free. Just RT this message, follow us, and we will make the draw on Monday 9 June. 1st name gets 20 books, 2nd 12, 3rd 6. Open to all, good luck! (Will post details and photos of each book this evening.)

Phil Wadler is currently presenting "Lambda, the Ultimate Teaching Assistant (Agda version)" at the FME Teaching Committee Tutorial Series @FormalMtds Zoom link: aboakademi.zoom.us/j/64254430116

1/ I am saddened to report (from today's print version of Le Monde) the passing away of the great French computer scientist Jean-Raymond Abrial. He is a pioneer in formal methods and their applications, particularly through three major innovations: the "Data Semantics" model,

@Biafra Obrigado!

@jff Boa João ! Bons progressos!

I’m excited to share that I’ve received an Amazon Research Award on Automated Reasoning! 🥳 The award will support my research on automated program repair for Infrastructure as Code. For more details, see my webpage: joaoff.com

@alcides Thank you, Alcides!

@jff Congrats! Interesting work!!

@DeepCache Thank you!

@AmazonScience Thank you!

@jff Congrats, João! 👏

@alexey_r I'm so sorry for your loss

Congrats to all the LASER lab award winners at @ICSEconf 2025!

Throughout the week so far at #icse2025, we’ve seen new ideas take shape and future projects begin ... all thanks to the power of connection. Looking forward to what comes from all the great conversations!

Are you a new faculty member in SE? The New Faculty Symposium (NFS) at @ICSEconf offers valuable insights and practical advice for the challenges you will encounter. ICSE attendees are welcome to join. 🗓️ Apr 29 / 📍 Room 201 / 🔗 conf.researchr.org/track/icse-202… #icse2025

"If you have a buggy program, you can fix it or call it AI" --- David Parnas, #ICSE2025 #ICSE

Today's suggested image by @grok was this. Mount Fuji is the most magical place I’ve seen this year. There’s something so special about it that you can’t help but want to keep gazing at its beauty.

The programmer's tragedy: to seek perfection in a world that demands delivery.