How can we improve #software engineering using #AI? @JetBrains and @TUDelft are joining forces and launching a new ICAI lab AI for Software Engineering (AI4SE). Our goal? Explore how AI can aid and boost developer productivity. 👉edu.nl/mcdc4

Looking forward to this collaboration

A great keynote of Arie van Deursen at Bits&Chips about the need for explainable software engineering. He also mentioned a new cool ICAI lab looking for 10 PhD students (ping Maliheh (Mali) Izadi Vladimir Kovalenko if you are interested in AI for software engineering incl program education).

Congratulations to the authors of the OOPSLA 2023 Distinguished Papers 🏅 👏 #SPLASH2023 Details: 2023.splashcon.org/news#Distingui…

Our paper "Randomized Testing of Byzantine Fault Tolerant Algorithms" is recognized as a Distinguished Paper at OOPSLA 2023! Levin Winter will be presenting our work tomorrow afternoon. 🏅⭐️ #splash2023 SERG TU Delft

Please share! We will hold the "Fuzzing Summer School 2024" at NUS Computing in Singapore! We are excited to feature speakers such as Abhishek Arya, Marcel Böhme👨‍🔬, Mathias Payer, Thuan Pham, and Andreas Zeller. Apply by 16 Feb 2024. fuzzing.comp.nus.edu.sg CC Umang Mathur Abhik Roychoudhury

Happy to announce the second edition of the @DARE summer school! The in-person week will be held from 9 to 13 September 2024 at the Technical University of Darmstadt in Germany. The application deadline is 29 May 2024. Follow up on all details here: dare-summer.github.io

Rupak Majumdar’s keynote at ICSE 2024! “You have libraries and repositories, and we have two counters” 😅

We have a vacancy for an assistant professor SERG TU Delft ! Fancy working with Arie van Deursen Maliheh (Mali) Izadi Burcu Kulahcioglu Ozkan Annibale Panichella Luís Cruz Sebastian Proksch Thomas Durieux Diomidis Spinellis? See 👇

📢 The deadline is extended to June 13!

Two weeks ago, at the IDE workshop at ICSE, I announced the IDE Research Integration Grant program. The idea is to support researchers who are eager to put their work into practice by creating a plugin for a JetBrains IDE. Please share this news! jb.gg/ide-research-g…

I am looking for a postdoc to work on software model checking for distributed systems

The deadline for the Doctoral Symposium at ISSTA/ECOOP'24 has been extended (July 7th) to cover the notification dates of the conferences! conf.researchr.org/track/issta-ec… Submit your proposals by July 7th! ISSTA Conference ECOOP’24 Conference

In less than a week, I'll be giving a tutorial at PLDI on algorithms in Kotlin Coroutines, covering the scheduler, channels, and synchronization primitives, and presenting the Lincheck framework for testing all these algorithms in the second part. pldi24.sigplan.org/details/pldi-2…

We are hiring a PhD student to work on fuzzing blockchain systems and applications. 🚀 tudelft.nl/over-tu-delft/… The project will focus on the XRP Ledger as part of Ripple's University Blockchain Research Initiative. Annibale Panichella SERG TU Delft #PhDposition #DiSEB #XRPLCommunity

Only 3 weeks until early bird registration deadline of 3rd Summer School on Security Testing & Verification. Don't miss the opportunity to learn from experts such as Peter Müller, Anders Møller, Michele Pasqua, Sébastien Bardin, and Cas Cremers @ Brussels! cybersecurity-research.be/summer-school-…

📢 REMINDER: Doctoral Symposium at ISSTA/ECOOP'24 is accepting submissions. It's a great opportunity to receive independent feedback for your ongoing work. 🗓️ Deadline: July 7

Last, but not least, I am on the lookout for a #postdoc in the #AI4SE area. If you’re interested, let’s connect! 5/n #hiring #iamhiring

Yesterday we kicked off the Introduction to Programming course with ~550 1st year Computer Science and Engineering students ⁦EEMCS TU Delft⁩ ⁦TU Delft⁩.

Wonderful talk by Burcu Kulahcioglu Ozkan about Testing Blockchain Implementations at #UBRI. Great insights into bug hunting and #fuzzing cc: Mitchell Olsthoorn Ripple SERG TU Delft EEMCS TU Delft